表达式如下
(ux-uy) == -(unsigned) (y-x)
其中x和y是随机整数，ux和uy声明并定义如下
unsigned ux = (unsigned) x;
unsigned uy = (unsigned) y;
我在c中用不同的数字测试了表达式，这是正确的 但我无法证明为什么它是正确的。请解释一下。
答案 0 :(得分：2)
y-x - ＆gt;如果int减法溢出，则未定义的行为。
所以平等(ux-uy) == -(unsigned) (y-x)失败了。