私はC++について勉強中ですが、以下のようなコードに対するメリットが発見できませんでした。
Obj a;
Obj&& b = std::move(a);
aをrvalueとみなして、再利用しないという意味づけを行うにもかかわらず、bで参照できるようにするメリットはどこにありますか?
また、仮引数に対して用いる場合も、templateとの併用をしない場合のユースケースはありますか?
Argument deductionを用いたtemplateと併用する場合:
template<typename T>
void swap(T &&a, T &&b){
auto tmp = std::forward<T>(a);
a = std::forward<T>(b);
b = std::forward<T>(tmp);
}
// 単にmoveするだけなら以下でよいのではないでしょうか
template<typename T>
void swap(T &a, T &b){
auto tmp = std::move(a);
a = std::move(b);
b = std::move(tmp);
}
右辺値参照を受け取る場合を明示したオーバーロードの場合では有効に使えそうです。
以下Objの実装でのムーブコンストラクタなど:
class Obj{
public:
int *data;
Obj(){
Init();
};
~Obj(){
UnInit();
}
Obj(const Obj& other){
Init();
*this = other;
};
Obj(Obj&& other){
Init();
*this = std::move(other);
};
Obj& operator=(const Obj& other){
std::cout << "copy" << std::endl;
std::copy(other.data, other.data + SIZE, data);
return *this;
}
Obj& operator=(Obj&& other){
std::cout << "move" << std::endl;
data = other.data;
other.data = nullptr;
return *this;
}
void Init(){
data = new int(SIZE);
std::cout << "construct" << std::endl;
}
void UnInit(){
delete[] data;
std::cout << "destruct" << std::endl;
}
};
この他にユースケースはありますか?