如下的宏定义中(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; ))

复制代码

如题的提问 ，解释一下啊，不胜感激！

ubuntuer

(void) (&_x == &_y)这句话本身都执行程序来讲完全是一句废话，它的作用在于，本身我们无法做这样的操作typeof(_x)==typeof(_y)，所以故意判断他们2个的地址指针是否相等，显然是不可能相等，但是如果_x和_y的类型不一样，其指针类型也会不一样，2个不一样的指针类型进行比较操作，会抛出一个编译警告。也就是说char *p; int *q; 然后p==q;，这个判断因为一个是char*一个是int*，会在编译时产生一个warning。巧妙就巧妙在这里。

sh19871122

(void) (&_x == &_y)这句话本身都执行程序来讲完全是一句废话，它的作用在于，本身我们无法做这样的操作typ ...
ubuntuer 发表于 2010-04-05 11:13

   谢谢了，没想到这么多

magicboatrocket

弱弱的问，为什么要再新定义 _x, _y两个变量呢
const typeof(x) _x = (x); \
const typeof(y) _y = (y); \

而不是直接

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

bluedream_zqs

x,y可能是表达式

magicboatrocket

哈，正解，x,y 极有可能是表达式的情况，我怎么没想到

小小宏，大知识

kgn28

{:3_195:}

xiangzhenlin

受教了！

日方君羊

弱弱的问，为什么要再新定义 _x, _y两个变量呢
const typeof(x) _x = (x); \
const typeof(y) _y = (y);  ...
magicboatrocket 发表于 2010-06-05 23:39

    如果x为i++，y为j++的话，就会在最后一句判断的时候增加两次！

kycgjy

确实学习了。