全零的 C++ 结构初始化

Question

在 C++ 中，如果我以“= {}”的形式初始化结构，如下例所示，它是否确保为结构的所有成员分配零值？ 我理解这个看似重复的问题，但我的问题也是，如果它对所有成员初始化为零，它是否也适用于复杂结构？ 像结构中的结构，或者为此必须在代码中为每个成员显式分配零值？

---

typedef struct s{
      int i;
      bool x;
 };

  int main ()
 {
     s initial = {};
     printf("%d %d", initial.i, initial.x);

 }

编辑：引用复杂结构，

typedef struct scomplex{
    s initial;
    s t[5];
 };
  int main (void)
  {
     scomplex sc = {};
     printf ("%d %d %d",sc.initial.i, sc.initial.x, sc.t[0].i);  
  }

Answer 1

但我的问题也是，如果它对所有成员初始化为零，它是否也适用于复杂结构？

是的，所有成员都会被初始化，包括“复杂”成员，但可能不会初始化为零，最终效果取决于它们的类型。

根据您的示例代码，struct s 是一个聚合类型，然后执行aggregate initialization。

（强调我的）

如果初始化子句的数量小于成员and bases (since C++17)或初始化列表完全为空，则剩余成员and bases (since C++17)由空列表初始化by their default initializers, if provided in the class definition, and otherwise (since C++14)，按照使用通常的list-initialization 规则（使用默认构造函数对非类类型和非聚合类执行值初始化，并为聚合执行聚合初始化）。

对于这种情况，结构s 的成员i 和x 将value initialized 为零。

4) 否则，对象被零初始化。

如果 struct s 有任何其他成员，它们将被空列表递归地初始化（根据其类型初始化值或聚合初始化）。

编辑

对于您添加的样本（结构scomplex），成员initial 将为value initialized，最终效果取决于类型s。另一个成员是一个数组，它将是aggregate initialized，带有空列表，并且数组的所有元素都将被初始化；与成员initial相同，效果取决于s的类型。

Answer 2

问题

这会将所有成员初始化为 0 吗？

typedef struct s{
      int i;
      bool x;
 };

int main ()
{
     s initial = {};
     printf("%d %d", initial.i, initial.x);

}

回答：是的。证明？ Here你可以看到它变成了0。

更好的选择？

这是一个自以为是的部分。但在我的意见 (IMO) 中，使用 {0} 对其进行初始化会比 {} 更具可读性，因为它会将 0 通知给用户。它实际上是用 0 填充的。

s initial = {0};

这叫什么？

这被称为Aggregate Initialization，如Dieter Lücking 所定义，或Value Initialization，如songyuanyao 所述。它基本上是一种初始化形式，您可以在其中使用您想要的值初始化结构。例如，让我们用值 1 而不是 0 来初始化它！你会这样做：

// Example program
#include <stdio.h>
#include <iostream>


typedef struct s{
 int i;
 bool x;
};
    
int main ()
{
   s initial = {1,1};
   printf("%d %d", initial.i, initial.x);
}

您可以在此处查看此编译结果。正如你在上面看到的，我正在做1,1，这是正常的初始化。与 0 初始化相反，您不能像使用 0 那样简单地初始化结构的所有部分。

参考文献

cpprefrence

what is aggregate initialization

What do the following phrases mean in C++: zero-, default- and value-initialization?

词汇表

聚合初始化：

聚合初始化是列表初始化的一种形式，它对聚合进行初始化。

值初始化：

初始化值

这是使用空初始化器构造变量时执行的初始化。