为何在C语言中对指针成员调用offsetof()属于非法操作？

首先纠正一个误解：对结构体的指针成员调用offsetof并非非法行为，它完全符合C标准的合法操作。你的困惑主要来自两个核心点：对结构体内存填充的认知偏差，以及对offsetof实现逻辑的误解。

一、结构体内存对齐（填充）的影响 #

你给出的示例代码中，struct foo包含一个4字节的int a和一个指针成员int *ptr。在32位架构下指针尺寸同样是4字节，但运行offsetof(struct foo, ptr)返回8而非预期的4，这是因为编译器的结构体内存对齐规则。

多数编译器会按照结构体中最大基本类型的尺寸来对齐内存布局。在你的场景中，部分编译器会强制将结构体成员对齐到8字节边界（目的是提升后续数组访问等操作的效率），因此会在int a之后填充4字节的空白内存，最终导致ptr的偏移量变为8。如果将ptr替换为普通int类型，两个成员都是4字节，对齐到4字节边界即可满足要求，所以偏移量为4。

你可以通过编译器的调试选项验证内存布局，比如使用gcc的-fdump-struct-layouts参数，能直观看到结构体内部的填充细节。

二、offsetof宏的合法性与实现逻辑 #

标准中offsetof的常见实现((size_t) &((TYPE *)0)->MEMBER)看似是通过空指针访问结构体成员，但C标准特意豁免了这种用法的未定义行为——仅在计算成员偏移量的场景下，这种空指针成员访问是合法的。编译器会直接计算成员相对于结构体起始地址的偏移值，并不会真正去访问空指针指向的内存区域。

因此，无论结构体成员是普通数据类型还是指针类型，只要是结构体的合法成员，offsetof都能正确计算其偏移量。结果的差异仅来自结构体的内存对齐（填充）规则，而非offsetof本身的问题。

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