为什么在此示例中出现错误 C2797？

Question

我有以下代码：

struct X
{
    int a, b;
};

class Y
{
public:
    Y(const X& x) : x_{x} {};  // C2797 error

private:
    X x_;
};

使用 MSVC2013 Update 3 编译，它抱怨 C2797 error。如果我用括号（即x_(x)）替换花括号，程序编译成功。

为什么会这样？此编译器行为是否符合 C++11？那么 C++14 呢？

编辑：更清楚地说，我不确定上面的x_{x} 是否应该根据标准调用X(std::initializer_list)，或者它是否是调用X(const X&) 的有效语法。据我所知，是后者。我说的对吗？

Answer 1

来自标准：

——如果 T 是一个聚合，则执行聚合初始化。

[...]

——否则，如果 T 是类类型，则考虑构造函数。枚举适用的构造函数，并通过重载决议（13.3、13.3.1.7）选择最佳构造函数。如果需要缩小转换（见下文）来转换任何参数，则程序格式错误。

在上面的上下文中，x_{x} 不会调用复制构造函数，因为X 是一个聚合。它将尝试聚合初始化，其中：

• 在 MSVC 中，未实现。当X 是std::string 时，MSVC 似乎也编译失败，这不是一个聚合，因此它可能存在一些 C++11 合规性问题。

• 在 gcc 中已实现，但程序格式错误且无法编译（尝试从 {const X} 初始化期望 {int, int} 的聚合。

Answer 2

正如您所说，gcc 确实知道该语法的含义，并给出了特定的错误消息：

cannot convert ‘const X’ to ‘int’ in initialization

那是因为花括号 {} 触发列表初始化和聚合类型的列表初始化（你的 struct X 是一个聚合，如果你不知道为什么，就想“就像一个数组，它只是持有没有任何自身行为的东西") 执行聚合初始化。聚合初始化意味着初始化器按顺序与数据成员配对，并且任何额外的数据成员都会初始化值。

x_.a 与 x 配对 x_.b 没有配对，所以值初始化了

这不是您想要的，因为您不能将所有 x 粘贴到 x_.a 中（这是 gcc 告诉您的）。你想要的是使用复制构造函数直接初始化，写成_x(x)。

Visual C++ 中的故事有点不同。 Microsoft 工程师仍在努力添加 C++11 支持，这是他们尚未完成的事情之一（至少在您的版本中）。编译器知道当它在 ctor 初始化器列表中看到 {} 时，这意味着列表初始化，但它不知道该怎么做，所以它放弃了。

特别是，它没有达到将 X 视为聚合、将初始化程序与数据成员配对以及找出 x_.a 与 x 配对是否可能的地步。

当编译器告诉你“这没有实现”时，这并不意味着代码是好的，并不意味着代码是坏的。这意味着编译代码需要尚未发布的逻辑（可能尚未编写，可能尚未测试，Microsoft 以外的人都不知道）。你的代码被送到工厂，装载到传送带上，开始沿着装配线移动，然后……从传送带的末端掉下来，因为处理这种代码的机器还没有在工厂里.没有人知道如果机器在那里捡起它，它会不会把它丢在错误堆里，或者把它拿到另一个传送带上。