c++ - 在 C++ 中涉及有符号和无符号类型的表达式

Question

我正在学习 C++ 语言，我的书中的一个建议是不要在表达式中混用有符号和无符号类型，因为有符号类型将被转换为无符号类型。

例如:

unsigned int u = 10; 
int a = 42; 
std::cout << u - a << std::endl; // here the value will wraps around 

在这个程序之后，如果我尝试用 typeid 检查 a 的类型，结果是 int，为什么？为什么 a 的类型不是 more unsigned 而是返回 int ？

Answer 1

变量未转换为无符号。它的值被转换为 unsigned 以便在表达式中使用。也就是说，当你这样做时:

std::cout << u - a << std::endl;

从 a 创建一个临时的、无名的 unsigned int，然后从 u 中减去它。就好像你这样做了:

std::cout << u - (unsigned int)a << std::endl;

或者这个:

unsigned int __nameless__ = a;
std::cout << u - __nameless__ << std::endl;

除了 __nameless__ 变量实际上并不存在于该表达式之外。