你一定遇到过这种情况：代码逻辑完全正确，Debug 模式正常，一开 O2 优化就数值错乱、程序崩溃。
绝大多数时候，凶手不是指针写错了，而是你触犯了 C 语言底层一条铁律——严格别名规则（Strict Aliasing）。
一、什么是严格别名规则？
C 标准规定：
同一块内存，不允许通过两种不兼容类型的指针去访问，否则编译器有权任意优化，结果完全不可控。
简单说：
一块 int 类型的内存，你用 int 读没问题；
但如果你用 float、char（特殊除外）、short 去乱读乱改，编译器会认为：
“这两个指针不可能指向同一块内存，我可以放心优化。”
于是你的代码逻辑就被“优化没了”。
二、最经典的崩溃例子
看一段看似完全正常的代码：
void f(int *a, float *b) {
*a = 1;
*b = 2.0f;
printf("%d\n", *a);
}
如果你在外部让 a、b 指向同一块内存：
int x;
f(&x, (float*)&x);
在开启优化后，printf 输出可能还是 1，而不是 2 对应的整数。
因为编译器坚信：int 和 float 不可能别名，b 的修改不会影响 a，于是直接把 *a 优化成立即数 1。
你的逻辑没错，但编译器按规则“合法地”把你坑了。
三、唯一合法的例外：char*
C 标准唯一允许的跨类型别名是：
可以用 char* 访问任何类型内存，用于逐字节拷贝、序列化等。
下面这段是合法的、不会被乱优化：
int x = 0x1234;
char *p = (char*)&x;
printf("%x\n", *p);
除此之外，short、int、float、void 之间互相强转访问，全是未定义行为。
四、嵌入式 & 底层开发重灾区
严格别名在底层代码里简直是“地雷区”：
寄存器地址强转
#define REG_ADDR 0x40000000 *(int*)REG_ADDR = 1; *(float*)REG_ADDR = 2.0f;一开优化，前后赋值可能被乱序、丢弃。
协议解析强制类型双关
char buf[4] = { 0x11,0x22,0x33,0x44}; int val = *(int*)buf;这是典型违规，编译器可能直接优化出错误结果。
union 混用类型
标准只保证 union 最后写入的成员可以读；
写 int 读 float 依然是未定义行为（虽然很多编译器允许，但不保证跨平台）。
五、怎么安全地“类型双关”？
如果你确实需要把一段内存解释成不同类型，唯一标准、安全、可移植的方法是：memcpy。
错误（违规别名）：
int val = *(int*)buf;
正确（符合标准）：
int val;
memcpy(&val, buf, sizeof(val));
memcpy 对编译器是“明确内存重叠”的信号，不会触发错误优化，也不违反严格别名规则。
六、实用避坑总结
- 永远不要把一块内存用两种不兼容指针同时访问；
- 除了 char*，不要随意强转指针并解引用；
- 类型转换必须用 memcpy，不要直接指针强转；
- union 只用来读最后一次写的成员；
- 优化错乱但 Debug 正常，优先怀疑违反严格别名；
- 实在改不动老代码，可以编译选项加
-fno-strict-aliasing关闭该规则（不推荐长期使用）。
