Stream.foreach是否尊重顺序流的相遇顺序？

Question

stream.foreach的Javadoc表示（强调是我的）：

此操作的行为显式不确定。对于并行流管道，此操作不能保证尊重流的相遇顺序，因为这样做会牺牲并行性的好处。对于任何给定的元素，操作可以在库选择的任何时间和线程中执行。如果操作访问共享状态，则它负责提供所需的同步。

同样的文本也出现在Java9早期访问Javadoc中。

for (Foo foo : collection)
    foo.bar();

collection.stream().forEach((foo) -> {
    foo.bar();
});

如果forEach不保留遭遇顺序，则会引入bug。在报告针对NetBeans的bug之前，我想知道库实际上保证了什么，并由源代码进行了备份。

我在寻找一个来自权威来源的答案。这可能是库实现中的明确注释、Java开发邮件列表上的讨论（Google没有为我找到任何东西，但可能我不知道这些神奇的词），或者是库设计者的声明（我知道其中两个设计者，Brian Goetz和Stuart Marks在Stack Overflow上是活跃的）。（请不要回答“只使用forEachOrdered”--我已经使用了，但我想知道不使用的代码是否错误。）

Answer 1

规范的存在是为了描述调用者可以依赖的最小保证，而不是描述实现的功能。这一差距是至关重要的，因为它允许实现灵活性的发展。（规范是声明性的；实现是必要的。）规格过高和规格不足一样糟糕。

当一个规范说“不保存属性X”时，这并不意味着属性X可能永远不会被观察到；这意味着实现没有义务保存它。你声称的遭遇顺序永远不会被保留的暗示只是一个错误的结论。(hashset并不保证迭代它的元素会保留它们插入的顺序，但这并不意味着这不会意外发生--您只是不能指望它。）

类似地，您的含义“这表明forEach旨在为顺序流保留顺序”，因为您在某些情况下看到了这样做的实现，这同样是不正确的。