c++ - 在 C++ 中初始化结构

Question

作为 this question 的附录，这是怎么回事:

#include <string>
using namespace std;

struct A {
    string s;
};

int main() {
    A a = {0};
}

显然，您不能将 std::string 设置为零。有人可以提供关于这里实际应该发生的事情的解释(请引用 C++ 标准)吗？然后举例说明):

int main() {
    A a = {42};
}

这些中的任何一个都有明确的定义吗？

对我来说又是一个尴尬的问题 - 我总是给我的结构构造函数，所以这个问题以前从未出现过。

Answer 1

你的结构是一个聚合，所以聚合初始化的普通规则适用于它。该过程在 8.5.1 中描述。基本上整个 8.5.1 都是专门用于它的，所以我看不出这里复制整个东西的原因。总体思路几乎与 C 中的相同，只是适用于 C++:从右侧获取一个初始化器，从左侧获取一个成员，然后使用该初始化器初始化该成员。根据 8.5/12，这应该是一个复制初始化。

当你这样做时

A a = { 0 };

您基本上是用 0 复制初始化 a.s，即对于 a.s，它在语义上等同于

string s = 0;

上面的编译是因为 std::string 可以从 const char * 指针转换。 (这是未定义的行为，因为在这种情况下空指针不是有效参数。)

您的 42 版本无法编译，原因与

string s = 42;

不会编译。 42 不是空指针常量，std::string 没有办法从 int 类型转换。

P.S. 以防万一:请注意，C++ 中 aggregate 的定义不是递归的(例如，与 POD 的定义相反)。 std::string 不是一个聚合，但它不会改变您的 A 的任何内容。 A 仍然是一个聚合。