爲什麼在賦值運算符之後在此代碼中調用了複製構造函數？

Question

如果我修改賦值處理器，使其返回對象A而不是對象A的引用，那麼會發生一些有趣的事情。

無論何時調用賦值運算符，複製構造函數都會在之後調用。爲什麼是這樣？

#include <iostream> 
using namespace std; 

class A { 
private: 
    static int id; 
    int token; 
public: 
    A() { token = id++; cout << token << " ctor called\n";} 
    A(const A& a) {token = id++; cout << token << " copy ctor called\n"; } 
    A /*&*/operator=(const A &rhs) { cout << token << " assignment operator called\n"; return *this; } 
}; 

int A::id = 0; 

A test() { 
    return A(); 
} 

int main() { 
    A a; 
    cout << "STARTING\n"; 
    A b = a; 
    cout << "TEST\n"; 
    b = a; 
    cout << "START c"; 
    A *c = new A(a); 
    cout << "END\n"; 
    b = a; 
    cout << "ALMOST ENDING\n"; 
    A d(a); 
    cout << "FINAL\n"; 
    A e = A(); 
    cout << "test()"; 
    test(); 

    delete c; 
    return 0; 
} 

輸出如下：

0 ctor called 
STARTING 
1 copy ctor called 
TEST 
1 assignment operator called 
2 copy ctor called 
START c3 copy ctor called 
END 
1 assignment operator called 
4 copy ctor called 
ALMOST ENDING 
5 copy ctor called 
FINAL 
6 ctor called 
test()7 ctor called 

Answer 1

因爲如果不返回對象的引用它使一個副本。 正如@MM所說的最終測試（）調用，副本不會出現，因爲複製elision What are copy elision and return value optimization?