初始化看似是C++中最基础的操作，但结构体和联合体的初始化方式远比想象中丰富。从最传统的聚合初始化，到C++11引入的统一初始化语法，再到C++20的指定初始化器，每一种方式都有其适用场景和隐藏细节。联合体则因为内存布局的特殊性，初始化不当会直接导致未定义行为。本文将围绕结构体和联合体的初始化展开，从基础语法到进阶技巧逐一分析。
结构体的几种主流初始化方式
结构体在C++中是最常见的自定义类型之一，它的初始化方式经历了多次演进。最经典的方式是聚合初始化，也就是用一对大括号按顺序列出所有成员的初始值。这种方式要求数据成员的声明顺序与初始化列表的顺序一致，如果类型不匹配，编译器会尝试隐式转换，转换失败则报错。
C++11引入了统一初始化语法，使得初始化形式更加一致。同时，值初始化和默认初始化的区分也值得注意：Point p{}会将所有成员初始化为零值，而Point p;在局部作用域中成员是未初始化的，读取它们是未定义行为。这是实际工程中非常常见的bug来源。
struct Point {
int x;
int y;
};
int main() {
Point p1{1, 2}; // 聚合初始化，推荐写法
Point p2 = {3, 4}; // 等价写法
Point p3{}; // 值初始化，x 和 y 均为 0
Point p4; // 默认初始化，成员值未定义，不要直接读取
return 0;
}
当结构体包含私有成员或者提供了构造函数时，它就不再是聚合类型，此时大括号初始化会转而调用匹配的构造函数。这种情况下应该使用构造函数初始化列表，而不是在构造函数体内赋值。初始化列表直接完成成员的构造，避免了先默认构造再赋值的额外开销，对于std::string这类非平凡类型尤其重要。
struct Rectangle {
private:
int width;
int height;
public:
Rectangle(int w, int h) : width(w), height(h) {}
int area() const { return width * height; }
};
Rectangle r{10, 20}; // 调用构造函数，而不是聚合初始化
C++20指定初始化器的妙用
当一个结构体的成员数量较多，或者成员之间存在语义差异时，按位置初始化的可读性会明显下降。C++20引入了指定初始化器，允许显式指定每个成员的名字，代码意图一目了然，也避免了成员顺序调整导致的隐蔽错误。
struct ServerConfig {
std::string host;
int port;
int timeout_seconds;
bool use_tls;
};
ServerConfig cfg{
.host = "127.0.0.1",
.port = 8080,
.timeout_seconds = 30,
.use_tls = true
};
使用指定初始化器有几个必须遵守的规则：指定的成员必须按照声明的顺序出现，不能跳跃或乱序；不能与位置初始化混用，例如{.host = "a", 8080}是非法的；指定初始化器要求结构体是聚合类型。此外，未被指定的成员会进行值初始化，也就是自动置零或调用默认构造，这一点比纯位置初始化更安全，因为遗漏的成员不会处于未定义状态。
对于C++20之前的代码，如果需要类似效果，常见做法是给结构体提供默认成员初始化值，或者封装一个工厂函数。默认成员初始化值的写法如下：
struct ServerConfig {
std::string host = "127.0.0.1";
int port = 8080;
int timeout_seconds = 30;
bool use_tls = false;
};
ServerConfig cfg; // 所有成员使用默认值，无需手动填写
这种默认成员初始化配合C++11就可用，与指定初始化器结合使用时还能实现部分覆盖的效果，工程价值很高。
联合体初始化的特殊性与常见陷阱
联合体的所有成员共享同一块内存，同一时刻只有一个成员是活跃的。初始化联合体时，大括号中的第一个初始化器对应的是第一个声明的成员，其他成员在初始化时不参与。理解这一点是避开陷阱的关键。
union Value {
int i;
float f;
};
Value v{42}; // 初始化成员 i，此时 i 是活跃成员
// v.f = 1.5f 之后，f 成为活跃成员，此时读取 v.i 是未定义行为
读取非活跃成员在标准中属于未定义行为，虽然很多编译器在实践中允许这种类型双关操作，但依赖它是不可移植的。如果确实需要安全的类型双关，C++17之后推荐使用std::bit_cast，或者在需要同时访问多种表示时改用结构体加标签的组合。
当联合体包含非平凡类型成员时，情况更复杂。此时联合体不再支持简单的大括号初始化，必须显式提供构造函数，并通过放置new等方式手动激活某个成员，析构时也要显式调用活跃成员的析构函数。标准库中的std::variant就是为解决这类问题而设计的，它在内部管理活跃成员的生命周期，访问时通过std::get或std::get_if进行类型检查，从根本上消除了未定义行为的风险。
#include <variant>
#include <string>
#include <iostream>
std::variant<int, std::string> data{std::string("hello")};
int main() {
if (auto p = std::get_if<std::string>(&data)) {
std::cout << *p << std::endl; // 安全访问，无需担心活跃成员
}
return 0;
}
另外需要注意，匿名联合体常被嵌入结构体中实现类似标签联合的数据结构。初始化包含匿名联合体的结构体时，初始化器会自动传递给联合体的第一个成员，配合指定初始化器可以写出非常清晰的配置代码。
大括号与小括号初始化的区别
C++11之后，Point p{1, 2}和Point p(1, 2)在多数场景下效果相同，但两者存在本质差异。大括号初始化禁止窄化转换，例如Point p{1.5, 2}会直接编译报错，而小括号初始化可能静默截断小数部分，这既是保护也是约束。
大括号初始化的另一个坑是解析歧义。当类型名可以和另一个名字冲突时，Point p(1)可能被解析为函数声明，这就是著名的最令人烦恼的解析问题，而Point p{1}则总是对象初始化。基于这些特性，现代C++的通用建议是：默认优先使用大括号初始化，只有在需要明确调用std::vector带大小和初值的构造函数等特殊场景时，再刻意选择小括号形式。例如std::vector<int> v(5, 1)创建五个值为1的元素，而std::vector<int> v{5, 1}创建两个元素5和1，语义完全不同，务必区分清楚。
总结来说，结构体初始化优先考虑聚合初始化配合C++20指定初始化器，非聚合类型使用构造函数初始化列表；联合体初始化要牢记只有一个活跃成员的原则，复杂场景直接使用std::variant替代。掌握这些技巧后，初始化相关的隐蔽bug将大幅减少，代码可读性也会显著提升。