c++ - 分配给匿名实例的基本类型的默认构造函数

Question

考虑以下代码:

#include <iostream>

template<class T>
void f(T& t)
{
    t = T();
}

int main()
{
    int x = 42;
    f(x);
    std::cout << x;
}

C++11 标准是否定义了输出内容？我的编译器输出 0，但我的印象是基本类型的默认构造函数是空操作或未定义行为。

Answer 1

您的代码中没有涉及“默认构造函数”。只有类类型可以有构造函数。标量类型没有构造函数，无论是默认构造函数还是其他构造函数。

T() 语法创建一个由所谓的值初始化 初始化的临时对象。值初始化仅针对类 类型解析为构造函数调用，并且仅针对具有用户定义 构造函数的类型(在 C++11 中有一些细微差别)。对于其他类型，值初始化根本不涉及任何构造函数。它根据自己特定且相当详尽的初始化规则进行，这些规则直接定义数据的初始值，而不涉及任何构造函数(请参阅语言规范中的 8.5)。

对于标量类型，值初始化执行零初始化。这就是为什么你的代码保证输出零。抽象初始化过程的具体细节在 C++ 语言标准的版本之间发生了变化，但是从一开始 C++ 语言就保证 T() 表达式为 T == int评估为零。 IE。即使在 C++98 中，您的代码也将输出零。

一个常见的误解是所有这些 T(...) 表达式都以某种方式必然暗示构造函数调用。实际上，T(...) 表达式是一个函数式转换表达式(不管参数的数量)(参见语言规范中的 5.2.3)，它可能会解析为某些狭窄的构造函数调用一组特定情况，与其他情况下的任何构造函数无关。

比如这段代码

struct S { int x, y; };

S s = S();

保证用零初始化s(s.x 和s.y)，尽管类S有一个默认的构造函数。我提出这个例子是为了说明这样一个事实，即即使在存在默认构造函数的情况下，T() 表达式仍然可以完全忽略它并按照自己的规则工作。