带括号的强制类型转换

Question

今天我发现了一些有趣而奇怪的东西。

下面代码的输出是：

410065408
9000000000

我发现带括号的“强制类型转换”是错误的。 我猜return (long) (a * b) 等于return (long) ((int) a * b)。

410065408(int) 的转换还是410065408(long)。

我说的对吗？

int main(int argc, char *argv[])
{
  int a = 100000, b = 90000;
  printf("%ld\n%ld\n", product_wrong(a, b), product_right(a, b));
  return 0;
}

long product_wrong(int a, int b)
{
  return (long) (a * b);
}


long product_right(int a, int b)
{
  return (long) a * b;
}

Answer 1

在表达式(long) (a * b) 中，(a * b) 是int 类型。转换为 long 发生得太晚了，您的程序的行为是未定义，因为您在平台上溢出了 int 类型。

(long)a * b 被分组为((long)a) * b，因此b 被提升为long。

仍然在某些平台上存在long 溢出的危险；考虑使用long long 以实现可移植性。