如何将指向结构体成员的int*转为struct S*？C/C++合规性及编译器实现问询

给定结构体定义：

struct S {
    float f;
    int i;
};

一、C标准中的合规实现 #

根据C标准（C11、C17及后续版本），当传入的int* i确实指向某一struct S实例的i成员时，你给出的代码是合规且正确的：

• offsetof(S, i)是标准定义的宏，可合法获取成员i在结构体中的字节偏移量。
• 标准允许将对象指针转换为char*类型进行字节级指针算术（只要操作不超出对象的存储范围）。
• 调整后的指针精准指向原结构体实例的起始地址，将其转换为struct S*后，访问s->f完全符合标准规则。

需注意：如果传入的i指向独立的int变量而非struct S的成员，该操作会触发未定义行为。

二、C++标准中的合规实现 #

C++标准对该场景的限制略严，但struct S属于标准布局类型（无虚函数、无跨访问权限的成员、非静态数据成员按声明顺序布局），因此同样存在合规实现：

• offsetof(S, i)在C++中仅适用于标准布局类型，此处可合法使用。
• 你给出的代码逻辑在C中依然有效，也可改用C风格的reinterpret_cast实现等价逻辑：

  void f(int *i) {
      struct S *s = reinterpret_cast<struct S*>(
          reinterpret_cast<char*>(i) - offsetof(S, i)
      );
      printf("%f\n", s->f);
  }
  

• 和C标准一样，必须保证i指向struct S的i成员，否则会触发未定义行为。

三、主流编译器的支持情况 #

clang、gcc、MSVC三大编译器均完全支持上述代码逻辑：

• 对于标准布局的struct S，编译器能正确计算offsetof值，执行指针调整后可正常访问结构体成员。
• 即使开启高优化级别，编译器也不会破坏该逻辑，因为这属于符合标准的合法操作（前提是指针来源有效）。

四、关键注意事项 #

• 指针来源必须合法：仅当int* i确实属于某一struct S实例的成员时，转换和后续访问才安全。
• 结构体布局变更时无需手动修改代码：offsetof会自动适配成员偏移的变化，保证逻辑正确性。

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