为什么不进行整数和双操作数的数字升级？

Question

在最近的工作中，我遇到了一个问题，是关于一些操作数的数字提升。以下是演示代码：

int num1 = 9999999;
int num2 = 65536;
double result = num1*num2*1.0;

在我看来，我以为Num1和Num2都会自动提升到两倍，然后计算结果为其中一个操作数是两倍，而结果震惊了我。我得到了一个负数。然后我看了JLS，它还说它应该做数字推广，见下文：

"如果二进制运算符的操作数中至少有一个是浮点类型的，则该操作是浮点操作，即使另一个是整数。

如果数值运算符的操作数中至少有一个为double类型，则使用64位浮点运算执行该运算，数值运算符的结果为double类型的值。如果另一个操作数不是double，则首先通过数字提升（§5.1.5）将其加宽为double。

否则，使用32位浮点算法执行该运算，数值运算符的结果为float类型的值。（如果另一个操作数不是浮点，则首先通过数字提升将其加宽为类型浮点。）"

如果我把结果改成1.0*num1*num2，它会给出正确的答案。谁能告诉我这到底是什么。

Answer 1

这与运算符优先级有关，

在您的例子中，发生的是num1和num2是整数，首先计算它们，它们的结果也是一个整数，因为结果超出范围，因此您得到的结果是负数，下一步是与1.0相乘。在这里，正如您所期望的，结果被提升为双倍。但现在我们意识到为时已晚。

你可以试试这些

result=num1*1.0*num2;
result=1.0*num2*num1;
result=1.0*num1*num2;

Answer 2

否，num1*num2的结果提升为双精度。您的声明相当于：

double result = (num1 * num2) * 1.0;

因此，对于推广，这将是：

int firstMultiplication = num1 * num2;
double promoted = firstMultiplication;
double result = promoted * 1.0;

基本上，这只是操作员优先级的问题。数字提升发生在操作数上——不是所有的表达式都参与了计算操作数。