デフォルトメンバ関数の概要
C++において、ユーザーが明示的に定義しなかった場合でも、コンパイラが自動的に生成するメンバ関数のことを「デフォルトメンバ関数」と呼びます。これらはオブジェクト指向プログラミングにおいて、クラスのインスタンス生成、初期化、コピー、破棄といったライフサイクルを管理するために不可欠な要素です。
主なデフォルトメンバ関数は以下の6つです。
- コンストラクタ
- デストラクタ
- コピーコンストラクタ
- コピー代入演算子
- アドレス取得演算子（constオブジェクト用・非constオブジェクト用）
コンストラクタ (Constructor)
コンストラクタは、クラスのインスタンスが生成される際に自動的に呼び出され、メンバ変数を初期化するための特殊なメンバ関数です。これにより、オブジェクトは定義された瞬間に有効な状態を持ちます。
コンストラクタの特性
- 関数名はクラス名と完全に一致する必要があります。
- 戻り値を持たず、voidも記述しません。
- オーバーロードが可能であり、複数の初期化方法を提供できます。
- 引数を取らない「デフォルトコンストラクタ」は、ユーザーがいずれのコンストラクタも定義しなかった場合にのみ、コンパイラによって自動生成されます。
- 引数が全てデフォルト値を持つコンストラクタ（全デフォルト引数コンストラクタ）や、引数を持たないコンストラクタは、どちらも「デフォルトコンストラクタ」として扱われます。ただし、これらを同時に定義すると呼び出し時に曖昧さが生じるため、同時に存在させることはできません。
- コンパイラが生成するデフォルトコンストラクタの挙動は、メンバ変数の型によって異なります。
- 組み込み型（int, double, ポインタなど）: 初期化は行われず、値は不定（ゴミ値）となります。
- ユーザー定義型（クラスなど）: そのクラス自身のデフォルトコンストラクタが呼び出されます。
TimeRecordクラスによる実装例
ここでは、時刻を管理するTimeRecordクラスを用いて、コンストラクタの実装パターンを解説します。
class TimeRecord {
public:
// 1. デフォルトコンストラクタ（引数なし）
TimeRecord() {
_hour = 0;
_minute = 0;
_second = 0;
}
// 2. 引数付きコンストラクタ
TimeRecord(int h, int m, int s) {
_hour = h;
_minute = m;
_second = s;
}
private:
int _hour;
int _minute;
int _second;
};
// 呼び出し例
void TestConstructors() {
TimeRecord t1; // デフォルトコンストラクタを呼び出し
TimeRecord t2(14, 30, 0); // 引数付きコンストラクタを呼び出し
}
全デフォルト引数コンストラクタと注意点
全ての引数にデフォルト値を設定したコンストラクタは、引数なしで呼び出すことができるため、デフォルトコンストラクタとして機能します。
// 全デフォルト引数コンストラクタ
TimeRecord(int h = 0, int m = 0, int s = 0) {
_hour = h;
_minute = m;
_second = s;
}
注意: 以下のコードはコンパイルエラーになります。これは、引数なしでオブジェクトを生成した際（TimeRecord t;）、コンパイラが「引数なしのコンストラクタ」と「全デフォルト引数コンストラクタ」のどちらを呼び出すか判断できないためです。
class TimeRecord {
public:
TimeRecord() { /* ... */ } // 引数なし
TimeRecord(int h = 0, int m = 0, int s = 0) { /* ... */ } // 全デフォルト
// エラー: 呼び出しが曖昧です
};
デストラクタ (Destructor)
デストラクタは、オブジェクトのライフサイクルが終了する際（スコープを抜ける際など）に自動的に呼び出され、リソースの解放を行います。動的に確保したメモリの解放やファイルハンドルのクローズなどに使用されます。
デストラクタの特性
- 関数名はクラス名の前にチルダ（
~）を付けたものになります（例:~TimeRecord()）。 - 引数と戻り値を持ちません。
- 1つのクラスに対して1つしか定義できません。
- ユーザーが定義しない場合、コンパイラがデフォルトのデストラクタを生成します。デフォルトのデストラクタは、メンバ変数がクラス型である場合、それらのデストラクタを自動的に呼び出します。
動的メモリ管理を伴うクラスの例
以下のIntBufferクラスでは、動的メモリ確保を行っており、デストラクタでそのメモリを解放する必要があります。
class IntBuffer {
public:
IntBuffer(size_t capacity = 10) {
_data = (int*)malloc(sizeof(int) * capacity);
if (_data == nullptr) {
perror("Memory allocation failed");
exit(1);
}
_size = 0;
_capacity = capacity;
}
void Add(int value) {
if (_size < _capacity) {
_data[_size++] = value;
}
}
// デストラクタ
~IntBuffer() {
if (_data != nullptr) {
free(_data);
_data = nullptr;
}
cout << "Buffer destroyed, memory freed." << endl;
}
private:
int* _data;
size_t _size;
size_t _capacity;
};
コピーコンストラクタ (Copy Constructor)
コピーコンストラクタは、既存のオブジェクトを使って新しいオブジェクトを初期化する際に呼び出されます。最初の引数が自身のクラス型への参照（通常はconst参照）である必要があります。
コピーコンストラクタの特性
- 第一引数はクラス型への参照でなければなりません。値渡しにすると、コピーするためにコピーを呼び出すという無限再帰に陥るためです。
- ユーザーが定義しない場合、コンパイラがデフォルトのコピーコンストラクタを生成します。
- 組み込み型メンバ：ビット単位のコピー（浅いコピー）を行います。
- クラス型メンバ：そのクラスのコピーコンストラクタを呼び出します。
- 動的メモリなどのリソースを管理するクラスでは、デフォルトの浅いコピーでは不十分であり、深いコピーを実装する必要があります。
参照渡しの必要性
もしコピーコンストラクタの引数を値渡しTimeRecord(TimeRecord other)にすると、引数otherを生成するために再びコピーコンストラクタが呼び出され、無限ループが発生します。
// 正しい実装例 (const参照を使用)
TimeRecord(const TimeRecord& other) {
_hour = other._hour;
_minute = other._minute;
_second = other._second;
}
浅いコピーと深いコピー
IntBufferクラスのようにポインタでメモリを管理する場合、デフォルトのコピーではポインタのアドレスだけがコピーされます（浅いコピー）。これにより、両方のオブジェクトが同じメモリ領域を指し、片方がデストラクタで解放してもう片がアクセスするとクラッシュします。これを防ぐには、新しいメモリ領域を確保してデータを複製する「深いコピー」が必要です。
class IntBuffer {
public:
// ... (コンストラクタ等は省略)
// 深いコピーを行うコピーコンストラクタ
IntBuffer(const IntBuffer& other) {
_data = (int*)malloc(sizeof(int) * other._capacity);
if (_data == nullptr) {
perror("Copy allocation failed");
exit(1);
}
// メモリ内容をコピー
memcpy(_data, other._data, sizeof(int) * other._size);
_size = other._size;
_capacity = other._capacity;
}
// デストラクタ等...
};
このように適切にコピーコンストラクタを実装しておくと、このクラスをメンバとして持つ別のクラス（例えばDataProcessorなど）でコピーコンストラクタが呼ばれた際に、コンパイラが自動的にIntBufferの深いコピーを呼び出して安全に初期化を行います。
戻り値としての参照に関する注意
ローカル変数を参照で返すことは避けてください。ローカル変数は関数終了時に破棄されるため、戻り値の参照は「ダングリング参照（無効な参照）」となり、未定義動作の原因となります。
// 良くない例
TimeRecord& GetTime() {
TimeRecord temp(10, 10, 10);
return temp; // tempは関数終了後に破棄される
}
// 正しい例
TimeRecord GetTime() {
TimeRecord temp(10, 10, 10);
return temp; // 値コピーが行われる
}
演算子オーバーロード (Operator Overloading)
C++では、ユーザー定義型に対して演算子（+, -, ==など）の動作を定義することができます。これにより、組み込み型と同じように直感的なコードを記述できます。
- 演算子の優先順位や結合規則は変更できません。
::,.*,.?,sizeofなどの演算子はオーバーロードできません。
基本構文
関数名はoperatorキーワードの後に演算子を記述します。
// TimeRecordクラスにおける += 演算子のオーバーロード（メンバ関数）
TimeRecord& operator+=(int seconds) {
_second += seconds;
while (_second >= 60) {
_second -= 60;
_minute++;
if (_minute >= 60) {
_minute = 0;
_hour++;
if (_hour >= 24) _hour = 0;
}
}
return *this;
}
前置インクリメントと後置インクリメント
++演算子を前置（++obj）と後置（obj++）で区別するために、後置インクリメントではダミーのint引数を受け取ります。
// 前置インクリメント: 参照を返す
TimeRecord& operator++() {
*this += 1;
return *this;
}
// 後置インクリメント: 値を返す（ローカル変数のコピーを返すため参照は不可）
TimeRecord operator++(int) {
TimeRecord temp = *this; // 元の値を保存
*this += 1; // 値を増加
return temp; // 元の値を返す
}
挿入演算子と抽出演算子のオーバーロード
<<（ストリーム挿入）や>>（ストリーム抽出）をオーバーロードする場合、左辺値がostreamやistreamであるため、メンバ関数ではなくfriendを指定したグローバル関数として実装する必要があります。
class TimeRecord {
public:
// ... その他のメンバ関数 ...
// フレンド宣言によるプライベートメンバへのアクセス許可
friend ostream& operator<<(ostream& out, const TimeRecord& t);
friend istream& operator>>(istream& in, TimeRecord& t);
private:
int _hour;
int _minute;
int _second;
};
// 挿入演算子オーバーロード
ostream& operator<<(ostream& out, const TimeRecord& t) {
out << t._hour << ":" << t._minute << ":" << t._second;
return out;
}
// 抽出演算子オーバーロード
istream& operator>>(istream& in, TimeRecord& t) {
cout << "Enter time (h m s): ";
in >> t._hour >> t._minute >> t._second;
return in;
}
constメンバ関数とアドレス演算子
constメンバ関数
メンバ関数の後ろにconstをつけることで、その関数内でメンバ変数を変更しないことを保証できます。これにより、const修飾されたオブジェクトからもそのメンバ関数を呼び出すことが可能になります。
void Print() const {
// _hour = 10; // エラー: constメンバ関数内では値を変更できない
cout << _hour << ":" << _minute << endl;
}
アドレス取得演算子のオーバーロード
通常、アドレス取得演算子&をオーバーロードする必要はありませんが、特殊な用途（例えば、オブジェクトの特定のメモリアドレスを隠蔽したり、シングルトンパターンで固定アドレスを返したりする場合）に使用されます。
TimeRecord* operator&() {
return this;
// return nullptr; // アドレス取得を無効化する例
}