C语言中的继承与方法重写：如何实现定义性行为

1. 从基类虚表访问子类虚表 #

你的S_ChildVTable结构体将S_BaseVtable作为第一个成员定义，根据C标准，结构体第一个成员的地址与整个结构体的地址完全相同，且不存在前置填充字节。因此，当基类的pVtable实际指向子类虚表MyChildVTable时，你可以直接将S_BaseVtable*转换为S_ChildVTable*来访问子类虚表的扩展成员：

// 假设pInstance是指向S_Child中BaseClass的指针
S_ChildVTable* pChildVtbl = (S_ChildVTable*)pInstance->pVtable;
// 调用子类独有的虚函数
pChildVtbl->SomeOtherStuff((S_Child*)pInstance);

这种转换完全符合标准，因为指针指向的地址对齐要求满足S_ChildVTable的对齐规则（子类虚表的对齐要求不会低于基类虚表）。

2. 合法将BaseTag*转换为S_Child* #

你可以通过两种方式确保转换及后续解引用的合法性：

方式一：利用结构体布局特性（针对第一个成员） #

由于S_Child的第一个成员是S_Base，C标准明确规定：结构体对象的地址与其第一个成员的地址完全相同，且不会在第一个成员前添加填充字节。因此，当你确定pInstance确实来自S_Child实例中的BaseClass子对象时，直接转换是合法的：

int Child_DoAwesomeStuff(struct BaseTag* pInstance) {
    // 前提：pInstance必须是S_Child实例中BaseClass的指针
    S_Child* pChild = (S_Child*)pInstance;
    return pChild->EvenAwesomerValue;
}

转换后的解引用行为是定义明确的，因为pChild指向的地址对齐满足S_Child的要求（S_Child的对齐要求继承自第一个成员S_Base，不会更低）。

方式二：通用偏移计算（适用于任意位置的基类成员） #

如果后续修改结构体布局，基类成员不在第一个位置，可使用offsetof宏计算偏移量来安全转换，这是更通用的写法：

#include <stddef.h> // 引入offsetof宏

int Child_DoAwesomeStuff(struct BaseTag* pInstance) {
    S_Child* pChild = (S_Child*)((char*)pInstance - offsetof(S_Child, BaseClass));
    return pChild->EvenAwesomerValue;
}

offsetof(S_Child, BaseClass)会返回BaseClass在S_Child中的字节偏移，用基类指针减去偏移量就能得到子类实例的起始地址，这种方式完全符合C标准，不存在未定义行为。

核心：确保S_Base与S_Child的内存对齐 #

根据C11标准6.3.2.3/7的要求，指针转换后必须满足目标类型的对齐规则，否则行为未定义。你可以通过以下机制确保对齐合法性：

1. 依赖结构体的默认对齐规则
   C编译器会自动为结构体选择其成员中最严格的对齐要求（比如S_Base包含指针类型，指针的对齐要求通常是4字节或8字节，取决于平台）。S_Child包含S_Base作为成员，因此S_Child的对齐要求至少与S_Base相同，不会出现对齐不足的情况。

2. 显式指定对齐属性（可选）
   如果需要强制更高的对齐标准，可以使用C11的对齐关键字显式指定结构体的对齐值，比如：

   // 强制S_Base按8字节对齐（GCC/Clang语法）
   typedef struct BaseTag{
       S_BaseVtable* pVtable;
       int AwesomeValue;
   } __attribute__((aligned(8))) S_Base;
   
   // S_Child会自动适配不低于S_Base的对齐要求
   typedef struct ChildTag {
       S_Base BaseClass;
       int EvenAwesomerValue;
   } S_Child;
   

   注意：不同编译器的对齐语法可能略有差异（比如MSVC用__declspec(align(n))），但核心逻辑一致：确保子类的对齐要求不低于基类。

总结来说，只要你的结构体布局满足基类成员是子类的第一个成员（或使用offsetof计算偏移），同时依赖编译器的默认对齐或显式指定对齐，就能完全避免未定义行为。

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