なぜオブジェクトを宣言するときにコンストラクタも代入演算子も実行されませんでしたか？

Question

テストプログラムは

#include <iostream> 
using namespace std; 

class A 
    {public: 
     A(): I(0) {cout << "default construcot" << endl; }; 
     explicit A (int i): I(i) {cout << "another construcot" << endl; }; 
     A (const A& a): I(a.I) {cout << "copy constructor" << endl; } 
     A& operator = (const A& a) 
      {cout << "assignment operator" << endl; 
      if (this == &a) return *this; 
      I = a.I; 
      return *this; 
      } 
     void show() {cout << I << endl; }; 
    private: 
     int I; 
    }; 

int main() 
    {A a = A(1); 
    A b; 
    b = A(2); 
    a.show(); 
    b.show(); 
    return 0; 
    } 

出力

another construcot 
default construcot 
another construcot 
assignment operator 
1 
2 

ショーで、 '' 'B' とは異なり、そのオブジェクトは、代入演算子の実行せずに（1） "直接" から構築しました。しかしコピーコンストラクタも実行されていませんでした。どうして？この場合、代入演算子を強制的に実行する方法はありますか？私は

A a (1); 

を書いた場合、私はそのような行動を期待しますが、私は最初のケースとは異なりする必要が

A a = A(1); 

をしたいです。か否か？

（私はAから派生したクラスBがあり、A = B（...）のような宣言を処理するために、Aの代入演算子をしたい時に実際には、問題が表示されます。）

Answer 1

なぜ

標準は、コンパイラがコピー工事を離れて最適化することができます。 NOT宣言の一部であるため、代入が行われます（最適化が行われなかった場合は一時オブジェクトが生成され、仮のコピー構成がaになります）。

この場合、代入演算子を強制的に実行する方法はありますか。

これはコンパイラによって異なります。しかし、私はあなたがこれを強制することができるものは知らない（しかし、私はそれをオフにしようとしたことはありません）。コンパイラが行っているすべての最適化を無効にしてみてください。

私が次のように書くと、このような動作が期待されます。A（1）;

標準では、このバージョンに最適化できることが明示されています。

私はAから派生したクラスBがあり、A = B（...）のような宣言を処理するために、Aの代入演算子をしたい。）

あなたはBをスライスすることを行う場合と、 BオブジェクトのA部分を代入するだけです。
リファレンスを使用しますか？

A const& a = B(); 

Answer 2

なぜ？なぜなら、コンパイラは自由に実行でき、ほとんどの場合です。

あなたはそれを強制できますか？特許

Answer 3

この

A a = A(1); 

はこれに等価ではない：第二場合=で

A a; 
a = A(1); 

最初のケースで=がオペレータないが、演算子です。最初の文では、初期化構文です。コンパイラはコピーコンストラクタを呼び出すことができますが、言語（RVO、例外スローなど）によって許可されている場所の1つとして最適化できます。

Answer 4

コンパイラが基本的にコピーの構造を基本的に削除し、最初の形式が初期化構文であると明示的に定義されています。しかし、実際の派生インスタンスで呼び出すと、この動作が削除されるため、プログラムの正確性に影響する可能性があります。

Answer 5

私はそれが標準で保証され、A a(1);とA a = 1;が厳密に同じものであると思います。