为何代码输出"False"？int的size大于-1却判断不成立？

这其实是无符号整数与有符号整数比较时的类型提升规则在作祟，咱们一步步拆解原因：

• 首先，sizeof()运算符的返回值类型是size_t，这是一个无符号整数类型（C++标准规定它是专门用来表示对象大小的非负整数类型，通常对应系统中的unsigned int或unsigned long long）。
• 当你将size_t类型的sizeof(int)和有符号整数-1进行比较时，C++会触发整数提升规则：编译器会自动把有符号的-1转换为size_t类型的无符号整数。
• 那-1转成无符号整数后是什么值？根据无符号整数的溢出处理规则，-1会被转换成该无符号类型的最大值（比如如果size_t是4字节，结果就是0xFFFFFFFF，对应十进制的4294967295）。
• 现在比较逻辑就变成了：sizeof(int)（比如4，对应4字节的int）和这个最大值对比——4 > 4294967295显然不成立，所以表达式的结果是false，代码自然输出"False"。

怎么修正这个问题？ #

如果你想让表达式逻辑上成立（毕竟sizeof的结果永远是非负的，肯定大于-1），可以手动把size_t转换为有符号整数类型，比如：

cout << (static_cast<long long>(sizeof(int)) > -1) << endl;

这样转换后，-1会以有符号整数的形式参与比较，结果就会是true。

内容的提问来源于stack exchange，提问作者Mohit Negi