如果findFirst（）找到的第一个元素为null，为什么会抛出NullPointerException？

为什么这样抛出java.lang.NullPointerException？

List<String> strings = new ArrayList<>();
        strings.add(null);
        strings.add("test");

        String firstString = strings.stream()
                .findFirst()      // Exception thrown here
                .orElse("StringWhenListIsEmpty");
                //.orElse(null);  // Changing the `orElse()` to avoid ambiguity

中的第一项strings是null，这是一个完全可以接受的值。此外，findFirst()返回Optional，这对于findFirst()能够处理nulls更有意义。

编辑：更新了orElse()以减少歧义。

这样做的原因是Optional<T>在返回中使用。不允许包含Optional null。本质上，它无法区分“不存在”和“存在”，但是将其设置为null“”。

这就是为什么该文件明确禁止时的情况null中选择findFirst()：

抛出：

NullPointerException -如果所选元素是 null

正如已经讨论过的，API设计人员并不假定开发人员要以null相同的方式对待值和缺少值。

如果您仍然想要这样做，可以通过应用序列来明确地执行

.map(Optional::ofNullable).findFirst().flatMap(Function.identity())

到流。如果没有第一个元素或如果第一个元素是，则在两种情况下，结果都是一个空的可选null。因此，您可以使用

String firstString = strings.stream()
    .map(Optional::ofNullable).findFirst().flatMap(Function.identity())
    .orElse(null);

null如果第一个元素不存在或，则获取一个值null。

如果要区分这些情况，可以简单地省略以下flatMap步骤：

Optional<String> firstString = strings.stream()
    .map(Optional::ofNullable).findFirst().orElse(null);
System.out.println(firstString==null? "no such element":
                   firstString.orElse("first element is null"));

这与您更新的问题没有太大不同。你只需要更换"no such element"与"StringWhenListIsEmpty"和"first element is null"用null。但是，如果您不喜欢条件式，也可以这样实现：

String firstString = strings.stream().skip(0)
    .map(Optional::ofNullable).findFirst()
    .orElseGet(()->Optional.of("StringWhenListIsEmpty"))
    .orElse(null);

现在，firstString将是null如果元素存在但仍然存在null，它将是"StringWhenListIsEmpty"当元素不存在时。

您可以java.util.Objects.nonNull在找到之前使用过滤列表

就像是

list.stream().filter(Objects::nonNull).findFirst();

以下代码替换为findFirst()，limit(1)并替换orElse()为reduce()：

String firstString = strings.
   stream().
   limit(1).
   reduce("StringWhenListIsEmpty", (first, second) -> second);

limit()只允许1个元素到达reduce。在BinaryOperator传递到reduce返回的是1元，否则"StringWhenListIsEmpty"，如果没有元素到达reduce。

此解决方案Optional的BinaryOperator优点在于，它不会分配，而lambda不会分配任何东西。

可选应该是“值”类型。（请阅读javadoc中的详细信息：） JVM甚至可以Optional<Foo>用just替换所有内容Foo，从而消除所有装箱和拆箱费用。甲null富指空的Optional<Foo>。

一种可能的设计是允许Optional具有null值，而无需添加布尔标志-只需添加一个哨兵对象。（甚至可以this用作哨兵；请参阅Throwable.cause）

Optional不能包装null的决定不是基于运行时成本的。这是一个极具争议的问题，您需要挖掘邮件列表。这个决定并不使所有人信服。

无论如何，由于Optional不能包装null值，因此在类似的情况下，它会将我们推到了一个角落findFirst。他们必须认为，空值非常少见（甚至认为Stream应当禁止空值），因此，将异常引发到空值而不是空流上更为方便。

解决方法是装箱null，例如

class Box<T>
    static Box<T> of(T value){ .. }

Optional<Box<String>> first = stream.map(Box::of).findFirst();

（他们说解决每个OOP问题的方法是引入另一种类型：）