为什么for循环没有停止？

Question

我的程序中有一个没有停止的for循环：

vector<int> v;
int k = 1;
v.push_back(1);

for(int i=v.size()-1; i>=(v.size()-k); i--){
    cout << i << " " << v.size() - k << endl;
}

当我执行上述程序时，它一直在for循环内运行。 for循环的output如下：

0 0
-1 0
-2 0
-3 0
-4 0
.
.
.

根据 output， i的值正在减小， v.size()-k的值为 0。因此， i >= v.size()-k为假，这应该在第一轮之后停止for循环执行, 但for循环并没有停止执行。

有人可以帮我理解这个问题吗？

Answer 1

您正在检查i是否大于或等于零。 但是由于size()返回一个无符号数，因此您将i与一个无符号数零进行比较。 为了进行比较，将i转换为与size()返回的相同的无符号类型。 好吧，每个无符号整数值都大于或等于零。 所以无论i有什么价值，比较都是真的。

size() function 必须返回一个足够大的类型以容纳向量中可能存在的最大条目数。 这可能大于int可以容纳的最大值。 在典型的现代平台上， int可能是 32 位有符号类型，而size()返回 64 位无符号类型。

这是我的编译器发出的警告：

a.cpp: In function ‘int main()’:
a.cpp:10:28: warning: comparison of integer expressions of different signedness:
             ‘int’ and ‘std::vector<int>::size_type’
             {aka ‘long unsigned int’} [-Wsign-compare]
   10 |     for(int i=v.size()-1; i>=(v.size()-k); i--){
      |                           ~^~~~~~~~~~~~~~