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);
}

干杯。