c - kernel.h中min宏中 "(void) (&_min1 == &_min2)"的作用是什么？

Question

在kernel.h最小值定义为:

#define min(x, y) ({                \
    typeof(x) _min1 = (x);          \
    typeof(y) _min2 = (y);          \
    (void) (&_min1 == &_min2);      \
    _min1 < _min2 ? _min1 : _min2; })

我不明白 (void) (&_min1 == &_min2); 这行是干什么的。是某种类型检查还是什么？

Answer 1

声明

(void) (&_min1 == &_min2);

是有保证的“无操作”。所以它存在的唯一原因是它的副作用。

但是声明没有副作用!

但是:它强制编译器在 x 和 y 的类型不兼容时发出诊断。
请注意，使用 _min1 == _min2 进行测试会将其中一个值隐式转换为另一种类型。

所以，这就是它的作用。 它在编译时验证x 和y 的类型是否兼容。