Java-generics-type-inference

Javaジェネリック-型推論

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

コンパイラは、未確認の変換警告を生成します。この場合、型推論は使用されません。

構文

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

どこで

• Box -Boxはジェネリッククラスです。
• <> -ダイアモンド演算子は型推論を示します。

説明

コンパイラーは、ダイヤモンド演算子を使用して、パラメーターのタイプを決定します。 この演算子は、Java SE 7バージョン以降で利用可能です。

例

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

GenericsTester.java

package com.finddevguides;

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