浮点成员是否保证用{}语法初始化为零？

Question

在C 17中，考虑S是一个带有已删除的默认构造函数和浮点成员的结构的情况，当S用空大括号初始化时，标准是否保证浮点成员为零初始化？

struct A {
  int x{};
};

struct S
{
  S() = delete;
 
  A a;
  float b;
};

int main()
{
  auto s = S{}; // Is s.b guaranteed to be zero?
}

在我看来，CPPFerence。com并不清楚，他说：

如果初始值设定项子句的数量小于成员的数量，并且基或初始值设定项列表完全为空，则剩余的成员和基（自C 17起）由其默认成员初始值设定项初始化（如果在类定义中提供），否则（自C 14起）从空列表复制初始化，根据常见的列表初始化规则（使用默认构造函数对非类类型和非聚合类执行值初始化，并对聚合执行聚合初始化）。如果引用类型的成员是这些剩余成员之一，则程序的格式不正确。

（从这里开始），这意味着b保证为零

在所有情况下，如果使用空括号对{}，并且T是聚合类型，则执行聚合初始化，而不是值初始化。

（从这里）

这意味着b不能保证为零。

还有一个讨论似乎暗示，虽然不能保证，但所有已知的编译器无论如何都是零初始化的：

该标准规定，当类具有用户提供或删除的默认构造函数时，即使未通过重载解析选择该默认构造函数，也不会执行零初始化。如果选择了未删除的默认构造函数，则所有已知编译器都会执行额外的零初始化。

相关为什么聚合初始化不再工作，因为C 20如果构造函数显式默认或删除？

Answer 1

由于S是一个聚合，因此S{}将执行聚合初始化。标准中关于在列表中没有初始值设定项时如何初始化成员的规则基本上是您引用的：

• 如果元素具有默认的成员初始值设定项（[class.mem]），则该元素将从该初始值设定项初始化

对于b，这相当于〈代码〉浮点b={} 。根据列表初始化规则，我们必须一直向下到3.10：

否则，如果初始值设定项列表没有元素，则对象为值初始化。

值初始化将浮动初始化为0。

Answer 2

这是C的一个怪癖，固定在C 20中。同时，您可以向已删除的默认构造函数添加显式，以强制该结构成为非聚合结构，并使您的代码成为保证编译错误：

struct A {
  int x{};
};

struct S
{
  explicit S() = delete;
 
  const A a;
  const float b;
};

int main()
{
  auto s = S{}; // error: call to deleted constructor of 'S'
}