vector数组中size函数的返回值问题

刷题时遇到下面的问题，此段代码会死循环！ 问题在于size()函数的返回值！

vector<int> nums{ 2,1 };
for (int i = nums.size()-1; i >= nums.size()-2; i--) {
        //int res = nums[0];  
        //cout << res <<' '<< nums.size()<< endl;
    }

std::vector::size
size_type size() const noexcept;

该返回值类型是 size_type ，而 size_type 的类型是：unsigned int。

有符号与无符号比较时，有符号数会转换成无符号数来进行比较。因此对于int型的 i 和 unsigned int 型的 nums.size()-2 , 当i小于0时，在执行判断i >= nums.size()-2时 i 会被转化为无符号数。
int和unsigned int型在内存中占4个字节，32位: int -2147483648 ~ +2147483647 (4 Bytes)
unsigned int 0 ~ 4294967295 (4 Bytes)
i 为-1时，即1000 0000 0000 0000 0000 0000 0000 0001，其补码为 1111 1111 1111 1111 1111 1111 1111 1111 ，则 i= -1 在内存中的表示为1111 1111 1111 1111 1111 1111 1111 1111，即4294967295， 因此会继续循环。

https://blog.csdn.net/u012675103/article/details/45953183

int和unsigned int测试：

int main() {
    int a = -1;
    bitset<32> a1(a);
    printf("%u", a);  //4294967295
    cout << "a_bit:" << a1 << endl; //11111111111111111111111111111111

    int c = 2147483648;
    bitset<32> b(c);
    cout << c << endl; //-2147483648
    printf("%u\n", c); //2147483648
    cout << "c_bit:" << b << endl; //10000000000000000000000000000000

    bitset<32> b1(c+1); 
    cout << c + 1 << endl; //-2147483647
    printf("%u\n", c + 1); //2147483649
    cout << "c_bit:" << b1 << endl;//10000000000000000000000000000001

    bitset<32> b2(c - 1);  
    cout << c - 1 << endl;  //2147483647
    printf("%u\n", c-1);  //2147483647
    cout << "c_bit:" << b2 << endl; //01111111111111111111111111111111

}