C++结构体初始化列表是日常编码中高频使用的语法特性，但真正理解它的人并不多。同样是花括号，写在变量定义处和写在构造函数里含义完全不同；同样是初始化，聚合类型和非聚合类型走的是两条完全不同的路径。这篇文章把常见的写法梳理一遍，重点讲清楚指定初始化器、构造函数初始化列表、成员初始化顺序这几个容易踩坑的点，并配上可以直接编译运行的代码。
聚合初始化：花括号能直接用的前提条件
最简单的写法是直接用花括号按顺序给成员赋值，这在C++里叫做聚合初始化。但花括号不是随便就能用的，编译器要求这个结构体必须是一个聚合类型。判断标准说起来不复杂：结构体不能有用户声明的构造函数、不能有private或protected的非静态成员、不能有虚函数、不能继承自非聚合基类。一旦违反其中任何一条，花括号初始化就会编译报错。
struct Point {
int x;
int y;
};
Point p1{1, 2}; // C++11起合法，禁止窄化转换
Point p2 = {3, 4}; // 传统写法，等价
Point p3{1.5, 2}; // 编译错误：double到int是窄化转换
Point p4{}; // 所有成员零初始化，x和y都是0注意上面第三行，用{}初始化内置类型时会执行窄化检查，1.5转成int会直接报错，而用小括号Point p4(1.5, 2)反而是合法的（前提是有对应构造函数）。这是花括号和小括号的一个重要区别：花括号更严格，能帮你在编译期拦住精度丢失问题。另外Point p{}这种空花括号写法会把所有成员零初始化，比Point p;的未初始化状态安全得多，建议声明结构体变量时优先用这种写法。
C++20指定初始化器：按名字初始化成员
按位置初始化有个天然的缺陷：成员一多就容易写错顺序，代码可读性也差。C++20引入了指定初始化器，允许直接指定成员名字，这是从C语言借鉴来的特性，但在C++里限制更多。
struct Config {
int width;
int height;
bool debug;
const char* name;
};
Config cfg{
.width = 1920,
.height = 1080,
.debug = true,
.name = "server"
};使用指定初始化器有几条硬性规则必须记牢。第一，初始化顺序必须和成员声明顺序一致，先写.height再写.width会直接编译报错，这一点和C语言不同，C语言允许乱序。第二，可以跳过某些成员不写，被跳过的成员执行值初始化，也就是置零。第三，指定初始化器不能和位置初始化混用，{.width = 1, 2, 3}这种写法是非法的。第四，结构体必须仍是聚合类型，加了构造函数就完蛋。
这个特性在有十几个配置项的结构体上价值特别明显。比如网络配置结构体里有端口、超时、重试次数等一堆int成员，位置初始化写出来一堆裸数字，维护的人根本不知道哪个是哪个，指定初始化器直接把名字写出来，可读性完全不在一个档次。如果你的编译器还不支持C++20，可以退而求求其次，在定义成员时直接给默认值：
struct Config {
int width = 1920; // C++11起支持成员默认初始化
int height = 1080;
bool debug = false;
};这种写法配合空花括号Config cfg{}，能让所有成员取到默认值，效果上接近指定初始化器，而且兼容性更好。需要注意的是，一旦有了默认成员初始化器，C++11和C++14标准下这个结构体就不再属于聚合类型，直到C++14才放开这个限制，C++11下会报错，实际项目中要留意编译器的标准版本设置。
构造函数初始化列表：非聚合类型必走的路
当结构体里出现了const成员、引用成员，或者你主动添加了构造函数，花括号直接初始化就行不通了，必须走构造函数初始化列表。这里有个非常经典的坑：成员的初始化顺序由声明顺序决定，和你在初始化列表里写的顺序无关。
struct Widget {
int size;
int* data;
Widget(int n)
: data(new int[n]), size(n) // 危险：size还没初始化
{
// 如果new int[n]中n已经初始化就没事
// 但这里初始化顺序是先size后data，实际是安全的
}
};
struct Bad {
int len;
int* buf;
Bad(int n) : len(n), buf(new int[len]) {} // 未定义行为
};上面Bad这个例子是真正的坑：初始化列表里先写len后写buf，看起来len会先初始化，但实际执行顺序取决于声明顺序。因为len声明在buf前面，所以这里恰好是安全的。但如果你把声明顺序反过来，buf声明在len前面，那么new int[len]执行时len还是未初始化的垃圾值，直接造成未定义行为，而且这种bug在调试版本下可能一切正常，发布版本才崩，排查起来非常痛苦。
规避办法很简单：始终保持初始化列表的书写顺序和成员声明顺序一致，编译器开启-Wreorder警告（GCC和Clang都支持）后，顺序不一致会给出提示。另外还要理解初始化列表和构造函数体内赋值的本质区别：初始化列表是真正的初始化，对const成员和引用成员来说是唯一选择；而函数体内赋值是先默认构造再赋值，对类类型成员会多一次默认构造的开销。
struct Counter {
const int id; // const成员只能通过初始化列表初始化
int& ref; // 引用成员同样只能走初始化列表
Counter(int i, int& r) : id(i), ref(r) {}
// Counter(int i, int& r) { id = i; } // 编译错误
};嵌套结构与特殊场景处理
实际项目中结构体往往嵌套使用，比如一个窗口结构体里包含一个Point和一个Size。嵌套聚合的花括号初始化支持嵌套写法，也可以对内层成员直接展开，两种方式都合法：
struct Rect {
struct { int x, y; } pos;
struct { int w, h; } size;
};
Rect r1{{{10, 20}, {100, 50}}}; // 嵌套写法
Rect r2{10, 20, 100, 50}; // 展开写法，C++20前也支持
Rect r3{.pos{.x = 10, .y = 20}, .size{.w = 100, .h = 50}}; // C++20展开写法虽然省事，但嵌套层级一深就容易出错，推荐在C++20环境下统一使用指定初始化器，层次清晰。还有一种常见需求是结构体数组初始化，写法上是每个元素一组花括号，缺省的部分自动补零：
Point pts[3] = {
{1, 2},
{3, 4} // 第三个元素整体零初始化
};最后提醒几个实践要点：返回临时结构体时优先用花括号构造，比如return {x, y};，编译器会自动推导类型；把结构体作为函数参数时，void draw(Point p)配合调用处draw({10, 20})能让代码更简洁；涉及std::vector等容器时，花括号和圆括号含义不同，std::vector<int> v{3, 5}是两个元素3和5，而std::vector<int> v(3, 5)是三个5，这个差异一定要分清。掌握这些细节，结构体初始化这块基本就不会再踩坑了。