通常の初期化では副作用のあるこの名前のない一時的なものに対してはコンストラクタが省略されていますが、リストの初期化はされていません。

Question

私は、一時オブジェクトが少なくともconst参照を保持している一時オブジェクトと同じ長さであるかどうかをテストしたいので、この例を考えました。私は実際に名前を与える場合、codebolt

に見えるしかし、することができますよう

#include <iostream> 

struct Test { 
    Test() { 
     std::cout << __PRETTY_FUNCTION__ << std::endl; 
    } 
    ~Test() { 
     std::cout << __PRETTY_FUNCTION__ << std::endl; 
    } 
}; 

struct Holder { 
    Holder(const Test& t):m_t(t) { 
     std::cout << __PRETTY_FUNCTION__ << std::endl; 
    } 
    ~Holder() { 
     std::cout << __PRETTY_FUNCTION__ << std::endl; 
    } 

    const Test& m_t; 
}; 

int main() { 
    Holder(Test()); 

    return 0; 
} 

しかし、私は、コンパイラが実際に全部を最適化していたことを見て非常に驚きました

にライン

Holder(Test()); 

を変更することで、一時的

それは "魔法のように"動作します：codebolt。

プロットツイスト：私はC++ 11に切り替えて、Holderクラスのブレースリストの初期化を使用する場合は、コンストラクタは、私は一時的かどうかに名前を与えるかどうかに関係なく省略されていません。再びcodeboltを参照してください。

ここには何がありますか？私は、副作用のあるコンストラクタは決して切れないだろうという印象を受けていましたが、私は明らかにバージョン間で変わった重要な標準を欠いています。

誰でも私にヒントを教えてもらえますか？

Answer 1

：Holder(Test());は、Holderを返し、0引数を受け付けるTestという名前の関数を宣言します。 gの

++以下のコード：

#include <iostream> 
#include <type_traits> 

struct Test {}; 
struct Holder { Holder(Test); }; 

template<class T> 
char const* f() { return __PRETTY_FUNCTION__; } 

int main() { 
    Holder(Test()); 
    std::cout << f<decltype(&Test)>() << '\n'; 
} 

出力：Holder(Test{});又はHolder{Test{}};：

const char* f() [with T = Holder (*)()] 

容易修正が初期化のためのC++ 11の括弧を使用することです。