聚合初始化

来自cppreference.com
< cpp‎ | language

从初始化列表初始化聚合体。列表初始化的一种形式。 (C++11 起)

语法

T 对象 = { 实参1, 实参2, ... }; (1)
T 对象 { 实参1, 实参2, ... }; (2) (C++11 起)
T 对象 = { .指派符1 = 实参1 , .指派符2 { 实参2 } ... }; (3) (C++20 起)
T 对象 { .指派符1 = 实参1 , .指派符2 { 实参2 } ... }; (4) (C++20 起)
1,2) 用通常的初始化列表初始化聚合体。
3,4)指派初始化器初始化聚合体。

解释

定义

聚合体 是下列类型之一:

  • 数组类型
  • 符合以下条件的类类型(通常是 structunion
  • 没有用户声明的构造函数
(C++11 前)
(C++11 起)
(C++20 前)
  • 没有用户声明或继承的构造函数
(C++20 起)
  • 没有私有或受保护的直接 (C++17 起)非静态数据成员
(C++17 前)
(C++17 起)
  • 没有虚成员函数
(C++11 起)
(C++14 前)


聚合体的 元素 有:

  • 对于数组,按下标顺序包含所有数组元素,或者,
  • 对于类,按声明顺序包含所有不是匿名位域的非静态数据成员。
(C++17 前)
  • 对于类,按声明顺序包含所有直接基类,然后按声明顺序包含所有不是匿名位域匿名联合体成员的非静态数据成员。
(C++17 起)

过程

聚合初始化的效果是:

1) 拒绝下列非良构场合:
  • 初始化列表中的初始化子句多于聚合体中的元素,或
  • 以空初始化列表({})初始化边界未知的数组。
char cv[4] = {'a', 's', 'd', 'f', 0}; // 错误
int x[] = {};                         // 错误
2) 按以下规则决定 显式初始化元素
  • 如果初始化列表是指派初始化列表(聚合体此时只能具有类类型),每个指派符中的标识符必须指名该类的一个非静态数据成员,并且聚合体中显式初始化元素是这些成员或包含这些成员的元素。
(C++20 起)
  • 否则,如果初始化列表不为空,那么显式初始化元素是聚合体中的前 n 个元素,其中 n 是初始化列表中的元素数量。
  • 否则初始化列表必须为空,并且不存在显式初始化元素。
如果聚合体是联合体并且显式初始化元素不止一个,那么程序非良构:
union u { int a; const char* b; };
 
u a = {1};                   // OK:显式初始化成员 a
u b = {0, "asdf"};           // 错误:显式初始化两个成员
u c = {"asdf"};              // 错误:不能以 "asdf" 初始化 int
 
// C++20 指派初始化列表
u d = {.b = "asdf"};         // OK:可以显式初始化非开头元素
u e = {.a = 1, .b = "asdf"}; // 错误:显式初始化两个成员
3) 按元素顺序 (C++11 起)初始化聚合体中的每个元素。也就是说,给定某个元素,它关联的所有的值计算和副作用都会按顺序早于按顺序在它之后的所有元素关联的所有的值计算和副作用。 (C++11 起)

元素初始化

对于每个显式初始化元素:

  • 如果该元素是匿名联合体成员,并且初始化列表是指派初始化列表,那么该元素会被指派初始化列表 {D} 初始化,其中 D 是指名该匿名联合体成员的成员的指派初始化器子句。只能有一个这样的指派初始化器子句。
struct C
{
    union
    {
        int a;
        const char* p;
    };
 
    int x;
} c = {.a = 1, .x = 3}; // 以 1 初始化 c.a 并且以 3 初始化 c.x
(C++20 起)


  • 否则,该元素会以初始化列表中对应的初始化器子句复制初始化
(C++20 前)
  • 否则,该元素会以初始化列表中对应的初始化器子句初始化。如果初始化列表是指派初始化列表并且初始化器以 = 开始,那么该初始化是直接初始化,否则该初始化是复制初始化
(C++20 起)
  • 如果该初始化器子句是表达式,那么该复制初始化允许隐式转换,但禁止窄化转换 (C++11 起)
  • 如果该初始化器子句是嵌套的 花括号初始化列表 (不是表达式),那么以该子句列表初始化该对应元素,它会 (C++11 起)在该对应元素是子聚合体时递归应用该规则。
struct A
{
    int x;
 
    struct B
    {
        int i;
        int j;
    } b;
} a = {1, {2, 3}}; // 以 1 初始化 a.x,以 2 初始化 a.b.i,以 3 初始化 a.b.j
 
struct base1 { int b1, b2 = 42; };
 
struct base2
{
    base2()
    {
        b3 = 42;
    }
 
