先来看你给出的代码：

#include <stddef.h>
int main() {
    struct X { int a; int b; } x = {0, 0};
    void *ptr = (char*)&x + offsetof(struct X, b);
    *(int*)ptr = 42;
    return 0;
}

你的核心疑问是：这段通过指针间接访问x.b的代码，是否符合任意C语言标准的定义？你已经知道*(char*)ptr = 42;属于实现定义行为，也猜测ptr等于&x.b，但不确定用int*访问是否违反严格别名规则，以及标准有没有相关保证。

我来一步步拆解这个问题：

1. ptr确实等于&x.b，这是标准明确保证的 #

从C99到最新的C23标准，对offsetof宏的定义非常清晰：它会返回结构体起始地址到指定成员的字节偏移量。所以(char*)&x + offsetof(struct X, b)计算出来的地址，严格等于&x.b的地址——这不是猜测，是标准层面的定义行为，没有任何歧义。

2. 通过int*访问完全符合严格别名规则 #

C标准的严格别名规则核心是防止程序通过不兼容的类型指针访问对象，但有几个明确的例外情况，其中就包括：

• 通过与对象实际类型兼容的类型指针访问对象

在这里，ptr指向的对象是x.b，其实际类型是int；我们把ptr转换成int*后解引用赋值，完全符合上述例外规则，根本不违反严格别名。

另外补充一点：把void*转换成int*的操作也是安全的——因为ptr指向的地址本身就是int类型对象的起始地址，天然满足int类型的对齐要求，标准允许这种转换。

3. 整个代码的行为是标准完全定义的 #

把整个流程串起来：

• 计算地址：标准定义，结果等于&x.b
• 指针转换：合法且安全
• 解引用赋值：等价于直接执行x.b = 42;，行为完全明确

而你提到的*(char*)ptr = 42;之所以是实现定义行为，是因为它直接修改int对象的单个字节，而int的字节序、字节表示都是实现定义的；但你的代码是通过int*直接赋值，相当于直接操作整个int对象，和直接给x.b赋值没有区别，完全在标准的定义范围内。

结论 #

这段代码完全符合C99及之后所有C语言标准的定义，没有任何未定义或实现定义的行为（除了int类型的底层表示本身是实现定义，但这对赋值42的行为没有影响）。

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