1.6、聚合初始化增强
什么是聚合初始化？
先从基础说起。聚合初始化是C++11引入的一种初始化方式，允许你用大括号 {} 直接给结构体（或者数组）成员赋值，而不需要写构造函数。比如：
struct Point {
int x;
int y;
};
Point p{1, 2}; // 直接用列表初始化成员x=1, y=2这让代码更简洁，尤其是对简单的纯数据结构（聚合类型）来说，初始化变得直观且高效。
C++11聚合初始化的限制
但C++11对聚合初始化的定义比较严格，聚合类型必须满足：
- • 没有用户定义的构造函数
- • 没有私有或受保护的非静态数据成员
- • 没有虚函数和虚基类
- • 没有默认成员初始化器（即成员不能在声明时赋默认值）
因为默认成员初始化器（NSDMI，Non-Static Data Member Initializers）一旦出现，类就不再被视为聚合类型，聚合初始化就不能用了。
C++14中聚合初始化增强的核心变化
C++14取消了“聚合类型不能有默认成员初始化器”的限制。换句话说，允许聚合类型的成员在声明时就赋默认值，同时依然可以用聚合初始化方式初始化对象。
举个例子：
struct S {
int i = 1;
int j = 2;
};
S s1{}; // i=1, j=2，默认成员初始化器生效
S s2{42}; // i=42, j=2，聚合初始化，j用默认值这在C++11中是不允许的，因为有默认成员初始化器，S就不是聚合类型了，不能用聚合初始化。
这带来了什么好处？
- • 初始化更灵活：你可以给成员设置合理的默认值，减少初始化时的重复代码。
- • 保持聚合初始化简洁：依然可以用列表初始化语法，且默认成员初始化器作为“兜底”方案，只在没有显式初始化时生效。
- • 代码维护性提升：默认值和成员声明放在一起，更直观，减少构造函数重载的复杂性。
深度案例解析
#include <iostream>
struct Config {
int width = 800;
int height = 600;
bool fullscreen = false;
};
int main() {
Config c1{}; // 使用默认值：width=800, height=600, fullscreen=false
Config c2{1024, 768}; // width=1024, height=768, fullscreen=false
Config c3{1280, 720, true}; // 全部显式初始化
std::cout << "c1: " << c1.width << ", " << c1.height << ", " << c1.fullscreen << "\n";
std::cout << "c2: " << c2.width << ", " << c2.height << ", " << c2.fullscreen << "\n";
std::cout << "c3: " << c3.width << ", " << c3.height << ", " << c3.fullscreen << "\n";
return 0;
}代码底层细节讲解
- • 当
Config c1{}时，聚合初始化列表为空，所有成员都没被显式初始化，编译器会使用成员声明时的默认值（800、600、false）进行初始化。 - • 当
Config c2{1024, 768}时，聚合初始化会依次用1024初始化width，768初始化height，而fullscreen没有提供初始化值，使用默认成员初始化器false。 - • 当所有成员都显式初始化时，默认成员初始化器被覆盖。
底层上，聚合初始化本质是直接对内存进行逐成员赋值，默认成员初始化器则是在编译器生成的默认构造函数中对成员赋初值。C++14允许两者共存，编译器在聚合初始化时优先使用显式提供的值，缺省时才调用默认成员初始化器。
这种设计避免了传统构造函数的复杂性，且性能上没有额外开销，因为聚合初始化是编译器直接展开的内存赋值。
常见错误及避免
- • 误以为默认成员初始化器总是生效：如果聚合初始化时显式提供了某个成员的值，默认成员初始化器不会生效，可能导致预期外的值。
- • 嵌套聚合未完全初始化：嵌套聚合成员如果没有显式初始化，默认成员初始化器才会生效，否则可能出现未初始化的成员。
- • 误用非聚合类型：如果类有用户定义的构造函数或私有成员，聚合初始化不适用，编译器会报错。
总结
C++14对聚合初始化的增强虽然看似小改动，但实则极大地提升了聚合类型的灵活性和易用性。它让默认成员初始化器和聚合初始化两者“和平共处”，既保持了代码简洁直观，又避免了构造函数的臃肿，符合现代C++追求简洁、高效、表达力强的设计哲学。
对于学习者来说，理解这一点能帮助你写出更简洁且易维护的代码，尤其是在设计纯数据结构或配置类时。牢记：聚合初始化优先使用显式初始化值，默认成员初始化器作为补充兜底，二者协同工作，提升代码的健壮性和可读性。
本文首发于【讳疾忌医-note】公众号，未经授权，不得转载。
（加入我的知识星球，免费获取账号，解锁所有文章。）
