operator <<如果结果是unsigned int或unsigned short则解释算术运算

Question

我在fedora 19 64bits下使用gcc 4.8.3

unsigned u1=10, u2=42;
unsigned short us1=10, us2=42;

int main() {
   cout << "u1-u2="<<u1-u2<<", us1-us2="<<us1-us2<<endl;
}

结果：u1-u2 = 4294967264，us1-us2 = -32

<<运算符似乎将第二个操作的结果解释为带符号的 short，而它将第一个操作的结果解释为unsigned int

Answer 1

作为-和大多数其他算术运算符的操作数，任何比int窄的整数类型的值都被提升为int 。

所以us1 - us2表现为(int)us1 - (int)us2 。

这条规则在现代C ++中非常烦人，但它最早出现在C语言中（因为int大小的寄存器用于算术运算），它现在会破坏太多代码来改变它。