c++20的指定初始化(Designated Initializers)怎么用_c++ C风格结构体初始化

C++20引入指定初始化,支持通过.成员名赋值,提升可读性与安全性;仅适用于聚合类型,不可混用非指定初始化,支持嵌套,未显式初始化成员被默认初始化。

在C++20中引入的指定初始化(Designated Initializers),允许你像C语言那样,通过字段名来初始化结构体成员,提高了代码的可读性和安全性。这种语法借鉴自C99,但在C++中直到C++20才被正式支持。

基本用法

你可以使用.成员名的方式来为结构体中的特定成员赋初值,未指定的成员会被默认初始化(如为0或调用默认构造)。

示例:

struct Point {
    int x;
    int y;
    int z;
};

// C++20 指定初始化
Point p1 = { .x = 1, .y = 2 }; // z 被初始化为 0
Point p2 = { .z = 5, .x = 3 }; // y 被初始化为 0

与C风格结构体初始化对比

C语言中早已支持类似语法:

// C语言写法(C99起)
struct Point p = { .x = 1, .y = 2 };

C++20以前只能按顺序初始化:

Point p = {1, 2}; // 依赖成员顺序,易出错

现在C++20允许更清晰的方式,不依赖声明顺序,也更安全。

限制和注意事项

  • 只能用于聚合类型(aggregate types),比如普通结构体、类(无用户定义构造函数、无虚函数、无基类等)
  • 不能重复指定同一个成员:{ .x = 1, .x = 2 } 是错误的
  • 可以混合使用指定初始化和非指定初始化吗?不可以。要么全部用指定,要么都不用(C++20不允许混用)
  • 支持嵌套指定初始化

嵌套示例:

struct Color {
    int r, g, b;
};

struct Vertex {
    Point pos;
    Color col;
};

Vertex v = {
    .pos = { .x = 1, .y = 2, .z = 3 },
    .col = { .r = 255, .g = 0 }
};

总结

C++20的指定初始化让结构体初始化更清晰、更安全,尤其适合字段多或部分初始化的场景。它与C风格语法高度一致,便于从C迁移代码,但需注意仅适用于聚合类型且不能混用指定与非指定方式。

基本上就这些,用起来简单但容易忽略细节。