c - 无符号值的不等式

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。