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) 

似乎使这项工作。