C++11环境下通过指针访问Union中派生类成员函数异常问题排查与解决咨询

你的问题本质是未定义行为：在C中，包含非平凡类型（比如带有虚函数的类，这类类的构造/析构函数是非平凡的）的union，必须显式管理成员对象的生命周期——你直接对union中未构造的cDerivedB对象执行赋值操作，违反了C的对象生命周期规则，导致虚表指针（vptr）处于无效状态，最终在动态调用虚函数时触发内存访问异常（ESP8266的错误码28对应LoadProhibited，即访问了非法内存地址）。

为什么直接调用没问题，指针调用崩溃？ #

• 直接调用Data->DataUnion.DerivedB.methodA()时，编译器采用静态绑定：它明确知道你调用的是cDerivedB类的methodA，会直接生成调用该函数的机器码，完全不需要访问对象的虚表指针（vptr），因此即使对象未正确构造，也能“碰巧”执行正确的函数逻辑。
• 而通过指针DerivedB->methodA()调用时，编译器采用动态绑定：它需要读取对象的vptr来找到虚表中methodA的实际地址。但由于union中的cDerivedB对象从未被正确构造，vptr可能是未初始化的垃圾值，或者指向了非法内存区域，因此触发了内存访问异常。

要在union中安全使用带虚函数的类，必须显式调用构造函数初始化对象，并在切换union成员时调用析构函数清理旧对象。具体步骤如下：

1. 完善sData的生命周期管理逻辑 #

修改sData的构造函数、赋值运算符，添加便捷方法用于设置不同派生类对象，确保每次切换union成员时，先析构旧对象，再用placement new在union的内存空间上构造新对象：

struct sData{
 enum eDataType{ eunkown, eDerivedA, eDerivedB, eDerivedC } DataType;
 union uUnion{
 cDerivedA DerivedA;
 cDerivedB DerivedB;
 cDerivedC DerivedC;
 ~uUnion(){};
 uUnion(){};
 } ;
 uUnion DataUnion;

 sData(void): DataType(eunkown){};
 sData(const sData &Data){ 
 DataType = eunkown;
 *this = Data; // 复用赋值逻辑
 }

 // 重载赋值运算符，管理对象生命周期
 sData& operator=(const sData &Data){
 if(this == &Data) return *this;

 // 先析构当前已存在的对象
 if(DataType != eunkown){
 switch(DataType){
 case eDerivedA: DataUnion.DerivedA.~cDerivedA(); break;
 case eDerivedB: DataUnion.DerivedB.~cDerivedB(); break;
 case eDerivedC: DataUnion.DerivedC.~cDerivedC(); break;
 default: break;
 }
 }

 // 构造新对象
 DataType = Data.DataType;
 switch(DataType){
 case eDerivedA: 
 new (&DataUnion.DerivedA) cDerivedA(Data.DataUnion.DerivedA); 
 break;
 case eDerivedB: 
 new (&DataUnion.DerivedB) cDerivedB(Data.DataUnion.DerivedB); 
 break;
 case eDerivedC: 
 new (&DataUnion.DerivedC) cDerivedC(Data.DataUnion.DerivedC); 
 break;
 case eunkown: break;
 }
 return *this;
 }

 // 便捷方法：设置DerivedB对象
 void setDerivedB(const cDerivedB& src){
 // 清理旧对象
 if(DataType != eunkown){
 switch(DataType){
 case eDerivedA: DataUnion.DerivedA.~cDerivedA(); break;
 case eDerivedB: DataUnion.DerivedB.~cDerivedB(); break;
 case eDerivedC: DataUnion.DerivedC.~cDerivedC(); break;
 default: break;
 }
 }
 // 构造新对象
 new (&DataUnion.DerivedB) cDerivedB(src);
 DataType = eDerivedB;
 }

 // 析构函数：清理当前对象
 ~sData(){
 if(DataType != eunkown){
 switch(DataType){
 case eDerivedA: DataUnion.DerivedA.~cDerivedA(); break;
 case eDerivedB: DataUnion.DerivedB.~cDerivedB(); break;
 case eDerivedC: DataUnion.DerivedC.~cDerivedC(); break;
 default: break;
 }
 }
 };
};

2. 修改setup中的赋值逻辑 #

不再直接赋值，而是调用我们添加的setDerivedB方法，确保对象被正确构造：

void setup(){
 Serial.begin(9600);
 delay(2000);
 sData Data;
 cDerivedB DerivedB1;
 DerivedB1.i=1;
 DerivedB1.ii=2;
 Data.setDerivedB(DerivedB1); // 使用新方法设置对象
 DataFunction(&Data);
}

3. 验证指针调用 #

此时DataFunction中的指针调用DerivedB->methodA()就能正常执行，因为union中的cDerivedB对象已经被正确构造，vptr指向了合法的虚表地址。

C11确实允许union包含非平凡类型（比如带虚函数的类），但这并不意味着可以像使用普通结构体一样随意操作——你必须手动管理这些成员的构造和析构，因为union的默认构造/析构函数不会自动调用非平凡成员的构造/析构函数。如果跳过这一步，就会触发未定义行为，这不是编译器的缺陷，而是C对象模型的必然要求。

内容的提问来源于stack exchange，提问作者HubertMaier