2つの異なる汎用引数を使用して汎用関数を呼び出す場合

Question

次のコードをどのようにコンパイルすることも可能ですか？私が見る限り、count関数は2つの異なる型で呼び出されていますが、コンパイラはこのコードを喜んでコンパイルしません。

public class Test { 
     public static <T> int count(T[] x,T y){ 
       int count = 0; 
       for(int i=0; i < x.length; i++){ 
         if(x[i] == y) count ++; 
       } 
       return count; 
     } 
     public static void main(String[] args) { 
       Integer [] data = {1,2,3,1,4}; 
       String value = "1"; 
       int r =count(data,value); 
       System.out.println(r + " - " + value); 
     } 
} 

Answer 1

この場合、Tは役に立たない。署名をpublic static int count(Object[] x, Object y)に変更することはできますが、コンパイラが受け入れる引数には何の影響もありません。 （あなたはArrays.fill()の署名は、その署名として使用していることがわかります。）私たちはあなただけのタイプTの引数を持つ単純なケースを考慮した場合

は、あなたがそれを見ることができ、Tの任意のインスタンスは、インスタンスであるため、 Tは常にその上限に推論することができ、以前と同じ引数型を受け入れます。したがって、Tを取り除き、その上限（この場合はObject）を使用することができます。 Javaで

アレイは、同じように動作する：アレイは、共変であるSはTのサブクラスである場合、S[]はT[]のサブクラスであることを意味します。したがって、上記と同じ引数が適用されます。つまり、型がTとT[]の場合、Tはその上限に置き換えることができます。

Answer 2

TObjectに上向きに強制されます。 Integer[]は、Object[]にアップキャストでき、StringはアップキャストされてObjectになり、タイプチェックされます。

Answer 3

タイプはそれほど違いはありません。どちらもjava.lang.Objectのサブクラスです。この場合、コンパイラはTがObjectであると仮定します。

Answer 4

をあなたがあなたの呼び出しを変更した場合：

（List<T>のサブタイプではないList<S>これは共変または反変ではありませんジェネリック型には適用されないことに注意してください。）：

int r = Test.<Integer>count(data, value); 

ますコンパイラが不平を言うのを見るでしょう。

Answer 5

2つのオブジェクトを一度に渡すと、Tに非常に多くの制約がかかります。これにより、コンパイラはObjectを推論します。幸運にも、単純な回避策があります - オブジェクトを1つだけ渡します。次のようにすると、予想されるエラーが発生します。

public static void main(String[] args) { 
    Integer[] data = { 1, 2, 3, 4 }; 
    String value = "1"; 
    int r = count(value).in(data); 
    System.out.println(r + " - " + value); 
} 

public static <T> Counter<T> count(T obj) { 
    return new Counter<T>(obj); 
} 

public static class Counter<T> { 
    private final T obj; 

    Counter(T obj) { 
     this.obj = obj; 
    } 

    public int in(T[] array) { 
     return in(Arrays.asList(array)); 
    } 

    public int in(Iterable<? extends T> iterable) { 
     int count = 0; 
     for (T element : iterable) { 
      if (element == obj) { 
       ++count; 
      } 
     } 
     return count; 
    } 
}