c++11 - 为什么对于这个未命名的临时构造函数被省略，具有正常初始化的副作用而不是括号列表初始化？

Question

我想测试一个临时对象是否至少与保存对它的 const 引用的临时对象一样长，所以我想出了这个例子。

#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;
}

但是，我很惊讶地看到编译器实际上已经优化了整个事情，正如在codebolt 上看到的那样

但是，如果我实际上通过更改行给临时文件一个名称

Holder(Test());

进入

Holder h((Test()));

然后它“神奇地”起作用了:codebolt .

情节扭曲:如果我切换到 c++11 并为 Holder 类使用花括号列表初始化，那么无论我是否给出构造函数都不会被省略暂时要不要一个名字。参见 codebolt再次。

那么这是怎么回事呢？我的印象是永远不会省略具有副作用的构造函数，但我显然遗漏了标准中在版本之间发生变化的重要部分。

有人可以给我提示吗？

Answer 1

这是 most vexing parse issue : Holder(Test()); 声明了一个名为 Test 的函数，该函数返回 Holder 并接受 0 个参数。

使用 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';
}

输出:

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

一个简单的解决方法是使用 C++11 大括号进行初始化:Holder(Test{}); 或 Holder{Test{}};。