Question

请考虑以下代码：

#include <iostream>
int main(int argc, char* argv[])
{
    int i = /* something */;
    for (std::size_t n = 0; n < 100; ++n) {
        i *= 2;
        std::cout << i << std::endl;
    }
}

对有符号整数进行溢出是未定义的行为。但是，我不明白为什么这段代码似乎总是以0结尾。任何解释？

Answer 1

想象一下，将十进制数重复乘以十。每次进行乘法运算时，会在十进制表示中添加一个额外的零：

12345         // Initial value
123450        // × 10
1234500       // × 100
12345000      // × 1000
123450000     // × 10000
1234500000    // × 100000
12345000000   // × 1000000
123450000000  // × 10000000
1234500000000 // × 100000000

如果您的数字表示具有有限数量的K位数，并且在乘法后保持较低的K位数，则在最多K次乘法后得到的表示将变为零（对于可被十次幂整除的数字而言较少）。

同样的事情发生在二进制数字上，因为2到二进制数是十进制数的10（事实上，二进制中的两个也是10;对于任何基数中的数字都是如此：数字系统的基数在该系统中写为10）。

为什么对于有符号整数，i * = 2似乎收敛为0？

1 个答案: