vector.size（）在比较中意外工作

Question

当我在比较中使用vector.size（）时，会产生意外的结果

vector<int> v;
for(int i = 0; i < v.size() -1;++i){
    printf("i = %d\n", i);
    printf("v[i] = %d\n", v[i]);
}

由于向量的大小为0，因此它不打印任何内容，而是进入循环并打印i = 0并给出分段错误。 但是它甚至不应该进入for循环，因为v.size() - 1为-1 。

为什么会这样呢？

Answer 1

问题是您的循环：

 for(int i = 0; i < v.size() -1;++i)

更具体地说，这部分条件是： v.size() - 1 。

size函数返回一个类型为size_type的值，如果您阅读了此vector引用，则该vector将为无符号类型。

这意味着当您从值0减去1时，您不会得到-1 ，而是得到了一个非常大的值，因为无符号下溢会回绕到其最大值。

这意味着您的循环确实会至少迭代一次，并且在超出范围时会导致UB（未定义行为）。

Answer 2

向量大小是一个无符号的整数，因此v.size（）-1永远不会为-1，而是一些非常大的整数。