GLib/GTK指针强制转换操作在C和C++中是否属于未定义行为？

C语言中的转换合法性 #

这种转换在C中完全符合语言规范，不属于未定义行为。
C标准（C11 §6.7.2.1 第15款）明确规定：一个结构体的指针经过适当转换后，可以指向它的首个成员，反之亦然。只要Child结构体的首个成员是Parent类型，二者的内存起始地址完全重合，将Child*强制转换为Parent*访问是合法的，GLib的模拟继承逻辑完全是基于C标准的这条特性设计的。

C++中的转换合法性 #

这种转换在C++中是否合法取决于两个结构体是否属于标准布局类型（Standard-layout Type）：

• 如果两个结构体都是标准布局类型（简单理解就是符合C语言结构体的内存布局规则，没有虚函数、虚基类、不同访问权限的非静态成员等），那么C++标准同样支持将指向标准布局类的指针reinterpret_cast为它首个非静态成员的指针，行为是明确定义的。
• 如果结构体不是标准布局类型（比如添加了虚函数、虚继承等C特性），那这种转换就属于未定义行为。
  而GLib/GTK的所有类型都是纯C实现的，本身就是标准布局类型，因此在C中调用GTK接口时做这类转换也是合法的。

GTK类型转换宏的实现逻辑 #

GTK提供的GTK_WIDGET这类转换宏没有特殊黑魔法，底层主要做了两步操作：

• 运行时类型校验：基于GLib的GType类型系统，校验传入的指针是否真的属于目标类型的派生类，避免非法类型转换，只有校验通过才会执行后续转换。
• 指针转换：本质还是利用首成员地址重合的特性做强制类型转换，没有额外的内存操作。
  这类宏只是把校验+转换的逻辑封装起来，既提升了易用性也避免了手动转换容易写错的问题，转换本身的合法性还是依赖前面提到的C/C++标准的布局规则，没有突破语言规范。

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