在写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

欢迎关注我的公众号“灯珑”,让我们一起了解更多的事物~

你也可能喜欢

发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注