嵌套结构编译器错误的零初始化？

Question

请考虑以下示例：

#include <vector>
#include <stdexcept>

struct A
{
    float a;
    float b;
    float c;
    float d;
};

struct B
{
    A a;
    std::vector<int> b;
};
    

int main() {

    B b{};

    if (b.a.a || b.a.b || b.a.c || b.a.d) throw std::runtime_error("Compiler bug?");
}

如果我理解正确的话，根据https://en.cppreference.com/w/cpp/language/zero_initialization，它不能抛出，因为应该对B：：A执行零初始化，就像对“没有构造函数的值初始化类类型的成员”一样。

如果它抛出，是编译器错误还是我遗漏了什么？

编辑：我在英特尔网站上提交了一个bug:https://community.intel.com/t5/intel-c-compiler/aggregate-initialization-bug-with-nested-struct/td-p/1178228

一位英特尔人士回答说：“我已经向我们的开发人员报告了这个问题。”可怜的开发人员，单枪匹马支持所有的icc开发。

Answer 1

首先：保证对象B.A.A、B.A.B、B.A.C、B.A.D为零初始化。对于float，其初始化为=0；（不一定表示所有位为零）。

b b{}；只在某些情况下转换为零初始化（cppreference页面有点误导）。

在C++14中：因为b是一个聚合，所以这是聚合初始化，每个成员都像通过一个空列表一样被初始化。因此，a a；被初始化为a{}；。A也是一个聚合，因此它的每个元素都像通过空列表一样被初始化，对于内置类型来说，这是零初始化。

在C++98中，规则是不同的，长话短说，b b={}；将调用a的默认构造函数，这使得值未初始化。我们喜欢假装C++98初始化从来不存在，但一些编译器甚至在2010年代仍坚持这些规则。

因此，对于运算符是否保证零初始化的浮点数充当false，可能会有一些争论，请参见将浮点数与零进行比较。

标准规定“零值、空指针值或空成员指针值将转换为false”。这并不是100%精确，但是IMO零初始化的float应该为此被计算为“零值”。