java 8述語型の不一致、このコードは論理的です。

Question

このコードは論理的ですが、コンパイラが間違った型の述語isBondAssetについて不平を言っているのはなぜですか？

「資産を拡張する任意のタイプの述語」は、「資産を拡張する任意のタイプのスーパータイプの述語」か、間違っていますか？私は間違っていないですので、もしそれがその主な理由の

Predicate<? super Asset> isBondAsset 

一つでなければなりませんStream#filter

/** 
* Returns a stream consisting of the elements of this stream that match 
* the given predicate. 
* 
* <p>This is an <a href="package-summary.html#StreamOps">intermediate 
* operation</a>. 
* 
* @param predicate a <a href="package-summary.html#NonInterference">non-interfering</a>, 
*     <a href="package-summary.html#Statelessness">stateless</a> 
*     predicate to apply to each element to determine if it 
*     should be included 
* @return the new stream 
*/ 
Stream<T> filter(Predicate<? super T> predicate); 

によると、Predicatesを使用する可能性が既にのために定義されて

private static class Asset 
{ 
    public enum AssetType 
    { 
     BOND, 
     STOCK; 
    } 

    private final AssetType type; 
    private final int value; 

    public Asset (AssetType type, int value) 
    { 
     this.type = type; 
     this.value = value; 
    } 

    public AssetType getType() 
    { 
     return type; 
    } 

    public int getValue() 
    { 
     return value; 
    } 
} 

private static class AssetUtils 
{ 
    public static int totalBondAssetValues (Collection <? extends Asset> assets) 
    { 
     Predicate<? extends Asset> isBondAsset = asset -> Asset.AssetType.BOND.equals(asset.getType()); 

     return assets.stream().filter(isBondAsset).mapToInt(Asset::getValue).sum(); 
    } 
} 

Answer 1

の2つの型変数に名前を挙げてみましょう：

Collection<T> assets; 
Predicate<R> isBondAsset; 

コンパイラはTとR両方がAssetのサブタイプがあることを知っているが、それはそれは上に行くために持っているすべてです。 Predicate<R>がCollection<T>の場合Rは、Tのスーパータイプである必要がありますが、そのように宣言することはできません。

をワイルドカードで宣言する理由はありません。単にそれをPredicate<Asset>にするだけです。コンパイラは、Assetがすべての型のスーパータイプであることをコンパイラが認識しているため、コードはコンパイルされます。? extends Asset

Answer 2

<T>スーパータイプ：

List<String> stringList = Arrays.asList("1","22","3","44"); 

Predicate<Object> objectPredicate = o -> o.getClass().equals(String.class); 

Predicate<CharSequence> charSequencePredicate = ch -> ch.length() == 2; 

Predicate<String> stringPredicate = s -> s.contains("2"); 

stringList.stream().filter(objectPredicate).forEach(System.out::println); 

stringList.stream().filter(charSequencePredicate).forEach(System.out::println); 

stringList.stream().filter(stringPredicate).forEach(System.out::println);