Javaでメソッドの引数に<T>が使えないのはなぜですか？

Question

現在ジェネリクスについて勉強中です。

引数として渡された2つのSetから同じ要素の数を順番に数えるメソッド
countSameElementsを作りました。

このメソッドの引数にSet<T>と出来ない理由を教えてください。

<?>と<T>の違いがわかりません。

よろしくおねがいします。

public class Generics {
	public static void main(String[] args) {
		Set<Integer> set1 = new LinkedHashSet<>();
		Set<Integer> set2 = new HashSet<>();

		set1.add(1);
		set1.add(2);
		set1.add(4);
		set1.add(3);

		set2.add(5);
		set2.add(2);
		set2.add(1);
		set2.add(3);

		Generics.countSameElements(set1, set2);
	}
        //ここで引数をSet<T> a, Set<T> bにはできない
	public static int countSameElements(Set<?> a, Set<?> b) {
		int result = 0;
		for (Object object : b) {
			if (a.contains(object)) {
				result++;
			}
		}
		return result;
	}
}

Answer 1

戻り値型の前に「<T>」を入れてメソッドをジェネリクスにします。

    public static <T> int countSameElements(Set<T> a, Set<T> b) {
        int result = 0;
        for (Object object : b) {
            if (a.contains(object)) {
                result++;
            }
        }
        return result;
    }

Comments

[退会済みユーザー]

回答ありがとうございます。

つまり戻り値型の前に<T>を入れることで
そのメソッドはジェネリクスメソッドとして機能し、
型である<T>はコンパイラが自動で判別してくれるようになる。
質問のコードでは戻り値型の前に<T>がなくジェネリクスメソッドとして判定されないので<T>を引数の型に指定できなかった。
という認識でしょうかね。

ありがとうございました。

Answer 2

「<?>」は「ワイルドカード」。
「任意の型を指定しなさい」の意味で使われる。

int countSameElements(Set<?> a, Set<?> b) { // <-- ここでは任意の型が使用可能

「T」は「どこかで指定済の型」を参照する型変数。

class MyObj<T>{ // <------------------------- ここで指定した型を

  private T value = null; // <--------------- ここや

  public void set(T val){  // <-------------- ここや
    this.value = val;
  }
  public T get(){ return this.value; } // <-- ここで使う

}

Comments

[退会済みユーザー]

回答ありがとうございます。

・?はなにかしらの型が入ることを保証させる
・Tは引数の型などに指定された型を参照する型

区別がつくようになりました。
ありがとうございます。