C标准中结构体与首成员指针互转及严格别名的合法性问题

我定义了如下结构体：

typedef struct {
  int   i;
  float f;
} S;

根据C标准中结构体与其首个成员指针互转的规则，可以合法编写如下代码：

S s;
int *pInt = (int *)&s;

但结合严格别名（strict aliasing）规则，我有如下疑问：若将任意指向int的指针转换为结构体S的指针，并访问其其他成员（如f成员），如下代码是否符合C标准？

int *pInt = ...; // some pointer to int
...
S *pS = (S *)pInt;

float f = pS->f;
pS->f   = 10;

我已确保pInt指向的内存区域实际存储着一个结构体（且存在多种不同类型、大小的结构体，它们的首个成员均为int，我通过该成员判断结构体类型），但未在C标准中找到直接答案，想确认上述操作是否存在未定义行为（undefined behavior）。

核心合法性判断 #

在你通过int*读取首成员、正确判断出实际结构体类型的前提下，将指针转换为对应结构体指针并访问其成员的操作，符合C标准，不存在未定义行为，依据如下：

1. 指针转换的合法性 #

C标准（C11 6.7.2.1p15）明确规定：

指向结构体对象的指针，可转换为指向其首个成员的指针；反之，指向结构体首个成员的指针，也可转换为指向结构体对象的指针，转换结果均指向原对象的起始地址。

由于你已确保pInt指向的内存实际是结构体对象，结构体的地址与首成员地址完全一致，且对齐要求必然满足，因此(S *)pInt的转换本身是合法的。

2. 严格别名规则的合规性 #

严格别名规则（C11 6.5p7）限制跨类型访问，但存在关键例外：

• 若指针类型与对象的有效类型（即实际存储的对象类型）兼容，则访问合法；
• 结构体指针与指向其成员的指针之间的互访，属于规则允许的别名场景。

在你的场景中，内存的有效类型是实际存储的结构体（比如S），当你判断类型正确后，用S*访问该对象的成员，完全匹配有效类型，并未违反严格别名规则。

需规避的风险 #

• 类型误判的后果：如果错误地将指向其他结构体（比如首成员为int但后续成员不同的结构体T）的int*转换为S*，并访问f成员，会触发未定义行为——因为S与T是不兼容类型，跨类型访问违反严格别名规则，还可能因成员偏移、结构体大小差异导致内存越界或数据损坏。
• 内存有效性要求：必须确保pInt指向的内存是已正确初始化的对应结构体对象，而非未初始化内存、其他类型对象或已释放的内存。

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