在C++的早期标准中，联合体（union）被设计为只能包含成员变量，不能定义任何成员函数，功能相对受限。但随着C++11标准的发布，这一限制被放开，联合体正式支持定义成员函数，包括构造函数、析构函数、普通成员方法等，这让联合体的使用场景得到了扩展。
联合体定义成员函数的基本规则
联合体的成员函数定义方式和结构体类似，可以在联合体内部直接声明并定义，也可以在外部定义。以下是一个简单的示例，展示联合体包含普通成员函数的写法：
#include <iostream>
#include <cstring>
union Data {
int int_val;
char str_val[20];
// 联合体内部的成员函数，初始化int成员
void set_int(int val) {
int_val = val;
}
// 联合体内部的成员函数，打印当前激活的成员值
void print_val() {
// 注意：这里默认认为int_val是激活的，实际使用中需要额外标记
std::cout << "当前int值: " << int_val << std::endl;
}
};
int main() {
Data d;
d.set_int(100);
d.print_val();
return 0;
}
联合体成员函数的特殊限制
虽然联合体可以拥有成员函数，但因为联合体所有成员共享同一块内存空间，所以成员函数的使用存在特殊限制：
- 成员函数不能访问未激活的联合体成员，否则会产生未定义行为。比如上面的示例中如果先给str_val赋值，再调用print_val访问int_val，结果是不确定的。
- 如果联合体包含非平凡类型的成员（比如带有自定义构造函数、析构函数的类类型），那么联合体需要自定义构造函数和析构函数来管理这些成员的生命周期。
- 联合体的成员函数不能是虚函数，因为联合体不支持虚函数表机制。
带非平凡类型成员的联合体成员函数示例
当联合体包含需要特殊生命周期管理的成员时，成员函数需要配合构造函数、析构函数使用，以下是一个包含字符串类的联合体示例：
#include <iostream>
#include <string>
union StrUnion {
std::string str; // 非平凡类型成员
int num;
// 自定义构造函数，初始化num成员
StrUnion(int n) : num(n) {}
// 自定义构造函数，初始化str成员
StrUnion(const char* s) : str(s) {}
// 析构函数，需要手动销毁激活的非平凡类型成员
~StrUnion() {
// 这里需要额外标记当前激活的是哪个成员，否则无法确定是否调用str的析构函数
// 实际场景中通常会配合一个标记变量使用
}
// 成员函数，设置字符串值
void set_str(const char* s) {
// 需要先销毁当前可能激活的str成员，再重新构造
new (&str) std::string(s);
}
// 成员函数，打印字符串值
void print_str() {
std::cout << "字符串内容: " << str << std::endl;
}
};
int main() {
StrUnion u("hello");
u.print_str();
// 切换到num成员前需要先销毁str
u.str.~basic_string<char>();
u.num = 200;
std::cout << "数值: " << u.num << std::endl;
return 0;
}
联合体成员函数的使用建议
在实际开发中，如果需要给联合体添加成员函数，建议遵循以下原则：
- 尽量只为联合体添加简单的工具类成员函数，避免复杂的逻辑，因为联合体的核心作用是内存共享，复杂逻辑会模糊其设计意图。
- 如果联合体包含多个不同类型的成员，一定要添加明确的标记变量，记录当前激活的是哪个成员，避免成员函数访问错误的成员。
- 对于包含非平凡类型成员的联合体，成员函数需要严格配合构造函数、析构函数完成成员的生命周期管理，避免内存泄漏。
总结：C++的联合体从C++11开始是可以拥有成员函数的，但使用时需要充分考虑联合体的内存共享特性，避免触发未定义行为，合理设计成员函数的逻辑才能发挥其价值。