当试图在 C 中存储高于 32,767 的短整数值时，为了看看会发生什么，我注意到打印到屏幕上的结果是我试图存储的数字 - 65,536。例如。如果我尝试将 65,536 存储在一个短变量中，则打印到屏幕上的数字为 0。如果我尝试存储 32,768，我将 -32,768 打印到屏幕上。如果我尝试存储 65,546 并将其打印到屏幕上，我得到 10。我想你明白了。为什么我会看到这些结果？
【问题讨论】：
整数值使用Twos Complement 存储。在二进制补码中，可能值的范围是 -2^n 到 2^n-1，其中 n 是用于存储的位数。由于存储的方式，当你超过2^n-1时，你最终会回到2^n。
short 使用 16 位（15 位用于数字存储，最后一位是符号）。
编辑：请记住，不保证会发生此行为。编程语言的行为可能完全不同。从技术上讲，高于或低于最大/最小值是未定义的行为，应该这样对待。 （感谢 Eric Postpischil 让我保持警觉）
【讨论】：
当一个值转换为有符号整数类型但不能以该类型表示时，会发生溢出，并且行为未定义。通常会看到结果，好像使用了二进制补码编码并且好像存储了低位（或者，等效地，值以适当的 2 次方为模包装）。但是，您不能依赖此行为。 C 标准说，当有符号整数溢出发生时，行为是未定义的。所以编译器可能会以令人惊讶的方式行事。
考虑这段代码，它是为 short int 为 16 位的目标编译的：
void foo(int a, int b)
{
if (a)
{
short int x = b;
printf("x is %hd.\n", x);
}
else
{
printf("x is not assigned.\n");
}
}
void bar(int a, int b)
{
if (b == 65536)
foo(a, b);
}
如果b 在short int 的范围内，请注意foo 本身就是一个完美的函数。而bar 是一个非常好的函数，只要它只在a 等于0 或b 不等于65536 时调用。
虽然编译器在bar 中内联foo，但它可能从b 此时必须为65536 的事实推断出short int x = b; 中会出现溢出。这意味着要么永远不会采用此路径（即a 必须为零），要么允许任何行为（因为溢出时的行为未由 C 标准定义）。在任何一种情况下，编译器都可以随意省略此代码路径。因此，为了优化，编译器可以省略此路径并仅为printf("x is not assigned.\n"); 生成代码。如果您随后执行包含bar(1, 65536) 的代码，则输出将是“x 未分配”！
编译器确实会进行这种优化：观察到一个代码路径具有未定义的行为意味着编译器可能会得出从未使用过代码路径的结论。
对于观察者来说，给short int 分配过大的值似乎会导致执行完全不同的代码。
【讨论】：