汎用タイプの不一致

Question

class GenMethDemo { 
    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; 
    } 

    /*when compiled in java 7 it producing an error and compiling in java 8 without error */ 
    public static void main(String args[]) { 
     Integer nums[] = {1, 2, 3, 4, 5}; 
     String s[] = {"one", "two", "three"}; 
     System.out.println(isIn("fs", nums)); 
     /* 
     when compiled in java 7 it producing an error and compiling in java 8 without error */ 
    } 
} 

Answer 1

これは、Java 8の一般化されたターゲット型の推論の改善によるものです。実際、私は先週のような質問に答えました。 Java 8 call to generic method is ambiguous

質問Java 8: Reference to [method] is ambiguousの最初の回答も非常に良いです。

Java 8では、汎用メソッドに引き渡される引数の型を推論できます。 @Thomasがコメントしたように、タイプTはObjectであると推定され、VはObjectというオブジェクトであると推定されます（Integer）。 Java 7では、Integerは明らかにStringを拡張しないので、これはちょうどエラーを投げます。

Answer 2

Java 7では、T = StringとV = Integerは、V extends Tを満たしません。

ただし、これが機能することをJavaの8つの状態のJLS：あなたのケースではこのように

List<Number> ln = Arrays.asList(1, 2.0); 

これはT = V = Objectに解決されるだろう。