ラムダとジェネリックス：これはなぜコンパイルされますか？

Question

これが私のポイントを証明するために私のコードの短縮サンプルです：

public class Tmp { 

    static class X { 
    void setStr(String blah) { 
    } 
    String getStr() { 
     return null; 
    } 
    } 

    public void test() { 
    createCheck(X::getStr, ""); // supposed to compile 
    createCheck(X::getStr, 123); // rather not: int isn't String 
    } 

    private <T, V> BiPredicate<T, String> createCheck(Function<T, V> func, V value) { 
    return new BiPredicate<T, String>() { 

     @Override 
     public boolean test(T t, String ref) { 
     assertThat(func.apply(t)) 
      .as(ref) 
      .isEqualTo(value); 
     return true; 
     } 

    }; 
    } 

} 

IMHO、コンパイラはcreateCheck()でVが、それは文句を言う必要がある理由ですゲッター機能から来るStringでなければならないことがわかりますint。または、それ以外の方法です。

これはなぜコンパイルされますか？

Answer 1

あなたのシグネチャは次のとおりです。

private <T, V> BiPredicate<T, String> createCheck(Function<T, V> func, V value) { 

あなたはとても絶対にTまたはVのいずれかの値がコンパイルうTまたはVには限界がありません。 isEqualTo方法はString refを取り、Object valueへの平等を比較して

ただしBiPredicate<T, String>戻る- 私はisEqualToがObject.equalsの動作を模倣するObjectを取ると仮定して、これはまた、完全に合法です。あなたの例では

---

：それはStringとIntegerに適用できるバインドタイトなタイプがあるよう

createCheck(X::getStr, 123); 

Vは単にObjectです。

---

あなたはおそらくもしかして：まあ

private <T> BiPredicate<T, String> createCheck(Function<T, String> func, String value) {