c++ - 奇怪的计算结果

Question

为什么在这个例子中 d 不等于 b？

  unsigned int z = 176400;
  long a = -4;
  long b = a*z/1000; //b=4294261
  long c = a*z; // c=-705600
  long d = c/1000; // d =-705

我使用 Visual Studio 2008、Windows XP、core2duo。谢谢。

Answer 1

您使用的平台似乎是 int 和 long 的大小相同。 (我通过以下事实推断出这一点:如果 long 能够保存 unsigned int 的所有有效值，您将看不到您所看到的行为。)

这意味着在表达式 a*z 中，a 和 z 都被转换为 unsigned long结果的类型为 unsigned long。 (ISO/IEC 14882:2011, 5 [expr]/9 ...“否则，两个操作数都应转换为与带符号整数类型的操作数类型对应的无符号整数类型。”)

c 是将此表达式从 unsigned long 转换为 long 的结果，在您的情况下，这会导致实现定义的结果(即碰巧是负数)，因为 a*z 的正值不能用带符号的 long 表示。在 c/1000 中，1000 被转换为 long 并执行 long 除法(没有双关语)导致一个 long(恰好是负数)并存储到 d。

在表达式 a*z/1000 中，1000(int 类型的表达式)被转换为 unsigned long 并且在两个 unsigned long 之间执行除法，得到肯定的结果。此结果可表示为 long，并且在转换为 long 并存储到 b 时该值不变。