在写C/C++代码的时候,如果我们写以下代码:
struct st x;
short* p=&x;
那么,在编译的时候,GCC会抛出警告信息,提示我们这里的存在“双关引用”(原文是dereferencing type-punned pointer)。如果我们启用了-fstrict-aliasing或者O2优化,编译过程会被中止,编译器会认为代码出现了错误。但是如果我们的代码改成这样,就不会出现警告:
struct st x;
void* p=&x;
这是因为,gcc认为,void类型可以指代其他任何的类型。
对于写操作系统过程中的一些特殊场景来说,我们要求编译器不要检查指针的类型的检查。那么,我们就可以使用may_alias这个属性,配合宏的使用,定义一个新的类型short_a,使得编译器认为这个类型可以指代其他的任何类型。具体的示例代码如下:
typedef short __attribute__((__may_alias__)) short_a;
int main (void)
{
int a = 0x12345678;
short_a *b = (short_a *) &a;
b[1] = 0;
if (a == 0x12345678)
abort();
exit(0);
}
转载请注明来源:https://longjin666.cn/?p=1558