    int b3;
};
 
struct derived : base1, base2
{
    int d;
};
 
derived d1{{1, 2}, {}, 4}; // 以  1 初始化 d1.b1,以 2 初始化 d1.b2,
                           //             以 42 初始化 d1.b3,以 4 初始化 d1.d
derived d2{{}, {}, 4};     // 以  0 初始化 d2.b1,以 42 初始化 d2.b2,
                           //             以 42 初始化 d2.b3,以  4 初始化 d2.d


对于不是联合体的聚合体,每个没有显式初始化的元素会按以下规则初始化:

(C++11 起)
  • 否则,如果该元素不是引用,那么以空初始化列表复制初始化该元素。
  • 否则程序非良构。
struct S
{
    int a;
    const char* b;
    int c;
    int d = b[a];
};
 
// 以 1 初始化 ss.a,
// 以 "asdf" 初始化 ss.b,
// 以表达式 int{} 的值(0)初始化 ss.c,
// 以 ss.b[ss.a] 的值('s')初始化 ss.d
S ss = {1, "asdf"};

花括号消除

可消除(省略)环绕嵌套的初始化列表的花括号,这种情况下,使用所需数量的初始化器子句初始化对应的子聚合体的各个成员或元素,而后继的各个初始化器子句被用来初始化对象中的后续成员。然而,如果对象拥有不带任何成员的子聚合体(空结构体,或只保有静态成员的结构体),那么不允许消除花括号而必须使用一个空的嵌套列表 {}

指派初始化器

语法形式 (3,4) 被称为指派初始化器:每个 指派符 必须指名 T 的一个直接非静态数据成员,而表达式中所用的所有 指派符 必须按照与 T 的数据成员相同的顺序出现。

struct A { int x; int y; int z; };
 
A a{.y = 2, .x = 1}; // 错误:指派符的顺序不匹配声明顺序
A b{.x = 1, .z = 2}; // OK:b.y 被初始化为 0

指派初始化器所指名的每个直接非静态数据成员,从它的指派符后随的对应花括号或等号初始化器初始化。禁止窄化转换。

指派初始化器可以用来将联合体初始化为它的首个成员之外的状态。只可以为一个联合体提供一个初始化器。

union u { int a; const char* b; };
 
u f = {.b = "asdf"};         // OK:联合体的活跃成员是 b
u g = {.a = 1, .b = "asdf"}; // 错误:只可提供一个初始化器

对于非联合体的聚合体中未提供指派初始化器的元素,按上述针对初始化器子句的数量少于成员数量时的规则进行初始化(如果提供默认成员初始化器就使用它,否则用空列表进行初始化):

struct A
{
    string str;
    int n = 42;
    int m = -1;
};
 
A{.m = 21}  // 以 {} 初始化 str,这样会调用默认构造函数
            // 然后以 = 42 初始化 n
            // 然后以 = 21 初始化 m

如果以指派初始化器子句初始化的聚合体拥有一个匿名联合体成员,那么对应的指派初始化器必须指名该匿名联合体的其中一个成员。

注意:乱序的指派初始化、嵌套的指派初始化、指派初始化器与常规初始化器的混合,以及数组的指派初始化在 C 编程语言中受支持,但在 C++ 不允许。

struct A { int x, y; };
struct B { struct A a; };
 
struct A a = {.y = 1, .x = 2}; // C 中合法,C++ 中非法(乱序)
int arr[3] = {[1] = 5};        // C 中合法,C++ 中非法(数组)
struct B b = {.a.x = 0};       // C 中合法,C++ 中非法(嵌套)
struct A a = {.x = 1, 2};      // C 中合法,C++ 中非法(混合)
(C++20 起)

字符数组

