使用vector::size()时while循环行为异常的问题排查

问题描述 #

我正在编写一段用于将vector扩容至指定大小的代码，但while循环中的布尔判断行为异常。运行代码后，第一个循环未按预期执行，第二个循环却正常运行，我认为二者逻辑完全一致，这是怎么回事？

另外，调试时发现index > (vec.size() - 2)在调试器中显示为true，但赋值给bool变量test后却为false，明明0 > -2应为true，这是为什么？

代码示例 #

#include <iostream>
#include <vector>
using std::cout;
using std::vector;

int main()
{
  int index = 0;
  vector<int> vec = {};

  
  //Loop 1
  while (index > (vec.size() - 2))
  {
    cout << "Visiting loop 1\n";
    vec.push_back(vec.size());
  }

  bool test = (index > (vec.size() - 2));
  //I added this here because I noticed that it is initializing
  //as false, even though 0 > -2 is true. In fact,
  //when I type "p index > (vec.size() - 2)" in the debugger,
  //it says true, but when I type "p test", it says false. Why?

  vec = {};

  //Loop 2
  int compValue = vec.size() - 2;
  
  while (index > compValue)
  {
    cout << "Visiting loop 2\n";
    vec.push_back(vec.size());
    compValue = vec.size() - 2;
  }

  return 0;
}

核心原因：无符号整数的溢出与隐式类型转换 #

1. vec.size()的类型是无符号整数 #

C++中std::vector::size()返回的是size_t类型，这是一个无符号整数类型。当vector为空时，vec.size()等于0，0减2会触发无符号整数溢出——无符号数不会产生负数，结果会变成该类型能表示的最大值（比如64位系统上是18446744073709551614），而非你预期的-2。

2. 第一个循环不执行的原因 #

第一个循环的判断条件index > (vec.size() - 2)中：

• index是int（有符号整数），vec.size()-2是size_t（无符号整数）
• 编译器会自动将index隐式转换为size_t类型再进行比较。0转换为无符号数后还是0，而vec.size()-2是一个极大的正数，0大于这个数的结果显然是false，因此循环直接跳过。

3. 调试器与变量值不一致的原因 #

调试器执行p index > (vec.size() - 2)时，可能会自动将size_t类型的结果转换为int，此时会得到0 > -2的true结果；但代码中赋值给test时，严格遵循C++的类型转换规则，index被转换为无符号数参与比较，结果为false，因此test的值是false。

4. 第二个循环正常运行的原因 #

第二个循环中，你先将vec.size() - 2赋值给了int compValue：

• 无符号的极大值被转换为int时，多数编译器会按补码规则处理，最终得到-2（这属于有符号整数溢出，是C++标准中的未定义行为，但实际场景中大多如此处理）
• 后续的比较是两个int类型之间的比较：0 > -2为true，因此循环能正常启动，且每次循环更新compValue可保证后续判断正确。

修复方案 #

方案一：显式转换为有符号整数 #

将vec.size()转换为int后再计算，避免无符号溢出：

// 修复后的Loop 1
while (index > static_cast<int>(vec.size()) - 2)
{
    cout << "Visiting loop 1\n";
    vec.push_back(vec.size());
}

方案二：先判断vector大小再计算 #

先检查vec.size()是否小于2，避免出现负数计算场景：

// 修复后的Loop 1
while ((vec.size() < 2) || (index > static_cast<int>(vec.size()) - 2))
{
    cout << "Visiting loop 1\n";
    vec.push_back(vec.size());
}

内容的提问来源于stack exchange，提问作者Samuel van der Veen