关于(void) (&_min1 == &_min2)

最新推荐文章于 2022-12-23 09:47:22 发布

EnjoySilence

最新推荐文章于 2022-12-23 09:47:22 发布

阅读量949

点赞数 1

分类专栏： Linux内核编程语言

编程语言同时被 2 个专栏收录

4 篇文章 0 订阅

订阅专栏

Linux内核

2 篇文章 0 订阅

订阅专栏

本文解析了Linux内核中一个用于比较两个变量最小值的宏定义min，特别关注了其第三行代码的作用。通过实例演示，解释了void(&&_min1==&_min2)这一行代码在防止不同类型变量比较时编译器警告方面的关键作用。进一步揭示了内核开发者巧妙利用typeof()函数与GCC扩展特性，确保代码在各种编译环境下都能正确运行。

摘要由CSDN通过智能技术生成

转载自：http://blog.csdn.net/xiaofeng_yan/article/details/5248693（貌似它也是转载别个的）

偶然在<./linux/include/linux/kernel.h>里面看到下面这个宏定义：

#define min(x, y) ({                            \
        typeof(x) _min1 = (x);                  \
      	typeof(y) _min2 = (y);                  \
       	(void) (&_min1 == &_min2);              \
      	_min1 < _min2 ? _min1 : _min2; })

这就是一个泛型宏。使用了GCC的扩展支持命令typeof() 。一共四行代码，其他都很明了，唯独第三行让人有点摸不着头脑。我第一反应这是为了防止编译器优化代码结构而添加的语句。但是回头想了一下，没有想出理由来。也就没在意了。今天一个很突然的机会才反应过来这么做的原因：为防止不同类型变量进行比较。

int main(int ac, char** av)
{

           char i = 100;
           long j = 1000;
           long k = min(i, j);
           return 0;

}

编译上述代码时编译器会给出警告：comparison of distinct pointer types lacks a cast 如果去掉(void) (&_min1 == &_min2) 这行，再编译是不会给出警告的。这群写内核人太TMD牛X了。

[本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/shoui/archive/2010/01/10/5169225.aspx]

那么为什么(void) (&_min1 == &_min2); 会使编译器报出警告呢？这就是指针的类型的问题：

比如：

int main ()
{

    int *p1;
    char *p2;

    int a = 10;
    char b = 20;

    p1 = &a;
    p2 = &b;

  
    p1 == p2;
    return 0;
}

编译上述代码时编译器会给出警告：comparison of distinct pointer types lacks a cast 。“==”是比较的意思。也就是指针的类型不同是不能相互比较的。因为指针p1它指向含有4个字节连续的首地址，而指针p2 它指向含有1个字节的地址。