需要了解评估给定表达式的解释

Question

的表达式如下

(ux-uy) == -(unsigned) (y-x) 

其中x和y是随机整数和ux和uy声明和定义如下

unsigned ux = (unsigned) x; 
unsigned uy = (unsigned) y; 

我测试的用c表达各种数字，这是正确的 ，但我不能证明它为什么是正确的。请解释。

Answer 1

y-x - >未定义的行为应该是int减法溢出。

所以平等(ux-uy) == -(unsigned) (y-x)一般失败。