請教內(nèi)核的一個宏定義

yingqy88

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

在看內(nèi)核代碼時，看到一個這樣的宏，實在是不懂(void) (&_x == &_y);這句的意義。請高手指導(dǎo)，謝謝！

lengyuex

看了一下匯編發(fā)現(xiàn)加了這一句后用寄存器比較，對比執(zhí)行效率也變高了

tinysniper

沒意義，這句，如果x和y類型不同，2個指針賦值會有警告

僅此而已

lengyuex

沒意義，這句，如果x和y類型不同，2個指針賦值會有警告

僅此而已
tinysniper 發(fā)表于 2011-07-31 12:04

    LZ說的跟你說的不是一回事吧。賦值那兩句顯然是你說的那意思，但是后面比較那句應(yīng)該是為了把兩個都取到寄存器中再進(jìn)行比較，加快效率。

amarant

回復(fù) 4# lengyuex


    我在書上也看過確實如三樓的解釋， 哪本書忘記了。。

liujunwei1234

3 樓正解，就是為了判斷x與y是不是同一個類型。

lengyuex

3 樓正解，就是為了判斷x與y是不是同一個類型。
liujunwei1234 發(fā)表于 2011-07-31 22:02

    應(yīng)該不只有這一種作用吧？你用匯編比較一下看看？

yingqy88

非常感謝！受教了

omycle

回復(fù) 3# tinysniper


    沒意義，這句，如果x和y類型不同，2個指針賦值會有警告

僅此而已

人家不是賦值啊~，那個是“==”

這個問題，之前已經(jīng)被人問過了：
http://72891.cn/viewthread.php?tid=1933477

jjinl

google一下發(fā)現(xiàn)不是樓上所說，原話粘貼是
關(guān)于其中的：

(void) (&_x == &_y);

很是疑惑，表面看起來，這句話，好像不起作用，算是一句廢話，所以去找了一下別人的解釋，才大概搞懂是啥意思。

首先，我們此處想要實現(xiàn)的目的是，在計算兩個數(shù)的最小值之前，希望去判斷一下兩個值的類型是否一致，而由于C語言本身不支持我們?nèi)プ鲱愃朴谶@樣的操作typeof(_x)==typeof(_y)，所以在此，通過故意判斷他們2個的地址指針是否相等，而顯然&_x，即x的地址，是不可能等于&_y的，但是這句話(void) (&_x == &_y);使得，如果_x和_y的類型不一樣，其指針類型也會不一樣，2個不一樣的指針類型進(jìn)行比較操作，則會引起編譯器產(chǎn)生一個編譯警告，提示你這兩個值的類型不同。

比如，如果你編譯下面這段代碼：

int x = 2;
char y = 3;
int m;
m = min(x,y);

編譯的時候，經(jīng)過預(yù)處理后，就會有這樣的判斷操作：

int * == char *;

因此編譯器就會提示你：

warning: comparison of distinct pointer types lacks a cast

所以，這個宏的巧妙之處就在于此。

所以，總結(jié)起來就是：

(void) (&_x == &_y); 用于判斷輸入的兩個值的類型是否是一致的。如果不一致，那么編譯器就會做出如下警告：warning: comparison of distinct pointer types lacks a cast