java - 表达式包含“最多一个副作用，作为其最外层的操作”是什么意思？

Question

在Java 语言 Spex 15.7中：

当每个表达式最多包含一个副作用时，代码通常会更清晰，因为它的最外层操作

这是什么意思？

Answer 1

这意味着每个表达式一次应该执行一项任务。

考虑以下两个声明：

int a = 10;
int b = 20;

现在的任务是将这两个ints 相加并加b1。有两种方法可以做到。

int c = a + b++;

和

int c = a + b;
b++;

JLS 更喜欢并推荐后者。

Answer 2

这意味着：

int x = someFunction(a, b);

当someFunction(a, b)没有任何副作用时更清楚，即它不会改变任何东西。相反，上面唯一的变化是分配给x.

另一个例子是使用前缀/后缀增量器。

int x = a + b;

比

int x = (a++) + (++b);

因为只有x分配给。在第二个示例中a，并b在同一语句中进行了更改。

通过限制副作用，您可以更轻松地推断代码的功能和/或重新排序语句调用，包括将它们并行化，例如在下面，如果方法没有副作用，那么您可以调用方法a()，b()并c()以任何顺序和/或并行表示参数。

int res = f(a(), b(), c());

Answer 3

表达式的副作用主要是在表达式求值期间对变量的赋值。

注意代码：

int x = 5, y = 7;
while ((z = x-- + --y) > 0 ) {
    console.out("What is 'z' now? " + z);
    console.out("How many times will this be printed?");
}

病情评估有 3 个副作用：

• 递减x
• 递减y
• 分配给z

看起来很扭曲，不是吗？