Java的collectors.toset（）是否保证允许空值？

Question

set接口不promise实现是否允许null元素。每个实现都应该在其文档中声明这一点。

collectors.toset()promise返回set的实现，但显式地“不保证返回的set的类型、可变性、可序列化或线程安全性”。空-没有提到安全。

OpenJDK中collectors.toset()的当前实现总是使用hashset，它允许空元素，但这在将来可能会发生变化，其他实现可能会做不同的操作。

如果set实现禁止null元素，则它会在不同时间抛出nullPointerException，特别是在尝试add(null)期间。如果collectors.toset()决定使用不容忍Null的set实现，那么对stream stream调用stream.collectors.toset())将引发。collect的规范没有列出任何异常，任何collector方法的规范也没有列出任何异常。这可能表明collection调用允许stream中有Null，但另一方面不清楚这实际上是否有什么意义，因为NullPointerException是一个未经检查的异常，不一定要列出。

其他地方有没有更明确的规定？特别是下面的代码保证不扔吗？是否保证返回true？

import java.util.stream.*;

class Test {
    public static boolean setContainsNull() {
        return Stream.of("A", "list", "of", null, "strings")
                     .collect(Collectors.toSet())
                     .contains(null);
    }
}

如果不是，那么我假设在使用Collectors.Toset()或准备好处理NullPointerException之前，应该始终确保流不包含Null。（但仅此一个例外就够了吗？）或者，当这是不可接受的或困难的，我们可以使用collectors.toCollection(HashSet::new)这样的代码请求特定的集合实现。

编辑：有一个问题表面上听起来很相似，而这个问题被认为是那个问题的重复。但是，链接的问题根本不针对collectors.toset()。此外，这个问题的答案构成了我的问题的基本假设。这个问题问：流中允许Null吗？是的。但是，当通过标准收集器收集包含Null的（完全允许的）流时，会发生什么呢？

Answer 1

故意未指定的行为（如“类型、可变性、可序列化或线程安全”）与未指定的行为（如null支持）之间存在区别。

每当一个行为没有被充分指定时，引用实现的实际行为往往会成为后来无法更改的事实，即使与最初的意图相悖，由于兼容性限制，或者至少在没有强有力的理由的情况下无法更改。

请注意，虽然没有使用返回真正不可变或不可序列化的set的保留权限，只是因为Java ；8版本上不存在此类类型，但即使没有足够的哈希映射类型，也可以强制执行非null行为，就像groupingby禁止null键一样，尽管也没有得到充分的指定。

进一步注意，虽然groupingby收集器故意拒绝其实现代码中的null键，但tomap是实际行为如何成为契约一部分的一个很好的示例。在Java ；8中，tomap允许null键，但拒绝null值，这仅仅是因为它调用具有该行为的map.merge。看来，这不是一个故意的行为。现在，在Java ；9中，没有合并函数的tomap收集器不再使用map.merge(JDK-8040892，另请参阅此答案），而是故意拒绝收集器代码中的null值，以便与以前的版本在行为上兼容。仅仅是因为从来没有说过null行为是故意不指定的。

因此，collectors.toset()（以及同样的collectors.tolist())现在允许两个主要Java版本的null值，并且没有规范说您不能想当然地认为这一点，因此您可以肯定这一点在将来不会改变。