如何在C中输入一个文字

Question

我有一个小样本函数:

#define VALUE 0

int test(unsigned char x) {
  if (x>=VALUE)
    return 0;
  else
    return 1;
}

我的编译器警告我,比较(x> = VALUE)在所有情况下都是正确的,这是正确的,因为x是无符号字符,VALUE定义为值0.所以我将代码更改为:

if ( ((signed int) x ) >= ((signed int) VALUE ))

但警告又来了.我测试了三个GCC版本(所有版本> 4.0,有时你必须启用-Wextra).

在更改的情况下,我有这个显式的强制转换,它应该是一个有符号的int比较.为什么声称这种比较总是正确的？

Answer 1

即使使用演员表,在所有定义行为的情况下,比较仍然是正确的.编译器仍然确定(signed int)0其值为0,并且(signed int)x)如果您的程序已定义行为,则仍然确定它是非负的(如果值超出signed类型的值,则从unsigned转换为signed是未定义的).

所以编译器继续警告,因为它继续完全消除else情况.

编辑:要使警告静音,请将代码编写为

#define VALUE 0

int test(unsigned char x) {
#if VALUE==0
  return 1;
#else
  return x>=VALUE;
#endif
}

Answer 2

x是unsigned char,这意味着它是从0到256的由于int比更大char,浇铸unsigned char到signed int仍保留char的原始值.由于此值始终> = 0,因此您if始终为true.