纯C语言多态、类型双关与严格别名：操作合法性探讨

嘿，咱们一步步拆解你这些问题——这些都是C语言里很容易踩坑的细节，尤其是涉及编译器优化的时候，稍不注意就会写出带有未定义行为的代码。

1. 严格别名规则与void指针的边界 #

首先明确：严格别名规则的核心是禁止用不兼容类型的指针访问同一内存区域，但标准里留了几个例外，其中就包括void*和char*。不过别误解——void*的通用性是有限制的：

• 你可以把任何对象指针转换成void*，再转换回完全相同的原类型，这是100%合法且安全的；
• 但如果你把void*转换成其他非兼容类型的指针（比如把指向struct Foo的void*转成struct Bar*），这就直接碰了严格别名规则的红线，属于未定义行为——哪怕你只是想读取初始成员，也不行。

简单说：void*只是个“中转容器”，不是“万能解码钥匙”，不能随便转换成任意类型去解读内存。

2. 结构体对齐的确定性≠类型双关合法 #

你提到“结构体对齐是确定性的，初始成员一致则对齐方式相同”——这个说法有一半是对的：如果两个结构体的第一个成员类型完全相同，那么它们的起始偏移（0位置）的对齐要求肯定一致，第一个成员的内存布局也完全重合。但这不代表你可以用一个结构体的指针去访问另一个结构体的内存，因为严格别名规则不管内存布局是否一致，它只看指针的类型是否兼容。

举个反例：

struct A { int id; char name[10]; };
struct B { int id; float score; };

struct A a = {1, "Alice"};
void* ptr = &a;
struct B* b_ptr = (struct B*)ptr;
printf("%f", b_ptr->score); // 这是未定义行为！

哪怕struct A和struct B的id成员对齐完全一致，这段代码也违反了严格别名规则，编译器可能会因为优化（比如认为b_ptr和&a指向不同内存）生成错误的机器码。

3. 合法实现类型双关的两种方式 #

如果确实需要在不同类型之间共享内存，标准允许两种安全的做法：

• 用char*访问内存：标准明确允许char*类型的指针别名任何类型的对象，你可以把内存当成字节流来读取/修改，再手动转换成目标类型；
• 使用union：C标准允许union的所有成员共享同一块内存空间，通过访问union的不同成员来实现类型双关，这是官方认可的合法途径。

比如用union实现初始成员的安全访问：

struct A { int id; char name[10]; };
struct B { int id; float score; };

union PunContainer {
    struct A a_inst;
    struct B b_inst;
};

union PunContainer pun;
pun.a_inst.id = 1;
// 读取pun.b_inst.id是合法的，因为两个结构体的id类型兼容，且union允许这种访问
printf("%d", pun.b_inst.id);

最后要提醒：很多时候这类代码在特定编译器上能运行，但这不代表符合标准——未定义行为的后果是不可预测的，换个编译器、改个优化等级都可能出问题。

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