c++ - 为什么 `( i < (str.size()-(3-vec.size())) )` 是真的？

Question

#include <iostream>
#include <string>
#include <vector>
using namespace std;

int main()
{
    string str("0");
    vector<int> vec;
    int upper_bound = str.size()-(3-vec.size());
    int i = 0;

    if ( i < upper_bound ) // Line 1
        cout << "i < upper_bound - 1\n";
    else
        cout << "pass\n";

    if ( i < (str.size()-(3-vec.size())) ) // Line 2
        cout << "i < upper_bound - 2\n";
    else
        cout << "pass\n";        

    return 0;
}

输出如下:

pass
i < upper_bound

问题>为什么第1行和第2行打印的结果不同？

Answer 1

在数学上，str.size()-(3-vec.size()) 是 1-(3-0)，也就是 -2。但是，由于这些是无符号值，因此结果也是无符号的，因此具有很大的正值。

将其转换为 int 以初始化 upper_bound 技术上会给出未定义的行为，但实际上会给你 -2；所以第一个测试通过了。

第二个测试与较大的无符号值而不是 -2 进行比较。