kernel.h中min宏中“（void）（＆_min1 ==＆_min2）”的function是什么？
在kernel.h中， min定义为：
#define min(x, y) ({ \ typeof(x) _min1 = (x); \ typeof(y) _min2 = (y); \ (void) (&_min1 == &_min2); \ _min1 < _min2 ? _min1 : _min2; }) 我不明白行(void) (&_min1 == &_min2); 确实。 是某种类型检查还是什么？
该声明
(void) (&_min1 == &_min2);
是一个保证“无操作”。 所以唯一的原因是它的副作用。
但声明没有副作用！
但是： 当x和y的类型不兼容时，它会强制编译器发出诊断 。
请注意，使用_min1 == _min2进行测试会将其中一个值隐式转换为另一个类型。
所以，我猜，这就是它的作用。 它在编译时validationx和y的类型是否兼容 。
include / linux / kernel.h中的代码将此称为“不必要的”指针比较。 这实际上是一种严格的类型检查，确保x和y的类型相同。
此处类型不匹配将导致编译错误或警告。
这提供了类型检查，指针之间的相等性应该在兼容类型之间，而gcc将为不是这样的情况提供警告。
我们可以看到指针之间的相等要求指针是草案C99标准部分6.5.9的兼容类型 ，它说：
以下其中一项应持有：
包括：
两个操作数都是指向兼容类型的限定或非限定版本的指针;
我们可以从第6.2.7节兼容类型和复合类型中找到兼容类型，它们表示：
如果类型相同，则两种类型具有兼容类型
关于osnews的讨论也涵盖了这一点，它的灵感来自于Linux内核文章中的GCC hacks，它具有相同的代码示例。 答案是：
与类型检查有关。
制作一个简单的程序：
int x = 10; long y = 20; long r = min(x, y);给出以下警告：警告：不同指针类型的比较缺少强制转换
请参阅http://www.osnews.com/comments/20566 ，其中解释说：
它与类型检查有关。
制作一个简单的程序：
int x = 10; long y = 20; long r = min(x, y);给出以下警告：警告：不同指针类型的比较缺少强制转换
在这里找到答案
“它与类型检查有关。制作一个简单的程序：
int x = 10; long y = 20; long r = min(x, y);
给出以下警告：警告：不同指针类型的比较缺少强制转换“
Linux内核充满了这样的东西（为了“类型安全”和其他类似的考虑因素而无端gcc特定的黑客攻击），我会认为这是非常糟糕的做法，并敦促你不要遵循它，除非有人要求你。
pmg对于黑客的目的是正确的，但任何理智的人都会将min定义为((x)<(y)?(x):(y)) 。
请注意，内核定义排除了许多正确的用法，例如，一个参数是int而另一个是long 。 我怀疑他们真正想要排除的是签名不匹配，例如min(-1,1U)是1.更好的断言方法是使用编译时断言((1?-1:(x))<0)==((1?-1:(y))<0) 。 请注意，这不需要任何特定于gcc的黑客攻击。