为什么size()小于-1，size()-1是错的

版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/zhaohaibo_/article/details/86652112

今天学弟问了这个问题，感觉很有意思
为什么下面这句话输出结果是 1 ?

vector<int> vec{1,2,3};
cout << (vec.size() < -1) << endl;

测试了一下发现这样写可以解决这个问题，正确输出结果0

vector<int> vec{1,2,3};
cout << ((int)vec.size() < -1) << endl;

STL中的size()，是一个无符号整形变量（unsigned int），在于其他数做运算时，会把其他数字强制转换为无符号整形。

而unsigned int(-1)的值是最大的unsigned int，即4294967295。

---

这也是为什么说for (int i = 0; i < vec.size() - 1; i ++ )这个写法是不被推荐的，
应该换成for (int i = 0; i + 1 < vec.size(); i ++ )

如果STL容器为空，那么(unsigned int) 0 - 1 == 4294967294，循环不仅不能跳出还会变成死循环。

---

强制转换在处理防止溢出的时候很常用

比如二分的时候可以用int mid = (l + r + 1ll) >> 1;(typedef long long ll;) 防止l + r + 1超过int的范围：
先把l + r + 1强制转换为long long ，再赋值给int型的mid。

或者 int a = b + c - d + 0ll这种操作。