[Java] ジェネリクスのinstanceofについて

Question

Javaのジェネリクスの使い方で質問があります。Base<T>のTの型に応じて処理を以下のように振り分けたいです。

public class Base<T> {
     public Base() {}
}

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

public class HelloWorld{

     public static void main(String []args){
         Base[] bases = new Base[] {
           new Base<Integer>(),
           new Base<Long>(),
           new Base<Float>()
         };
         
         for (Base base : bases) {
             if (base instanceof Base<Integer>) {
                 // T=Integer の場合
                 method((Base<Integer>) base);
             } else if (base instanceof Base<Long>) {
                 // T=Long の場合
                 method((Base<Long>) base);
             } else {
                 // T=その他の場合
                 method(base);
             }
         }
     }
     
     public static void method(Base<Integer> baseInteger) {
         System.out.println("method(Base<Integer> baseInteger)");
         
     }
     public static void method(Base<Long> baseLong) {
         System.out.println("method(Base<Long> baseLong)");
         
     }
     public static void method(Base base) {
         System.out.println("method(Base base)");
         
     }
}

もちろんコンパイルエラーとなるのですが（下記参照）、どのようにすれば実現できるでしょうか？また、そもそもの話ですが、Tの型い応じて処理を振り分けるというのは、ジェネリクスの使い方として正しいのでしょうか？

sh-4.3$ javac HelloWorld.java                                                                                                                                          
HelloWorld.java:26: error: name clash: method(Base<Long>) and method(Base<Integer>) have the same erasure                                                              
     public static void method(Base<Long> baseLong) {                                                                                                                  
                        ^                                                                                                                                              
HelloWorld.java:30: error: name clash: method(Base) and method(Base<Integer>) have the same erasure                                                                    
     public static void method(Base base) {                                                                                                                            
                        ^                                                                                                                                              
HelloWorld.java:12: error: illegal generic type for instanceof                                                                                                         
             if (base instanceof Base<Integer>) {                                                                                                                      
                                     ^                                                                                                                                 
HelloWorld.java:14: error: illegal generic type for instanceof                                                                                                         
             } else if (base instanceof Base<Long>) {                                                                                                                  
                                            ^                                                                                                                          
Note: HelloWorld.java uses unchecked or unsafe operations.                                                                                                             
Note: Recompile with -Xlint:unchecked for details.                                                                                                                     
4 errors  

コンパイルはコチラのサイトで行いました。よろしくお願いします。

Answer 1

まず、Javaのジェネリクスは後付の機構ということもあって、Javaのソースコード上だけのもので、バイトコードにしたときには、ただのBaseとなってしまいます（<T>と範囲指定がない場合、<T>はObjectとしてコンパイルして、ジェネリクスとのやり取りの際にキャストする、みたいな形にコンパイルされます）。そのため、

• 型パラメーターの違いだけによるオーバーロード
• Base<?>から型情報を取得する

などのようなことは、通常の方法ではできません。

Comments

[yama_da]

> Javaのソースコード上だけのもので、
そうなんですね。コンパイル時にコードを生成するみたいなモノかと思ってました、、、
ありがとうございました！