Javaジェネリックス-型推論

型推論は、メソッド呼び出しとそれに対応する宣言を調べて型引数をチェックおよび決定するJavaコンパイラーの機能を表します。推論アルゴリズムは引数の型をチェックし、利用可能な場合は、割り当てられた型が返されます。推論アルゴリズムは、すべての型パラメーターを満たすことができる特定の型を見つけようとします。

型推論が使用されない場合、コンパイラはチェックされていない変換警告を生成します。

構文

Box<Integer> integerBox = new Box<>();

どこ

• Box −ボックスはジェネリッククラスです。

• <> −ダイヤモンド演算子は、型推論を示します。

説明

コンパイラーは、diamond演算子を使用して、パラメーターのタイプを判別します。この演算子は、Java SE7バージョン以降で使用できます。

例

任意のエディタを使用して、次のJavaプログラムを作成します。

GenericsTester.java

package com.tutorialspoint;

public class GenericsTester {
   public static void main(String[] args) {
      //type inference   
      Box<Integer> integerBox = new Box<>();
      //unchecked conversion warning
      Box<String> stringBox = new Box<String>();

      integerBox.add(new Integer(10));
      stringBox.add(new String("Hello World"));

      System.out.printf("Integer Value :%d\n", integerBox.get());
      System.out.printf("String Value :%s\n", stringBox.get());
   }
}

class Box<T> {
   private T t;

   public void add(T t) {
      this.t = t;
   }

   public T get() {
      return t;
   }   
}

これにより、次の結果が得られます。

出力

Integer Value :10
String Value :Hello World