问题背景
我有一个std::vector,里面用来装4个数,为零的数总是在末尾,
例如:
1,2,3,0
3,3,0,0
0,0,0,0
因此我只需要存储前面的非零的数,但是打印这个数组的时候我又希望把后面的0补齐,因此有如下代码:
std::vactor<int> container;
// 从最后一位开始数0,一直到这个数组的长度的位置
for (int i=3;i>=container.size();i--)
{
printf("0, ");
}
乍一看看不出毛病,但是编译运行发现一直打印0,打印container.size()却发现没问题(比如为0)
将container.size()替换为0这个数字发现bug没了
问题就发生在这里的大小比较上:
i>=container.size()
这里的i是个int(有符号),而这里的container.size()是std::size_t(无符号)
,如果两个数都是非负数,那么没什么问题,因为无符号整型和有符号整型对正数的存储的二进制序列是一模一样的,但恰好这里的循环又使用的是从大到小递减,当减到-1时本应该停止循环,但是判断(signed)-1 >= (unsigned)0这个式子时,结果为真,因为有符号的-1被转成了无符号的某个很大的数,例如2的32次方-1,结果就是真,然后一直–,要循环4294967296次,十分离谱