Generics、V extends T、互換性のない型の場合でもエラーなし

Question

私はジェネリックスを初めて使用しています。私は以下の構文からわかるように、VはTと同じかサブクラスであるべきですが、これはコンパイルエラーを表示せず、Tが文字列配列のときVが整数であってもFalseを返します。

class GenMethDemo { 

    public static <T ,V extends T> boolean isIn(T x, V[] y) { 

     for (int i =0; i< y.length; i++) 
      if (x.equals(y[i])) return true; 
     return false; 

    } 
} 



public class App { 

    public static void main(String[] args) { 

     String b[] = {"are", "how", "YOU"}; 

     System.out.println(GenMethDemo.isIn(1, b)); 

    } 

} 

しかし、私は行動が期待されているよう<T extends Comparable<T>, V extends T>と<T,V extends T>を交換した場合。 Javaの5/6/7で

Answer 1

、明示的Objectに最初の引数をキャストしない限り、このような一般的な方法にVとしてTとStringとしてIntegerを渡すと、「バウンド不一致」コンパイルエラーが発生します。 improved type inferenceへのJava 8で

、提供引数のTとVの関係を満たすように、Tはエラーを得ていない、VはStringであることを可能にする、? extends Objectとして推定されます。

あなたは<T extends Comparable<T>, V extends T>に制限した場合、Tは、可能な限り広いタイプComparable<Integer>に陥った場合、それはStringのスーパータイプではありませんIntegerとString --evenを満たすことができなタイプTとVのないような組み合わせはありません。したがって、期待どおりコンパイルエラーが発生しています。