有序流上的减少是否按顺序减少？

Question

我有一个a、B、C的列表。

C减少A减少B！=A减少B减少C（但是，A减少（B减少C）是可以的）。

换句话说，我的约化运算是关联的，但不是交换的。

java是否在有序的顺序流（例如列表中的默认流）上强制执行减少将始终根据遇到顺序发生？也就是说，java会重新排序减少（例如B减少A而不是A减少B）吗？

（希望这足够清楚）。

编辑添加一个小演示，也许有助于澄清

Stream.of(" cats ", " eat ", " bats ")
  .reduce("", (a, b) -> a + b); // cats eat bats

有了以上这些，输出会是“蝙蝠猫吃”还是“蝙蝠猫吃”？这在规范中有保证吗？




Answer 1

让我担心的是reduce文档中的这条简介“这相当于……但不限于按顺序执行。”

执行顺序与遭遇顺序不同。流管道允许执行“猫”（“吃”“蝙蝠”）或（“猫”“吃”）“蝙蝠”

Answer 2

匿名用户

你一次问了两个问题。

1. java是否在一个有序的顺序流（比如列表中的默认流）上强制执行，减少总是根据遭遇顺序进行的

假设“总是会发生”指的是函数求值的顺序，答案是否定的，这是不能保证的。

Stream.of(" cats ", " eat ", " bats ")
  .reduce("", (a, b) -> a + b); // cats eat bats

无论归约函数的求值顺序（处理顺序）如何，结果都保证是“猫吃蝙蝠”，正确反映了遭遇顺序（另请参见此答案）。为了确保未指定的处理顺序仍然会产生与遭遇顺序有关的正确结果，按照规定，缩减函数必须是关联的

请注意，留档甚至显示. duce（"， String::concat）作为有效但低效的约简函数的示例。类似地，（a， b）-

文档的“关联性”部分给出了关键点：

如果以下条件成立，则运算符或函数op是关联的：

(a op b) op c == a op (b op c)

如果我们将其扩展到四个术语，就可以看出这对平行评估的重要性：

a op b op c op d == (a op b) op (c op d)

因此，我们可以与（c op d）并行计算（a op b），然后对结果调用op。

关联操作的示例包括数字加法、最小值和最大值以及字符串连接。

Answer 3

根据规范，它尊重元素的顺序。

证明很简单。该规范声称，约简函数必须是关联的。

然而，如果不保留顺序，联想性本身就没有任何意义。根据联想属性的数学定义：

在包含同一关联运算符的一行中两个或多个引用的表达式中，只要操作数的顺序不变，执行操作的顺序就无关紧要。

换句话说，关联属性并不意味着：

(a + b) + c = (a + c) + b

它只允许对应用操作的顺序进行任意排列。