为什么不同语言Java，C ++之间的复合赋值+ =不同？

问题描述

在Java和C ++中，+=的定义似乎相同，但是它们的执行方式有所不同。

请考虑以下C ++代码：

#include <iostream>

int n;
int f(int x) {
    n += x;
    return x;
}
int main() {
    n = 0;
    n = n + f(3);
    std::cout<<n<<" ";
    n = 0;
    n += f(3);
    std::cout<<n<<" ";
    n = 0;
    n = f(3) + n;
    std::cout<<n<<std::endl;
}

这将输出：3 6 6

Java输出中类似的代码：3 3 6，这是供参考的代码。

static int n;
public static void main(String[] args) {
    n = 0;
    n = n + f(3);
    System.out.println(n);
    n = 0;
    n += f(3);
    System.out.println(n);
    n = 0;
    n = f(3) + n;
    System.out.println(n);
}
public static int f(int x) {
    n += x;
    return x;
}

看看C++和Java的文档，他们写了类似的定义：

C ++：

E1 op = E2（其中E1是可修改的左值表达式，E2是右值表达式或大括号初始列表（自C ++ 11起））与表达式E1 = E1 op的行为完全相同E2，只是表达式E1仅被计算一次，并且对于不确定顺序的函数调用，它表现为单个操作

Java：

形式为E1 op = E2的复合赋值表达式等效于E1 =（T）（（E1）op（E2）），其中T是E1的类型，只是E1仅被评估一次。 >

出于好奇，我在Python中进行了检查，它的输出与Java相同。当然，编写这样的代码是非常糟糕的做法，但是我仍然对解释感到好奇。

我怀疑变量+=在不同语言中的求值方式顺序是不同的，但我不知道该怎么做。我缺少什么定义？如何评估复合赋值运算符？

解决方法

这与评估顺序的关系比“复合赋值运算符的作用”更多，因此您会在两种语言的规范的“评估顺序”部分中找到更多有用的信息。

对于Java，JLS §15.7：

二进制运算符的左侧操作数似乎已完全 在评估右侧操作数的任何部分之前进行评估。

如果该运算符是复合赋值运算符（第15.26.2节），则 左侧操作数的评估包括记住 左操作数表示的变量并获取并保存 该变量的值用于隐式二进制操作。

因此，df1 = (df1.reset_index() .merge(df1.name.str.findall('|'.join(set(df2['tag'].tolist()))).explode().reset_index(name='tag'),on='index') .drop('index',axis=1)) df=df1.merge(df2) 左侧的n首先求值到+=。然后，右侧求值为0。然后将该值与左侧的总和写入3。

对于C ++，Evaluation Order：

查看“规则”部分中的项目20：

在每个简单赋值表达式E1 = E2和每个复合赋值表达式E1 @ = E2中，E2的每个值计算和副作用都在E1的每个值计算和副作用之前进行排序

在这里，首先评估E2（右侧），将其评估为3，然后评估左侧。此时，n已由n更改为3，因此左侧的求值为3。

,

评估顺序-在Java中严格从左到右

n += f(3);

因此：'n'为0。f（3）返回3。因此我们将0和3相加，并将结果分配给n。在f（）中将n赋值无效。

Java语言规范：

[…]保存左侧操作数的值，然后 右手操作数被评估。 […]

对于C ++，我相信（但没有检查）评估顺序未定义。

在您的情况下，调用了f（3），n变为3，然后将f（3）的结果添加到n的新值中。

---

要确定表达式的含义，您不能仅查看所涉及的运算符。评估顺序很重要，在同一表达式中修改和使用变量的情况下，精美的字体很重要（结果可能会或可能不会用该语言定义）。