为何逻辑等价的比较运算返回结果不同？C++向量大小比较疑问

问题核心：你认为以下两个比较逻辑等价，但实际运行结果不同：

• (index >= (arr.size() - 1))
• ((index + 1) >= arr.size())

测试代码：

#include <iostream>
#include <vector>

using namespace std;

int main() {
  int index = -1;
  vector<char> arr(6);
  cout << (index >= (arr.size() - 1)) << endl;
  cout << ((index + 1) >= arr.size()) << endl;
}

差异原因：无符号类型的隐式转换 #

vector::size()返回的是**size_t类型**，这是一个无符号整数类型。当它和int类型的变量进行运算或比较时，C++会触发隐式类型转换，将int类型转换为size_t类型（无符号），这就是导致结果不同的关键。

逐个分析表达式 #

1. 第一个表达式：index >= (arr.size() - 1)

   • 先计算arr.size() - 1：arr.size()是6（size_t类型），减1后得到5（仍然是size_t类型）。
   • 此时index是int类型的-1，在和size_t类型的5比较时，-1会被转换为size_t类型。无符号整数无法表示负数，所以-1会被解释为该无符号类型的最大值（比如64位系统下是18446744073709551615）。这个极大值显然大于5，因此比较结果为true，输出1。

2. 第二个表达式：(index + 1) >= arr.size()

   • 先计算index + 1：int类型的-1加1得到0（仍然是int类型）。
   • 再和arr.size()（size_t类型的6）比较时，int类型的0会被转换为size_t类型的0。0 >= 6显然不成立，因此比较结果为false，输出0。

总结 #

两个表达式在数学上看似等价，但由于size_t的无符号特性，导致运算过程中的类型转换逻辑完全不同，最终得到相反的结果。

要避免这类问题，你可以：

• 显式将arr.size()转换为int类型，比如static_cast<int>(arr.size())
• 使用无符号类型（如size_t）来定义索引变量

内容的提问来源于stack exchange，提问作者Jeong Ho Nam