C/C++ strict-aliasing

最近发现了一个奇怪的编译参数-fno-strict-aliasing，好奇之下做了一点研究；

 

重点参考Understanding C/C++ Strict Aliasing；

所谓的aliasing就是多个变量指向同一块内存，变量之间互为别名；

strict-aliasing是一种编译器希望开发者遵守的规则：虽然C/C++变量可以随便赋值（强制类型转换），但也请你们收敛一点，别太天马行空了；

如果开发者按照这个规则写代码了，编译器就可以做更好的代码优化，比如这个例子：

void foo(double *dblptr)
{
    anint = 1;
    *dblptr = 0;
    bar(anint);
}

如果开发者能够注意不要把int*转成double*，bar(anint)可以直接优化成bar(1)；

但没有任何约束不允许这样做，因而编译器不敢做这样的优化，只能在bar(anint)将anint传入bar之前加一条汇编指令再读一下anint的值；

如果开发者确定自己的代码遵守这样的规则了，可以在编译时加一个优化参数-fstrict-aliasing，这个参数在gcc的-O2、-O3、-Os优化级别下都是默认开启的。

 

然后我对Understanding C/C++ Strict Aliasing文中的两个主要例子做了一下测试：

例子一：