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

Question

（void）的重要性（＆amp; _max1 ==＆amp; _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指出的那样，==检查仅在编译时使用，它不会在生成的二进制文件中结束。