如下的宏定義中(void) (&_x == &_y);是怎么做到判斷類型的？

sh19871122

1. #define min(x, y) (( \
   
2. const typeof(x) _x = (x); \
   
3. const typeof(y) _y = (y); \
   
4. (void) (&_x == &_y); \
   
5. _x < _y ? _x : _y; ))

復(fù)制代碼

如題的提問 ，解釋一下啊，不勝感激！

ubuntuer

(void) (&_x == &_y)這句話本身都執(zhí)行程序來講完全是一句廢話，它的作用在于，本身我們無法做這樣的操作typeof(_x)==typeof(_y)，所以故意判斷他們2個(gè)的地址指針是否相等，顯然是不可能相等，但是如果_x和_y的類型不一樣，其指針類型也會(huì)不一樣，2個(gè)不一樣的指針類型進(jìn)行比較操作，會(huì)拋出一個(gè)編譯警告。也就是說char *p; int *q; 然后p==q;，這個(gè)判斷因?yàn)橐粋�(gè)是char*一個(gè)是int*，會(huì)在編譯時(shí)產(chǎn)生一個(gè)warning。巧妙就巧妙在這里。

sh19871122

(void) (&_x == &_y)這句話本身都執(zhí)行程序來講完全是一句廢話，它的作用在于，本身我們無法做這樣的操作typ ...
ubuntuer 發(fā)表于 2010-04-05 11:13

   謝謝了，沒想到這么多

magicboatrocket

弱弱的問，為什么要再新定義 _x, _y兩個(gè)變量呢
const typeof(x) _x = (x); \
const typeof(y) _y = (y); \

而不是直接

void ( &x == &y )
x < y ? x: y

bluedream_zqs

x,y可能是表達(dá)式

magicboatrocket

哈，正解，x,y 極有可能是表達(dá)式的情況，我怎么沒想到

小小宏，大知識(shí)

kgn28

{:3_195:}

xiangzhenlin

受教了！

日方君羊

弱弱的問，為什么要再新定義 _x, _y兩個(gè)變量呢
const typeof(x) _x = (x); \
const typeof(y) _y = (y);  ...
magicboatrocket 發(fā)表于 2010-06-05 23:39

    如果x為i++，y為j++的話，就會(huì)在最后一句判斷的時(shí)候增加兩次！

kycgjy

確實(shí)學(xué)習(xí)了。