式MyClass a = b + cはコピーの初期化ですか？

Question

私はMyClass a = bのような式がコピー初期化であることを知っていて、コピーコンストラクタを呼び出します。

MyClassはどうですか？a = b + c？

私はそれを試しました。ビジュアルスタジオ2015では、表現はコピー初期化やコピー割り当てではないようです。それは何ですか？以下は

は、私がテストしたコードです：

class MyClass 
{ 
public: 
    MyClass() 
    { 
     cout << "default constructor has been called!" << endl; 
    } 
    MyClass(const MyClass& cls) 
    { 
     cout << "copy constructor has been called!" << endl; 
    } 
    MyClass operator+(const MyClass& cls) const 
    { 
     cout << "operator + has been called!" << endl; 
     return MyClass(); 
    } 
    MyClass& operator=(const MyClass& cls) 
    { 
     cout << "operator = has been called!" << endl; 
     return *this; 
    } 
}; 

int main() 
{ 
    MyClass b, c; 
    MyClass a = b + c; 
    return 0; 
} 

、出力は

default constructor has been called! 
default constructor has been called! 
operator + has been called! 
default constructor has been called! 

Answer 1

あなたは、戻り値の最適化と呼ばれる体験（What are copy elision and return value optimization?を参照してください）。

コンパイラはコードを最適化し（オブジェクトの作成を最小限に抑えるため）、オペレータによって宣言され返されたローカルオブジェクトをaにします。次に、コピーコンストラクタは使用されません。これはあなたがここで観察するものです。うまくオブジェクトのメモリは住所が見るためにあなたのコードを変更し、これを観察する

：

#include <iostream> 
using namespace std; 

class MyClass 
{ 
public: 
    MyClass() 
    { 
     cout << "default constructor has been called for " << std::hex << this << endl; 
    } 
    MyClass(const MyClass& cls) 
    { 
     cout << "copy constructor has been called for " << std::hex << this << " (copied from " << &cls << ")" << endl; 
    } 
    MyClass operator+(const MyClass& cls) const 
    { 
     cout << "operator + has been called!" << endl; 
     MyClass res; 
     cout << "operator + returns temporary object " << std::hex << &res << endl; 
     return res; 
    } 
    MyClass& operator=(const MyClass& cls) 
    { 
     cout << "operator = has been called!" << endl; 
     return *this; 
    } 
}; 

int main() 
{ 
    MyClass b, c; 
    MyClass a = b + c; 
    cout << "a object is " << std::hex << &a << endl; 
    return 0; 
} 

それは出力：

あなたは operator+で作成した一時オブジェクトは a（ 0x7ffd44b769ffと同じであることがわかり

default constructor has been called for 0x7ffd44b769fd 
default constructor has been called for 0x7ffd44b769fe 
operator + has been called! 
default constructor has been called for 0x7ffd44b769ff 
operator + returns temporary object 0x7ffd44b769ff 
a object is 0x7ffd44b769ff 

を）、コンパイラの最適化のためです。

g ++を使用する場合、このコンパイラの最適化を無効にするには、-fno-elide-constructorsでコンパイルしてください。そして、出力は以下のようになります。

は

default constructor has been called for 0x7ffd92847d1c 
default constructor has been called for 0x7ffd92847d1d 
operator + has been called! 
default constructor has been called for 0x7ffd92847cff 
operator + returns temporary object 0x7ffd92847cff 
copy constructor has been called for 0x7ffd92847d1f (copied from 0x7ffd92847cff) 
copy constructor has been called for 0x7ffd92847d1e (copied from 0x7ffd92847d1f) 
a object is 0x7ffd92847d1e 

あなたは今operator+は最終的に構築するために使用された後に、return文のための一時的なオブジェクトとしてコピーされるローカルオブジェクト（0x7ffd92847cff）、（0x7ffd92847d1fから0x7ffd92847cffをコピー）を作成していることがわかりaコピー（コピー0x7ffd92847d1f〜0x7ffd92847d1e）。

Answer 2

このような場合のコピーコンストラクタmay be elidedです。 operator+は右辺値MyClassのを返すので、Cからの

Answer 3

++型perslective、

MyClass a = b + c; 

と

MyClass a = MyClass(); 

間には違いがありません。 aのオブジェクトを作成したばかりなので、そのオブジェクトを直接 aに作成するだけです。

この

は、ここでは最初の例で説明されています http://en.cppreference.com/w/cpp/language/copy_elision