提领类型双关的指针将破坏重叠规则——strict-aliasing
来源:互联网 发布:java上传ftp速度慢 编辑:程序博客网 时间:2024/05/01 18:22
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 参数的说明是:Allows the compiler to assume the strictest aliasing rules applicable to the language being compiled. For C (and C++), this activates optimizations based on the type of expressions. In particular, an object of one type is assumed never to reside at the same address as an object of a different type, unless the types are almost the same. For example, an "unsigned int" can alias an "int", but not a "void*" or a "double". A character type may alias any other type.
简而言之, 在该参数激活的情况下,编译器希望不同类型的对象不会指向同一个地址。比如像这段代码:
int retLen;
someSetFunc((unsigned long*)&retLen);
printf("ret len = %d\n",retLen);
由于 someSetFunc 的传入参数类型定义为 unsigned long ,所以需要进行这样的指针类型强制 cast 。但对于 -fstrict-aliasing 优化参数来说,这样的转换是有潜在问题的(但实际上可能并不会造成任何问题)。所以如果现有的源代码存在太多这样的类型强制转换的问题的话,对这些代码进行修改也许会是场噩梦。最简单的方法是使用-fno-strict-aliasing 参数来关闭 gcc 的优化选项,代价是放弃了strict-aliasing 编译优化可能带来的可执行代码的性能提升。当然也可以用-Wno-strict-aliasing 来屏蔽相关的 warning 信息,但无论这些 warning 信息多么的无关紧要,总还是“疑似危险”,所以可能的话最好还是把所有的 warning 都消灭掉。
消灭的方法也不算复杂,正如 gcc manual 所示的那样,可以是采用 union 的不同成员变量来完成类型的转换。上面那段代码可以改为:
union u_retLen
{
int retLen;
unsigned long ptr;
};
someSetFunc(&u_retLen.ptr);
printf("ret len = %d\n",u_retLen.retLen);
虽然会使源代码变得丑陋,但对于大部分已有的源代码来说,这可能是改动最小的方案了。而对于新写的代码来说,如何更好的设计函数的入口参数(比如使用 void*)可能才是需要去思考的问题了。
- 提领类型双关的指针将破坏重叠规则——strict-aliasing
- 提领类型双关的指针将破坏强重叠规…
- 类型双关(type punning)与严格别名(strict aliasing)
- 编译器的strict-aliasing
- Libnids:提领指向不完全类型的指针
- 错误:提领指向不完全类型的指针
- 解决“ 提领指向不完全类型的指针”方案
- 提领指向不完全类型的指针 编译错误
- strict aliasing
- 关于编译错误--提领指向不完全类型的指针
- 关于编译错误--提领指向不完全类型的指针
- strict aliasing [转载]
- 玩strict aliasing [转载]
- Strict aliasing rule
- 玩strict aliasing
- Understanding Strict Aliasing
- GCC strict aliasing
- 指针的初始化与提领操作
- Window_Open详解
- 【归并排序】【逆序对】序列
- 傻孩子。痛了?放手吧:伤感日志
- 求两坐标之间的距离
- FreeMarker优缺点
- 提领类型双关的指针将破坏重叠规则——strict-aliasing
- CSS布局——左定宽度右自适应宽度并且等高布局
- 单链表的建立、求长、插入、删除、输出和释放 (带头结点)
- 我的冷漠是我拒绝伤害的刺猬甲:QQ伤感日志
- hdu 4331 Image Recognition
- 在MyEclipse环境下将采用SSH2框架的项目从连接到MySQL数据库改成连接到Oracle数据库
- xdebug调试 php文章汇总(NotePad++,NetBeans IDE,Eclipse,wincachegrind,komodo)
- android项目 添加
- 敏捷教练第四章