为什么 Int32.MinValue - 1 返回 Int32.MaxValue？

Question

当我执行以下代码时，我（对我来说）出现了一些意想不到的行为。

int i = Int32.MinValue;
i--;
if (i == Int32.MaxValue)
{
    Console.WriteLine("i == Int32.MaxValue");
}
i++;
if (i == Int32.MinValue)
{
    Console.WriteLine("i == Int32.MinValue");
}

为什么 Int32.MinValue 上的 -1 不抛出异常？

Answer 1

由于下溢，值会环绕。

您需要使用 checked 部分，如果你想要抛出溢出/下溢。

checked 关键字用于显式启用整型算术运算和转换的溢出检查。

Answer 2

来自 MSDN：

当发生整数溢出时，会发生什么取决于执行上下文，可以检查或不检查。在检查的上下文中，会引发 OverflowException。在未经检查的上下文中，结果的最高有效位将被丢弃并继续执行。因此，C# 使您可以选择处理或忽略溢出。

MSDN 链接

Answer 3

C# 与 C 一样，实际上并不执行上溢/下溢检查，除非明确编写/告知这样做。因此，从 100...000 中减去 1 并得到 011...111 是没有问题的。

Answer 4

int 是一个二进制补码二进制数。