带有选项的 Java 8 泛型集合

Question

我正在尝试解决一个看起来相对简单的问题。似乎没有一种直观的方法可以做到这一点，或者我在这里遗漏了一些东西。

考虑这种方法来查找主图像，如果不存在，则返回第一张图像-

public Image findMainImage(Collection<? extends Image> images) {
    if (images == null || images.isEmpty()) return null
    return images.stream()
                 .filter(Image::isMain)
                 .findFirst()
                 .orElse(images.iterator().next())
}

我收到一个错误 - orElse(capture<? extends Image>) in Optional cannot be applied

这方面的任何方向都会很棒。

Answer 1

修复它的一种方法是使用类型参数：

public <I extends Image> I findMainImage(Collection<I> images) {
    if (images == null || images.isEmpty()) return null;
    return images.stream()
                 .filter(Image::isMain)
                 .findFirst()
                 .orElse(images.iterator().next());
}

因为（对于编译器）Optional 肯定与images 具有相同的类型参数。

如果我们愿意，我们可以将其用作capturing helper：

public Image findMainImage(Collection<? extends Image> images) {
    return findMainImageHelper( images );
}

private <I extends Image> I findMainImageHelper(Collection<I> images) {
    // ...
}

就个人而言，我只会使用通用版本，因为这样你就可以这样做：

List<ImageSub> list = ...;
ImageSub main = findMainImage( list );

---

基本上......为什么它最初无法编译的原因是为了防止你做这样的事情：

public Image findMainImage(
    Collection<? extends Image> images1,
    Collection<? extends Image> images2
) {
    return images1.stream()
                  .filter(Image::isMain)
                  .findFirst()
                  .orElse(images2.iterator().next());
}

在原始示例中，编译器不需要确定Stream 和Iterator 来自同一个对象这一事实。引用同一对象的两个单独的表达式被捕获为两个单独的类型。

Answer 2

假设您有一个List<? extends Number>。您无法将任何号码添加到此列表中，因为它可能是List<Integer>，而您尝试添加的号码可能是Float。

出于同样的原因，Optional<T> 的方法orElse(T t) 需要T。由于所讨论的Optional 是Optional<? extends Image>，因此编译器无法确定images.iterator().next() 的类型是否正确。

我通过输入 .map(t -> (Image) t) 来编译它：

return images.stream()
             .filter(Image::isMain)
             .findFirst()
             .map(t -> (Image) t)
             .orElse(images.iterator().next());

事实上，出于某种我无法理解的原因，即使没有演员表也能正常工作。只是使用

.map(t -> t)

似乎可以做到这一点。