Javaでは、クラスだけでなく、メソッドでもジェネリックを利用することができる。例えば任意の型のHashSetを返すメソッドは以下のように定義できる。ジェネリックメソッドを定義する場合、ジェネリックメソッドの型パラメータは、メソッド修飾子とメソッドの型の間に入ることに注意しよう。
public static <E> Set<E> newHashSet(){
return new HashSet<E>();
}
ジェネリックメソッドで強力なのは、型推論が利用できることだ。このメソッドは呼び出し時に明示的に型を指定する必要はない。Javaが変数の型からコンパイル時に型を推論してくれるからだ。よって、String型のSetを得たいなら以下のように書くだけで良い。
Set<String> set = newHashSet();
このようなメソッドは、ジェネリックを利用してオブジェクトを生成することから、ジェネリックstaticファクトリーメソッドと呼ばれることもあるようだ。
もしジェネリックstaticファクトリーメソッドを使用せずに、String型のSetを得たいなら、以下のように型パラメータを明示したコンストラクタを使わなければならない。これは冗長な記述だとして、しばしばJavaの批判の対象になる。
Set<String> set = new HashSet<String>();
これと比べると、ジェネリックstaticファクトリーメソッドを使う方法は、右辺から型を消しされるので、幾らか簡潔に記述できることがわかる。
型推論が使えるのは、返り値の型にとどまらない。引数の型でも型推論が働く。例えば2つのSetの和集合を求めるメソッドunionは以下のように定義して、呼び出すことができる。型推論によってSet<E>がSet<String>であることが推論されている。
public static <E> Set<E> union(Set<E> s1, Set<E> s2){
Set<E> result = new HashSet<E>(s1);
result.addAll(s2);
return result;
}
Set<String> s1 = newHashSet();
s1.add("hoge");
Set<String> s2 = newHashSet();
s2.add("piyo");
Set<String> result = union(s1, s2);
System.out.println(result); #=> ["hoge", "piyo"]
以上のように、Javaのジェネリックメソッドを使えば、高い抽象度で処理を記述できるとともに、型推論によってコードの記述量を削減することができる。Javaのジェネリックメソッドについては、Effective Javaの項目27が詳しい。
ピアソンエデュケーション
売り上げランキング: 88,031
