(void) (&_min1 == &_min2);

偶然在<./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個位元組的地址。