linux - 无法理解linux内核中max函数的实现

Question

(void) (&_max1 == &_max2) 有什么意义？在 Linux/tools/lib/lockdep/uinclude/linux/kernel.h 中找到 max 的以下定义？

#define max(x, y) ({                            \
      typeof(x) _max1 = (x);                  \
      typeof(y) _max2 = (y);                  \
      (void) (&_max1 == &_max2);              \
      _max1 > _max2 ? _max1 : _max2; })

Answer 1

它帮助编译器检测 max() 的无效使用，即 与不可比较的 x 和 y。作为Sukminder指出，== 检查仅在编译时使用，它不会在生成的二进制文件中结束。