デフォルトコンストラクタなしの初期化時の代入

Question

このプログラムでは、主関数の最初の部分が失敗し、コメントする必要があることを完全に理解しています - TestingClass内にctor値を実装した後に暗黙的なデフォルトctorはありません。完璧な論理。しかし、2番目の部分（test2オブジェクトの作成）が少なくともgcc 4.8.4ではうまくいくことがわかりました。

オブジェクト、TEST2は、初期化/構築されずに存在しなかったでしょうが、ほとんどの人は単に宣言と代入であるとして、このように初期化を考えるので、それも理にかなって、それについて考える

#include <iostream> 
using namespace std; 

class TestingClass 
{ 
    public: 
    TestingClass(int inVal) 
    { 
     val = inVal; 
    } 

    int val; 
}; 

TestingClass testingCreator() 
{ 
    return TestingClass(100); 
} 

int main() 
{ 
    /* 
    TestingClass test1; 
    test1 = testingCreator(); 
    cout << "Test1: " << test1.val << endl; 
    */ 

    TestingClass test2 = testingCreator(); 
    cout << "Test2: " << test2.val << endl; 
} 

1行に明らかに、このコードは機能するので、初期化はそれよりも特別です。

この標準はC++ですか？コンパイラ間で動作することは保証されていますか？私は、この方法での初期化が、（デフォルトのctorを使用して）宣言し、（グローバル関数で作成された一時オブジェクトを介して）代入する方法とは異なる点に興味があります。

UPDATE：コピーctorを追加し、コピーctorを明確に使用する3番目のケースを追加しました。

#include <iostream> 
using namespace std; 

class TestingClass 
{ 
    public: 
    TestingClass(const TestingClass &rhs) 
    { 
     cout << "In copy ctor" << endl; 
     this->val = rhs.val + 100; 
    } 
    TestingClass(int inVal) 
    { 
     val = inVal; 
    } 

    int val; 
}; 

TestingClass testingCreator() 
{ 
    return TestingClass(100); 
} 

int main() 
{ 
    /* 
    TestingClass test1; 
    test1 = testingCreator(); 
    cout << "Test1: " << test1.val << endl; 
    */ 

    TestingClass test2 = testingCreator(); 
    cout << "Test2: " << test2.val << endl; 

    TestingClass test3(test2); 
    cout << "Test3: " << test3.val << endl; 
} 

この出力：

Test2: 100 
In copy ctor 
Test3: 200 

Answer 1

TestingClass test2 = testingCreator();の考え方には欠陥があります。あなたは

type name = stuff; 

が表示されたらあなたはnameを作成し、それstuffに割り当てないでください。コピーをコピーするのはnameからstuffまでです。つまり、コピーまたは移動コンストラクタを呼び出します。一般に、この呼び出しはコンパイラを最適化することによって省略することができますが、そうでなければ、それはあなたが見るものです。どちらの場合でも、デフォルトのコンストラクタは決して呼び出されません。あなたの最初の例で

TestingClass test1; 

は、デフォルトコンストラクタが呼ばれるように強制的に、あなたは1を持っていないので、エラーが発生します。

Answer 2

test2は、引数としてtestingCreatorの結果を取って、TestingClassのコピーコンストラクタで定義されています。コピーコンストラクタTestingClass::TestingClass(const TestingClass&)はコンパイラによって自動的に生成され、C++標準ではvalフィールドがコピーされることが保証されています。