C++優化構建和複製到複製構造函數嗎？

Question

做了C++編譯器自動轉換：

MyObject object2 = object1; 

到

MyObject object2(object1); 

？

抑或是像對待：

MyObject object2; 
object2 = object1; 

？

Answer 1

你可以試試這個，看看具體的行爲：

#include <iostream> 

class MyObject { 
public: 
    MyObject() { 
     std::cout << "MyObject()" << std::endl; 
    } 
    MyObject(const MyObject& other) { 
     std::cout << "MyObject(const MyObject& other)" << std::endl; 
    } 
    MyObject& operator=(const MyObject& other) { 
     std::cout << "operator=(const MyObject& other)" << std::endl; 
     return *this; 
    } 
}; 

int main() { 
    MyObject object1; 
    MyObject object2 = object1; 
    MyObject object3(object1); 
    MyObject object4; 
    object4 = object1; 
} 

輸出：

MyObject() 
MyObject(const MyObject& other) 
MyObject(const MyObject& other) 
MyObject() 
operator=(const MyObject& other) 

除此之外，我建議你閱讀What is The Rule of Three?

Answer 2

是的，這是第一個。這不是一個「優化」;它們是調用複製構造函數的兩種不同的語法。

如果您想證明它，請嘗試爲MyObject定義一個專用賦值運算符。代碼仍然應該編譯，這證明它不能等同於第二種機制。

Answer 3

MyObject object2 = object1; 

是副本初始化。這將調用複製構造函數，如果object1是MyObject類型。

object1如果是不同類型的，然後它要麼做從object1的隱式轉換到MyObject，然後或者複製構造從object2，或執行隱式轉換直接進入object2和跳過拷貝構造。在這兩種情況下，複製構造函數（或C++ 11中的移動構造函數）都必須是可訪問的。

Answer 4

什麼被稱爲與MyObject object2 = object1;是一個構造因爲這是初始化。這與賦值運算符無關。

但是，您建議從MyObject object2 = object1;轉換爲MyObject object2(object1);的轉換不會發生，因爲這兩個初始化語法並不相同。它們的相似之處在於它們都通過調用構造函數來初始化對象，但它們有細微的差別。

如果您有：

struct MyObject { 
    explicit MyObject(MyObject const&); 
}; 

然後MyObject object2 = object1;是形成不良的，但MyObject object2(object1);是良好的。