无符号值的不等式

Question

我一直想知道以下情况。

让L_1 > L_2 为无符号值（在本例中为size_t）。 A 也属于同一类型。

这个测试是否有效：

if( A > (L_1 - L_2) )
{
    //  do stuff
}

还是等价于

if( 0 > (L_1 - L_2) - A )
{
    //  do stuff
}

或

if( 0 < A - (L_1 - L_2) )
{
    //  do stuff
}

简化为

if(!(A - (L_1 - L_2) ))
{
    //  do stuff
}

因为一切都是unsigned。最后一件事会尽快A != L_1 - L2“做事”，这不是我想要的。

Answer 1

我们知道A > (L_1 - L_2) 为真有很多值。 例如，L_1 == L_2 和 A == UINT_MAX。

但是0 > (L_1 - L_2) - A 总是假的。因为L1、L2 和A 是无符号操作数，(L_1 - L_2) - A 是无符号表达式。无符号表达式的值始终为>= 0。