#优化

未定义行为与严格别名

同一份代码在 -O0 给出 2、-O2 给出 1——严格别名规则怎么让编译器生成"错"代码，以及有符号溢出和判空被删背后的同一套逻辑：编译器按假设优化，而不是按你的意图。