rvalueを値渡しして関数に渡すときにコピーコンストラクタが呼び出されないのはなぜですか？

Question

何とか見逃したことですが驚いています。次のコード例を考えてみましょう：

#include <iostream> 

class A 
{ 
    int a; 

public: 
    A(int a) : a(a) { std::cout << "Normal constructor called." << std::endl; } 
    A(const A& orig) : a(orig.a) { std::cout << "Copy constructor called." << std::endl; } 
}; 

void testFunction1(const A arg) { std::cout << "testFunction1()" << std::endl; } 
void testFunction2(const A& arg) { std::cout << "testFunction2()" << std::endl; } 

int main() 
{ 
    testFunction1(A(2)); 

    testFunction2(A(2)); 

    return 0; 
} 

私は次のような結果が予想：

/* Normal constructor called. */ 
/* Copy constructor called. */ 
/* testFunction1() */ 
/* Normal constructor called. */ 
/* testFunction2() */ 

をしかし、私は間違っていました。正確な結果は以下の通りであった：

/* Normal constructor called. */ 
/* testFunction1() */ 
/* Normal constructor called. */ 
/* testFunction2() */ 

はなぜtestFunction1()に値によってA(2)を通過したときに呼び出さコピーコンストラクタませんでしたか？ C++ 98で値または参照による値を渡すことに違いはないのでしょうか？それは最適化ですか？ A(2)とargは全く同じのオブジェクトですtestFunction1()？

Answer 1

最適ですか？

はい！これはCopy Elisionと呼ばれ、コンパイラーによって可能な限りコピーを省略することができます（バイパスされます）。

あなたのケースでは、コンパイラーは、コピーコンストラクターを呼び出さずに逃げることができることを理解しています。 argを使用した場合でも、例えば、印刷メンバー関数Aを呼び出すような場合でも、最適化の目的で、コンパイラがコピーエリジョンを使用できることに注意してください。つまり、argを使用しないことは、この現象の原因ではありません。

古代コンパイラを使用したり、現在の設定を調整したりすると、最初に期待した結果が表示されます。

c++17では、Guillaume Racicotが述べたように、この場合、コピーのエリミッションが保証されます。