本文深入解析了C语言中一种巧妙的宏定义min的实现原理，该宏能够比较并返回两个参数中的较小值，同时确保参数类型一致，避免编译警告。通过地址指针比较的技巧，该宏在类型不匹配时会触发编译器警告，从而帮助开发者检查潜在错误。
#define min(x,y) ({ \
typeof(x) _x = (x); \
typeof(y) _y = (y); \
(void) (&_x == &_y); \
_x < _y ? _x : _y; })
typeof(x) _x = (x); typeof(y) _y = (y);定义一个和 x 相同类型的变量 _x，定义一个和 y 相同类型的_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
扫一扫
1957
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
