“带符号和无符号整数表达式之间的比较”只带有无符号整数

Question

此警告不应出现在此代码中吗？

#include <stdio.h> 

int main(void) { 

    unsigned char x = 5; 
    unsigned char y = 4; 
    unsigned int z = 3; 

    puts((z >= x - y) ? "A" : "B"); 

    return 0; 

} 

z是一个不同的大小，但它是相同的签名。有没有我不知道的整数转换？下面是GCC输出：

$ gcc -o test test.c -Wsign-compare 
test.c: In function ‘main’: 
test.c:10:10: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] 
    puts((z >= x - y) ? "A" : "B"); 
     ^
$ gcc --version 
gcc (Debian 4.9.1-15) 4.9.1 

如果z是一个unsigned char我不明白的错误。

Answer 1

问题是加法运算符对算术类型执行通常的算术转换。在这种情况下，它会导致在操作数上执行整数提升，这会导致unsigned char被转换为int，因为signed int可以表示所有unsigned char类型的值。

相关线程Why must a short be converted to an int before arithmetic operations in C and C++?解释了促销的理由。

Answer 2

C有这个概念称为“整数推广”。

基本上这意味着所有数学都在signed int中完成，除非您确实坚持否则，或者它不适合。

如果我把在隐式转换，你的榜样其实内容是这样的：

puts((z >= (int)x - (int)y) ? "A" : "B"); 

所以，现在你看到的符号/无符号不匹配。

不幸的是，您无法安全地单独使用强制转换来解决此问题。有几个选项：

puts((z >= (unsigned int)(x - y)) ? "A" : "B"); 

或

puts((z >= (unsigned int)x - (unsigned int)y) ? "A" : "B"); 

或

puts(((int)z >= x - y) ? "A" : "B"); 

但他们都来自同一个问题的困扰：如果y比x大，如果z大于INTMAX（不是它会在示例中）？

一个正确正确的解决方案可能是这样的：

puts((y > x || z >= (unsigned)(x - y)) ? "A" : "B") 

最后，除非你真的需要额外位时，通常最好避免无符号整数。