聚合的 C 初始值设定项列表何时需要外括号？

在聚合和 POD 结构的初始化列表中省略外大括号的混乱

在 C 编程领域，出现一个常见问题，关于在初始化列表中使用大括号。具体来说，程序员可能会遇到这样的情况：某些聚合类型似乎需要外大括号，但其他聚合类型则不需要。本文旨在更深入地探讨该主题，并澄清何时可以省略外大括号。

问题

在 Visual C 2010 中编译以下代码时，生成错误消息：

struct A
{
    int foo;
    double bar;
};

std::array<A, 2> a1 = 
  // error C2078: too many initializers
  {
    {0, 0.1},
    {2, 3.4}
  };

// OK
std::array<double, 2> a2 = {0.1, 2.3};

该错误表明 a1 的初始值设定项太多，表明需要额外的大括号。但是，省略 a2 的外大括号不会导致错误。这种差异提出了为什么 a1 需要外括号而不是 a2 的问题。

解释

理解这种差异背后原因的关键在于std::array 的性质。 std::array 被分类为聚合和普通旧数据类型 (POD)，而其他标准库容器则不然。与具有用户定义构造函数的容器不同，std::array 没有。它的第一个数据成员是一个大小为 N 的数组，指定为模板参数。该数据成员使用初始化列表直接初始化。额外的大括号是必要的，因为它们包含正在初始化的内部数组。

为了进一步说明这个概念，请考虑自定义聚合类型 Aarray，定义如下：

// Custom aggregate with no user-defined constructor
struct Aarray
{
   A data[2];  // An internal array
};

初始化此结构需要使用大括号来表示内部数组的开始和结束初始化：

Aarray a1 =
{
  {  // Begins initialization of the internal array

        { // Initializes the first element of the internal array

           0, 0.1

        }, // Ends initialization of the first element

       {2, 3.4}  // Initializes the second element of the internal array

  } // Ends initialization of the internal array
};

// ERROR: Too many initializers if not using braces
Aarray b1 =
{
   0, 0.1,
   2, 3.4
};

Double 的情况

对于 std::array 的情况有所不同，因为 double 不是聚合类型。相反，std::array被视为基元的聚合。以下代码在没有外部大括号的情况下也是有效的，因为原始值是在聚合内直接初始化的：

std::array<double, 2> a2 = {0.1, 2.3};

大括号用法的澄清

C 标准提供了有关以下方面的指南在初始化列表中使用大括号。 C 11 规范的第 §8.5.1/11 节规定，如果初始值设定项列表以左大括号开头，则每个后续的以逗号分隔的初始值设定项子句列表都会初始化子聚合的成员。另一方面，如果子聚合的初始值设定项列表不以左大括号开头，则将仅采用足够的初始值设定项子句来初始化子聚合成员，而任何剩余的初始值设定项子句则初始化下一个聚合成员。

结论

在初始化列表中使用外大括号对于聚合和 POD 结构（例如 std::array）至关重要，因为这些类型没有用户定义的构造函数，并且内部数组是直接初始化的。另一方面，对于原始类型，可以省略外部大括号，因为原始值是在聚合内直接初始化的。通过了解这些情况之间的差异，程序员可以确保正确的初始化并避免编译器错误。

以上是聚合的 C 初始值设定项列表何时需要外括号？的详细内容。更多信息请关注PHP中文网其他相关文章！