通常字符类型(charsigned charunsigned charchar8_t (C++20 起)char16_tchar32_t (C++11 起)wchar_t 的数组能分别从通常字符串字面量、UTF-8 字符串字面量 (C++20 起)、UTF-16 字符串字面量、UTF-32 字符串字面量 (C++11 起)或宽字符串字面量初始化,可以以花括号环绕。另外, charunsigned char 的数组可以由 UTF-8 字符串字面量初始化,可用花括号环绕字符串字面量。 (C++20 起)字符串字面量的相继字符(包含隐含的空终止字符)初始化各数组元素。如果数组大小被指定且大于字符串字面量中的字符数,那么剩余字符会被零初始化。

char a[] = "abc";
// 等价于 char a[4] = {'a', 'b', 'c', '\0'};
 
//  unsigned char b[3] = "abc"; // 错误:初始化器字符串太长
unsigned char b[5]{"abc"};
// 等价于 unsigned char b[5] = {'a', 'b', 'c', '\0', '\0'};
 
wchar_t c[] = {L"кошка"}; // 花括号可以省略
// 等价于 wchar_t c[6] = {L'к', L'о', L'ш', L'к', L'а', L'\0'};

注解

聚合类或数组可以包含非聚合的公开基类、 (C++17 起)成员或元素,它们以上述方式初始化(例如从对应的初始化器子句复制初始化)

C++11 前,聚合初始化中曾允许窄化转换,但此后不再被允许。

C++11 前,由于语法限制,聚合初始化只能用于变量定义,而不能用于构造函数初始化列表new 表达式或临时对象创建。

C 中,长度比字符串字面量的大小少一的字符数组可以从字符串字面量初始化;产生的数组是非空终止的。这在 C++ 中不允许。

示例

#include <string>
#include <array>
 
struct S
{
    int x;
 
    struct Foo
    {
        int i;
        int j;
        int a[3];
    } b;
};
 
int main()
{
    S s1 = {1, {2, 3, {4, 5, 6}}};
    S s2 = {1, 2, 3, 4, 5, 6};  // 相同,但有花括号消除
    S s3{1, {2, 3, {4, 5, 6}}}; // 相同,使用直接列表初始化语法
    S s4{1, 2, 3, 4, 5, 6}; // CWG 1270 前错误:花括号消除只能与等号一起使用
 
    int ar[] = {1, 2, 3}; // ar 是 int[3]
//  char cr[3] = {'a', 'b', 'c', 'd'}; // 初始化器子句过多
    char cr[3] = {'a'}; // 数组初始化为 {'a', '\0', '\0'}
 
    int ar2d1[2][2] = {{1, 2}, {3, 4}}; // 完全花括号的 2D 数组: {1, 2}
                                        //                      {3, 4}
    int ar2d2[2][2] = {1, 2, 3, 4}; // 花括号消除: {1, 2}
                                    //             {3, 4}
    int ar2d3[2][2] = {{1}, {2}};   // 仅第一列: {1, 0}
                                    //           {2, 0}
 
    std::array<int, 3> std_ar2{{1, 2, 3}};  // std::array 是聚合体
    std::array<int, 3> std_ar1 = {1, 2, 3}; // 可以消除花括号
 
//  int ai[] = { 1, 2.0 }; // 从 double 到 int 的窄化转换:
                           // C++11 中错误,C++03 中 OK
 
    std::string ars[] = {std::string("one"), // 复制初始化
                         "two",              // 转换,然后复制初始化
                         {'t', 'h', 'r', 'e', 'e'}}; // 列表初始化
 
    union U
    {
        int a;
        const char* b;
    };
    U u1 = {1};         // OK,联合体的首个成员
//  U u2 = {0, "asdf"}; // 错误:用过多的初始化器初始化联合体
//  U u3 = {"asdf"};    // 错误:到 int 的转换无效
 
    [](auto...) { std::puts("废弃无用的变量…… 完成。"); }
    (
        s1, s2, s3, s4, ar, cr, ar2d1, ar2d2, ar2d3, std_ar2, std_ar1, u1
    );
}
 
// 聚合体
struct base1 { int b1, b2 = 42; };
 
// 非聚合体
struct base2
{
    base2() : b3(42) {}
 
    int b3;
};
 
// C++17 里是聚合体
struct derived : base1, base2 { int d; };
 
derived d1{{1, 2}, {}, 4}; // d1.b1 = 1,d1.b2 = 2 ,d1.b3 = 42,d1.d = 4
derived d2{{}, {}, 4};     // d2.b1 = 0,d2.b2 = 42,d2.b3 = 42,d2.d = 4

输出:

废弃无用的变量…… 完成。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
CWG 413 C++98 聚合初始化会初始化匿名位域 忽略它们
CWG 737 C++98 当字符数组被字符数量少于数组大小的字符串初始化时,
尾后 '\0' 后面的数组元素不会被初始化
这些元素会被零初始化
CWG 1270 C++11 只能在复制列表初始化中使用花括号消除 在也可以在其他地方使用
CWG 1518 C++11 声明了 explicit 默认构造函数或有继承构造函数的类可以是聚合体 它不是聚合体
CWG 1622 C++98 不能以 {} 初始化联合体 可以这样初始化
CWG 2272 C++98 会以空初始化列表复制初始化没有显式初始化的非静态引用成员 此时程序非良构
CWG 2610 C++17 聚合体类型不能有私有或受保护的间接基类 可以有
CWG 2619 C++20 从指派初始化器进行的初始化的种类不明确 取决于初始化器的种类
P2513R3 C++20 UTF-8 字符串字面量不能初始化 char
unsigned char 数组,这与 C 或 C++17 不兼容
这种初始化合法

参阅