(转载) min()的宏定义中的(void) (&_x == &_y)的含义

最新推荐文章于 2024-07-06 21:11:15 发布

原创最新推荐文章于 2024-07-06 21:11:15 发布 · 165 阅读

0 ·

CC 4.0 BY-SA版权

本文深入解析了C语言中min宏定义中的(void)(&_x==&_y)表达式的含义，揭示了其在进行类型检查时的巧妙运用。通过增加局部变量_x和_y，并利用指针比较引发编译器警告来确保参数类型一致，避免了副作用的发生。

Original Address：http://www.crifan.com/2010/08/13/order_min__macro_definition_void_amp__x__amp__y_the_meaning_of/

【整理】min()的宏定义中的(void) (&_x == &_y)的含义

近日无意间发现，关于常见的min的宏定义，在Linux中是这样的：

/*
* min()/max()/clamp() macros that also do
* strict type-checking.. See the
* "unnecessary" pointer comparison.
*/
#define min(x, y) ({
typeof(x) _x = (x);
typeof(y) _y = (y);
(void) (&_x == &_y);
_x < _y ? _x : _y; })

关于其中的：

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

很是疑惑，表面看起来，这句话，好像不起作用，算是一句废话，所以去找了一下别人的解释，才大概搞懂是啥意思。

首先，我们此处想要实现的目的是，在计算两个数的最小值之前，希望去判断一下两个值的类型是否一致，而由于C语言本身不支持我们去做类似于这样的操作typeof(_x)==typeof(_y)，所以在此，通过故意判断他们2个的地址指针是否相等，而显然&_x，即x的地址，是不可能等于&_y的，但是这句话(void) (&_x == &_y);使得，如果_x和_y的类型不一样，其指针类型也会不一样，2个不一样的指针类型进行比较操作，则会引起编译器产生一个编译警告，提示你这两个值的类型不同。

比如，如果你编译下面这段代码：

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

编译的时候，经过预处理后，就会有这样的判断操作：

int * == char *;

因此编译器就会提示你：

warning: comparison of distinct pointer types lacks a cast

所以，这个宏的巧妙之处就在于此。

所以，总结起来就是：

(void) (&_x == &_y); 用于判断输入的两个值的类型是否是一致的。如果不一致，那么编译器就会做出如下警告：warning: comparison of distinct pointer types lacks a cast

【提示】

1。其实关于min的宏，更好的做法是再加个const，即：