what's the help of "unnecessary" pointer comparison

引述自http://c-programming.itags.org/q_c-programming-language_191518.html

源代码中的宏min中使用了

 (void) (&_x == &_y); 

（   c89不支持typeof   ）

有如下解释

Assuming (as the name "typeof" implies) that _x has the same type as

x, and _y has the same type as y, comparing the addresses of _x and _y

is legal if and only if they have the same type. The result of the

comparison is irrelevant (and it's discarded anyway); the point is to

force the compiler to reject an invocation of the macro if the

arguments' types don't match.