Genericsパラメータは、Javaメソッドの別のパラメータを拡張します

Question

申し訳ありません、多分それは愚かな質問ですが、私は答えを見つけることができません。

メソッドの2つのジェネリックパラメータは、1つを別のものに拡張できますか？

public class A { 
} 

public class B extends A { 
} 

public class C { 
} 

public class Foo { 

    public static <R extends A> void f1 (A t, R r){ 
    } 

    // T and R are generics parameter, R bounds on T 
    public static <T, R extends T > void f2(T t, R r) { 
    } 

    public static void main(String[] args) { 

     A a = new A(); 
     B b = new B(); 
     C c = new C(); 

     Foo.f1(a, b); // no error 
     Foo.f1(a, c); // compile error, it's ok 

     Foo.f2(a, b); // no error 
     Foo.f2(a, c); // no error ! why? 
    } 
} 

最後f2メソッドの呼び出しには、コンパイルエラーを持っていませんが、私はCは、エラーがarisedれるべきコンパイルAのサブクラスではないと思います。どんな助け？

Answer 1

Javaコンパイラは結構ですObjectにTとRを推測する場合は、メソッドを呼び出すコード内の型パラメータは、暗黙的および例えばあるので、それはないですか？しかし、明示的に宣言すると、エラーが発生します：

Foo.<A, C>f2(a, c); //error as you wished 
Foo.<Object, Object>f2(a, c); //no errors and it's ok, isn't it?