c++ - 为什么双端队列的大小会小于一个小数字？

Question

我有一个程序，我需要在其中做deque足够长的时间来将一个项目保存在某个索引处。我使用以下循环来扩展deque：

while(int1+deque1.size()<=int2){
     deque1.push_back(0);
}

当两者int1和int2都是-1（以及在许多其他情况下；这是我在调试时注意到的）时，deque1会增长到一个巨大的规模（数十万个项目），但循环仍在继续。为什么是这样？

Answer 1

deque::size() 返回一个 unsigned long int，因此 int1 和 int2 必须是正数，否则会溢出。

这是编译器自动生成的代码。

while(static_cast<unsigned long>(int1)+deque1.size()<=static_cast<unsigned long>(int2)){
 deque1.push_back(0);
}

因此，如果（例如）int1 是一个 8 位无符号整数，并且您给它赋值 -1，它将变为 (2^8 - 1 = 255)。这就是位编码在计算机中的工作原理。

解决方案大概如下：

while(int1+static_cast<ptrdiff_t>(deque1.size())<=int2){
 deque1.push_back(0);
}

干杯。