部分聚合初始化和非静态数据成员初始化程序

Question

struct Point {
  int x = 0;
  int y = 10;
};

Point p = {1,};
p.x == 1;  // true
p.y == 10; // is this true?

根据初始化列表中的标准缺失元素是初始化的值，因此y应该是int()或0，但它似乎没有说明在非静态数据成员初始化程序。

编辑：根据答案，显然这是无效的c ++ 11，我想知道c ++ 1y中的情况。

Answer 1

C ++ 98，C ++ 03

非静态数据成员初始化程序（NSDMI）不存在;这个问题不适用。

---

C ++ 11

首先，这种初始化无效，因为您的类型不是聚合：

  

[C++11: 8.5.1/1]: 汇总数组或 a class （第9条） 用户提供的构造函数（12.1），对于非静态数据成员 no brace-or-equal-initializers （9.2），没有私有或受保护的非静态数据成员（第11条），   没有基类（第10条），也没有虚函数（10.3）。

因此，无法在此处执行聚合初始化;采用std::initializer_list的构造函数将是您使用该初始化语法（[C++11: 8.5.4/3]）的唯一方法，但您也没有其中一种。

因此，问题的整个前提是有缺陷的：不可能让自己进入这种状态。

---

C ++ 1Y

在即将推出的标准版本中，已经放宽了聚合的定义，以允许您的类型被视为聚合（只要这两个成员都保持public！） ：

  

[n3936: 8.5.1/1] 聚合数组或类（第9条），没有用户提供的构造函数（12.1），没有私有或受保护的非静态数据成员（第11条），没有基类（第10条），也没有虚函数（10.3）。

在此之后，有一条规则可以保证您正在寻找的结果：

  

[n3936: 8.5.1/7]：如果列表中的 initializer-clauses 少于聚合中的成员，那么未明确初始化的每个成员都应从其大括号中初始化 - or-equal-initializer 或者，如果没有 brace-or-equal-initializer ，   从空的初始化列表（8.5.4）。 [例如：

struct S { int a; const char* b; int c; int d = b[a]; };
S ss = { 1, "asdf" };

     

使用ss.a初始化1，ss.b "asdf"，ss.c初始化int{}形式的表达式值（即，0）和ss.d，其值ss.b[ss.a]（即’s’）和

struct X { int i, j, k = 42; };
X a[] = { 1, 2, 3, 4, 5, 6 };
X b[2] = { { 1, 2, 3 }, { 4, 5, 6 } };

     

a和b具有相同的值 -end example]

Answer 2

^{（答案在C ++ 1y中有效，仅！）}

根据“8.5.1汇总”一节第7段（N3691工作草案日期：2013-05-16）

  

7如果列表中的initializer-clause数量少于   聚合中的成员，然后每个成员未明确初始化   应从其支撑或等于初始化器初始化，或者如果有的话   从空的初始化列表中不是大括号或大小写的   （8.5.4）。

在报价下面有一个例子

[ Example: struct S { int a; const char* b; int c; int d = b[a]; }; 
S  ss = { 1, "asdf" };
 initializes ss.a with 1, ss.b with "asdf", ss.c
with the value of an expression of the form int{} (that is, 0), and
ss.d with the value of ss.b[ss.a] (that is, ’s’),

因此，在您的示例中，p.y将由10初始化。