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) 

似乎使這項工作。