Optimized C++ ―最適化、高速化のためのプログラミングテクニック

125

6.6　ムーブセマンティクスの実装

6.6.1

　非標準的コピーセマンティクス：痛みを伴うハッキング

変数がエンティティとして振る舞うとき、コピーをするのは未定義振る舞いに至る片道切符のよ

うなものだった。そのような変数にはコピーコンストラクタや代入演算子を使わないのが良いやり

方だった。しかし、

std::vector

のようなコンテナでは、コンテナの再割り当て時にオブジェクト

をコピーする必要があり、コピーを禁じることはコンテナにオブジェクト型を使えないということ

を意味した。

ムーブセマンティクス以前に、標準ライブラリコンテナにエンティティを入れたいと必死の設計

者にとって、回避策は非標準代入の実装だった。例えば、代入を実装するある種のスマートポイン

タを例

6-1

のように作ることができた。

例

6-1

 非コピー代入のためハッキングしたスマートポインタ

hacky_ptr& hacky_ptr::operator=(hacky_ptr& rhs) {

if (*this != rhs) {

this->ptr_ = rhs.ptr_;

rhs.ptr_ = nullptr;

}

return *this;

}

この代入演算子はコンパイルして実行できる。

q = p;

のような文は、ポインタの所有権を

q

に

移転し、

p

のポインタを

nullptr

にセットする。この定義で所有権は保持される。このように定義

したポインタは、

std::vector

でうまく機能する。

代入演算子のシグネチャが

rhs

の変更を示唆するが、これは代入では普通でなく、代入そのもの ...