未初始化为 0 的对象数组

Question

我正在尝试像这样用 0 初始化一个对象数组（更复杂项目的简化代码）：

#include <iostream>

struct Vector {
    float s[4];
    Vector() {}
    static Vector zero() {
        Vector v;
        v.s[0] = 0;
        v.s[1] = 0;
        v.s[2] = 0;
        v.s[3] = 0;
        return v;
    }
};

struct Test {
    Vector v[4] = { Vector::zero() };
};


int main(int argc, char** argv)
{
    Test t;
    for (int i = 0; i < 4; i++) {
        printf("%f %f %f %f\n", t.v[i].s[0], t.v[i].s[1], t.v[i].s[2], t.v[i].s[3]);
    }
    return 0;
}

此代码应打印全 0，但有时会打印不同的值。看起来只有数组的第一个元素被初始化。但是如果我写 float x[4] = { 0 }，那么数组 x 的所有元素都用 0 初始化。有什么区别，我可以在 C++ 标准的什么地方了解这种行为？

Answer 1

我想你可能想看看这里：https://en.cppreference.com/w/cpp/language/aggregate_initialization

与

Vector v[4] = { Vector::zero() };

您初始化第一个元素，其他 3 个通过调用未初始化数组的默认 ctor 进行初始化（默认 ctor 的主体为空）。

用

替换数组声明的开头

float s[4]{};

这将对数组进行值初始化，将其归零。然后你可以删除其他所有内容。

读值初始化和零初始化的关系请参考https://en.cppreference.com/w/cpp/language/value_initialization

此外，正如用户 Kenny Ostrom 在 cmets 中所指出的，您可能需要考虑使用 std::array，请记住您仍需要对其进行值初始化，请参阅 Default initialization of std::array?。 最后，如 cmets 中所述，对 x[4] 的访问是未定义行为。