std :: moveは有効性のためにreturn文で使用する必要がありますか？

Question

次のコードでstd :: moveが何か良いことをするのか、それとも完全に間違っているのかわかりません。 クラスObjectには、移動コンストラクタとコピーコンストラクタの両方が定義されています。

まず：移動付：

template<typename T> template <typename F> 
const Object<T> Object<T>::operator*(const F& rhs) const 
{ 
    return std::move(Object(*this) *= rhs); // We end in move constructor 
} 

第二：移動なし：

template<typename T> template <typename F> 
const Object<T> Object<T>::operator*(const F& rhs) const 
{ 
    return Object(*this) *= rhs; // We end in copy constructor 
} 

*=オペレータは次のように定義される：ここでは

template<typename T> template<typename F> 
Object<T>& Object<T>::operator*=(const F& rhs) 
{ 
    for(int i = 0; i < dimension ; i++) 
    { 
     _inner[i] *= rhs; 
    } 
    return *this; 
} 

は共同ですドは、私はそれをテストするために使用します。

Object<double> test(4); 
Object<double> test2(test * 4); 
std::cout << test2; // works fine 

結果、我々は移動コンストラクタで終わる最初場合と二で 我々はコピーコンストラクタで終わります。

いずれの場合も、コードがコンパイルされます。

新しいオブジェクトをコピーするのではなく移動するほうが速いと思うので、もう1つ効率的ですか？

追加情報： 私は次のコンパイラを使用します。私はそれがあると仮定しますので、G ++（Ubuntuの/リナロ4.7.3-1ubuntu1）4.7.3

Answer 1

は一方が他方よりは、より効率的です新しいオブジェクトをコピーするのではなく、移動する方が速いのですか？

はい、ここでstd::moveを使用すると、オブジェクトがコピーよりも効率的な移動セマンティクスを持つと仮定すると、より効率的になります。

通常、一時変数またはローカル変数を返すときは、移動セマンティクスが自動的に使用されます。ただし、この場合は一時的に直接返信するのではなく、左端の参照はoperator*=から返されます。 左辺は移動されませんので、この場合はstd::moveが必要です。の右辺値に変更してください。

ただし、constの値を返さないでください。戻り値が別のオブジェクトの移動初期化（または移動割り当て）に使用されないためです。あなたの例では、test2によってが返されます。のコピーは返されますが、そのコピーは省略される可能性があります。

代わりに、ローカル変数を使用して、それを実現することができます。

template<typename T> template <typename F> 
Object<T> Object<T>::operator*(const F& rhs) const 
{ 
    Object lhs(*this); 
    lhs *= rhs; 
    return lhs; 
} 

は、戻り値を移動することができるだけでなく、動き自体は省略させることができます。