std::moveはムーブとは限らない #C++

ブログにまとめるのが面倒くさいのでメモ。std::moveは必ずしも「ムーブ」を強制せず、無条件(unconditionally) rvalueキャストを行う。

例外ケース1

ムーブコンストラクタ／代入演算子を提供しないクラス。コピー動作にフォールバックする。

struct X {
  X(const X&) = default;
  // ムーブコンストラクタなし
};

X v0;
X v1(std::move(v0));  // コピー

constオブジェクトからのムーブは行われず、コピー動作にフォールバックする。（一般に、ムーブコンストラクタ／代入演算子は非const rvalue参照型X&&を引数にとり、コピーコンストラクタ／代入演算子はconst lvalue参照型const X&を引数にとるため。）

struct X {
  X(const X&) = default;
  X(X&&) = default;
};

void fuunc(const X arg) {
  X v(std::move(arg));  // コピー
}