Java8：ラムダ関数のジェネリックバージョンのコンパイルエラー

Question

ここでは、2つの単純なクラスDadとSonを作成します.SonはDadのサブクラスです。

public class Dad { 
} 

public class Son extends Dad { 
} 

は、その後、私は

public class Test { 
    public static void main(String[] args) { 
     Function<? extends Dad, String> fun = son -> son.toString(); 
     fun.apply(new Son()); 
} 

をテストするために、他のクラスのFunctionを作成しかし、私はfun.apply(new Son())にコンパイルエラーに出くわし、それは）目的球でcaptrueは（息子にappiledすることはできません（適用されます」と言っ） '。私は混乱しています、funはDadを拡張するクラスのparamを必要とします、私はサブクラスを与えますが、まったくそうではありません。

さらに情報があります！私は

最後に、私はときに使用することができたのparam分からない「（目的球でcaptrueは（お父さん）にappiledすることはできません）を適用」funためのparamとしてnew Dad()を試してみてください、だけでなく、エラーメッセージが表示されました汎用バージョンのFunction

ヘルプ~~~ ありがとうございます！ （⊙o⊙）

Answer 1

は、次のことを考えてみましょう：

class Daughter extends Dad {} 

Function<Daughter, String> funcForDaughter = ...; 
Function<? extends Dad, String> fun = funcForDaughter; // ok 

fun.apply(new Son()); 

コンパイラはあなたがこれをやらせる場合は、あなただけDaughterを受け入れる方法にSonを渡すことができます。同じ理由でfun.apply(new Dad())に電話することも禁じられています。

Function<? extends Dad, String> funは、いずれもDadのサブタイプではfunが機能しているわけではありません。この時点では知られていないDadの特定のサブタイプでfunが機能することを意味します。

このように宣言することで、fun.applyをnull以外に呼び出すことは安全ではないので、コンパイラはそれをやりなくしません。