C++中使用vector size()的for循环无限循环问题排查

问题复现代码 #

#include <bits/stdc++.h>
using namespace std;

int main()
{
     vector<int> ans(1);
     int k = 1;
     for (int i = ans.size() - 1; i >= ans.size() - k; --i)
     {
          cout << i << endl;
     }
}

根本原因 #

问题出在C++的类型隐式转换规则，和无符号整数的算术特性：

• vector::size()的返回值是无符号整数类型size_t，不是有符号int。
• 你预期ans.size() - k的计算结果是0，这个计算本身在当前参数下确实得到0，但循环条件判断时，作为有符号int的循环变量i会被隐式转换成无符号size_t类型，和右侧的无符号值做比较。
• 第一次循环i初始值为0，判断0 >= 0成立，进入循环打印0，随后执行--i，i变为有符号int值-1。
• 下一次条件判断时，有符号的-1转换为无符号size_t会变成该类型可表示的最大值（64位环境下为2^64-1，是一个远大于0的正整数），此时大值 >= 0的判断永远成立，循环不会终止。i会持续递减，每次转成无符号都是大于0的正整数，最终进入死循环。

当你把ans.size() - k替换为字面量0时，比较两侧均为有符号int类型，不会触发无符号隐式转换：i减到-1时判断-1 >= 0不成立，循环正常终止。

修复方案 #

任选一种即可解决问题：

• 提前将vector长度转为有符号int类型，统一循环变量和边界值的类型，避免隐式转换：

#include <bits/stdc++.h>
using namespace std;

int main()
{
     vector<int> ans(1);
     int k = 1;
     int len = static_cast<int>(ans.size()); // 提前转成有符号整型
     for (int i = len - 1; i >= len - k; --i)
     {
          cout << i << endl;
     }
}

• 尽量避免在循环条件内直接写混合了无符号、有符号类型的算术表达式，所有边界值提前在循环外计算为和循环变量同类型的值，再传入条件判断。
• 如果要使用无符号类型作为循环变量，反向遍历时需要额外判断边界，避免无符号值下溢绕回最大值，日常写题更推荐直接转有符号int的写法，踩坑概率更低。

内容的提问来源于stack exchange，提问作者Utsav Patel