关于C语言中无符号与有符号数之间运算问题

int array[] = {23, 34, 12, 17, 204, 99, 16};
#define TOTAL_ELEMENTS (sizeof(array)/sizeof(array[0]))

int main(void)
{
int d = -1, x;
/* ... */

if (d <= TOTAL_ELEMENTS - 2)
x = array[d+1];
/* ... */
}

对于上述代码，if分支是不会被执行到的，即if表达式的值为假。

原因在于TOTAL_ELEMENTS所定义的值是unsigned int类型(因为sizeof()的返回类型是无符号数)。if语句在signed int和unsigned int之间测试相等性，所以d会被升级为unsigned int类型，-1转换为unsigned int的结果将是一个非常巨大的正整数，致使表达式的值为假。要解决这个问题，只要对TOTAL_ELEMENTS进行强制类型转换:

if (d <= (int)TOTAL_ELEMENTS - 2)

对于无符号类型：

尽量不要在代码中使用无符号类型，以免增加不必要的复杂性，尤其不要仅仅因为无符号数不存在负值而用它来表示数量。

尽量使用像int那样的有符号类型，这样在涉及升级混合类型的复杂细节时，不必担心边界情况。

只有在使用位段和二进制掩码时，才可以使用无符号数，应该在表达式中使用强制类型转换，使得操作数均为有符号数或者无符号数，这样不必由编译器来选择结果的类型。