Javaジェネリックス-有界型パラメーター

タイプパラメータに渡すことができるタイプの種類を制限したい場合があります。たとえば、数値を操作するメソッドは、数値またはそのサブクラスのインスタンスのみを受け入れたい場合があります。これが、有界型パラメーターの目的です。

有界型パラメーターを宣言するには、型パラメーターの名前、extendsキーワード、およびその上限をリストします。

次の例は、extendsが一般的な意味でどのように使用され、「extends」(クラスのように)または「implements」(interfacesのように)を意味するかを示しています。この例は、3つの比較可能なオブジェクトの最大のものを返すジェネリックメソッドです-

public class MaximumTest {
   // determines the largest of three Comparable objects
   
   public static <T extends Comparable<T>> T maximum(T x, T y, T z) {
      T max = x;   // assume x is initially the largest
      
      if(y.compareTo(max) > 0) {
         max = y;   // y is the largest so far
      }
      
      if(z.compareTo(max) > 0) {
         max = z;   // z is the largest now                 
      }
      return max;   // returns the largest object   
   }
   
   public static void main(String args[]) {
      System.out.printf("Max of %d, %d and %d is %d\n\n", 
         3, 4, 5, maximum( 3, 4, 5 ));

      System.out.printf("Max of %.1f,%.1f and %.1f is %.1f\n\n",
         6.6, 8.8, 7.7, maximum( 6.6, 8.8, 7.7 ));

      System.out.printf("Max of %s, %s and %s is %s\n","pear",
         "apple", "orange", maximum("pear", "apple", "orange"));
   }
}

これにより、次の結果が生成されます-

出力

Max of 3, 4 and 5 is 5

Max of 6.6,8.8 and 7.7 is 8.8

Max of pear, apple and orange is pear