warning:dereferencing type-punned pointer will break strict-aliasing rules

中文警告：提领类型双关的指针将破坏强重叠规则

warning:dereferencing type-punned pointer will break strict-aliasing rules

　　在 gcc 2.x 下编译没有任何 warning 信息的代码换到 gcc 3.x 版本下之后出现了类似的 warning。原因是 gcc 3 引入了 strict aliasing架构，当编译时使用了 -fstrict-aliasing 参数（该参数在使用了 -O2, -O3, -Os 优化参数的情况下默认生效），而源代码中存在一些违反了strict-aliasing 规则的地方的话，编译器就会对这部分代码提出 warning 。

　　gcc 3 manual 对于 -fstrict-aliasing 参数的说明是：Allowsthe compiler to assume the strictest aliasing rules applicable tothe language being compiled.  For C (and C++),this activates optimizations based on the type ofexpressions.  In particular, an object of one typeis assumed never to reside at the same address as an object of adifferent type, unless the types are almost thesame.  For example, an "unsigned int" can alias an"int", but not a "void*" or a "double".  Acharacter type may alias any other type.

　　简而言之， 在该参数激活的情况下，编译器希望不同类型的对象不会指向同一个地址。比如像这段代码：

int retLen;
someSetFunc((unsignedlong*)&retLen);
printf("ret len= %d\n",retLen);

　　由于 someSetFunc 的传入参数类型定义为 unsignedlong ，所以需要进行这样的指针类型强制 cast。但对于 -fstrict-aliasing 优化参数来说，这样的转换是有潜在问题的（但实际上可能并不会造成任何问题）。所以如果现有的源代码存在太多这样的类型强制转换的问题的话，对这些代码进行修改也许会是场噩梦。最简单的方法是使用 -fno-strict-aliasing 参数来关闭gcc 的优化选项，代价是放弃了 strict-aliasing 编译优化可能带来的可执行代码的性能提升。当然也可以用 -Wno-strict-aliasing 来屏蔽相关的warning 信息，但无论这些 warning 信息多么的无关紧要，总还是“疑似危险”，所以可能的话最好还是把所有的 warning都消灭掉。

　　消灭的方法也不算复杂，正如 gcc manual 所示的那样，可以是采用 union的不同成员变量来完成类型的转换。上面那段代码可以改为：

union u_retLen
{
int retLen;
unsignedlong ptr;
};
someSetFunc(&u_retLen.ptr);
printf("ret len= %d\n",u_retLen.retLen);

　　虽然会使源代码变得丑陋，但对于大部分已有的源代码来说，这可能是改动最小的方案了。而对于新写的代码来说，如何更好的设计函数的入口参数（比如使用void*）可能才是需要去思考的问题了。

转自：http://www.zeali.net/entry/454