package com.tutorialspoint;

public class GenericsTester {
   public static void main(String[] args) 
      throws InstantiationException, IllegalAccessException {
      Box<String> stringBox = new Box<String>();
      add(stringBox, String.class);
   }  

   public static <T> void add(Box<T> box) {
      //compiler error
      //Cannot instantiate the type T
      //T item = new T();  
      //box.add(item);
   }

   public static <T> void add(Box<T> box, Class<T> clazz) 
      throws InstantiationException, IllegalAccessException{
      T item = clazz.newInstance();   // OK
      box.add(item);
      System.out.println("Item added.");
   }   
}

class Box<T> {
   private T t;

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

   public T get() {
      return t;
   }   
}

Это даст следующий результат —

Item added.

Java Generics — нет статического поля

При использовании шаблонов параметры типа не могут быть статическими. Поскольку статическая переменная является общей для объекта, компилятор не может определить, какой тип использовать. Рассмотрим следующий пример, если параметры статического типа были разрешены.

пример

package com.tutorialspoint;

public class GenericsTester {
   public static void main(String[] args) {
      Box<Integer> integerBox = new Box<Integer>();
	  Box<String> stringBox = new Box<String>();
	  
      integerBox.add(new Integer(10));
      printBox(integerBox);
   }

   private static void printBox(Box box) {
      System.out.println("Value: " + box.get());
   }  
}

class Box<T> {
   //compiler error
   private static T t;

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

   public T get() {
      return t;
   }   
}

Поскольку stringBox и integerBox имеют переменную статического типа, ее тип не может быть определен. Следовательно, параметры статического типа не допускаются.

Java Generics — без ролей

Преобразование в параметризованный тип не допускается, если оно не параметризовано неограниченными подстановочными знаками.

Box<Integer> integerBox = new Box<Integer>();
Box<Number> numberBox = new Box<Number>();
//Compiler Error: Cannot cast from Box<Number> to Box<Integer>
integerBox = (Box<Integer>)numberBox;

Чтобы достичь того же, можно использовать неограниченные символы подстановки.

private static void add(Box<?> box) {
   Box<Integer> integerBox = (Box<Integer>)box;
}

Java Generics — Нет instanceOf

Поскольку компилятор использует стирание типа, среда выполнения не отслеживает параметры типа, поэтому во время выполнения разницу между Box <Integer> и Box <String> невозможно проверить с помощью оператора instanceOf.

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

//Compiler Error:
//Cannot perform instanceof check against 
//parameterized type Box<Integer>. 
//Use the form Box<?> instead since further 
//generic type information will be erased at runtime
if(integerBox instanceof Box<Integer>) { }

Java Generics — без массива

Массивы параметризованных типов недопустимы.

//Cannot create a generic array of Box<Integer>
Box<Integer>[] arrayOfLists = new Box<Integer>[2]; 

Поскольку компилятор использует стирание типа, параметр типа заменяется на Объект, и пользователь может добавить любой объект в массив. И во время выполнения код не сможет генерировать ArrayStoreException.

// compiler error, but if it is allowed
Object[] stringBoxes = new Box<String>[];
  
// OK
stringBoxes[0] = new Box<String>();  

// An ArrayStoreException should be thrown,
//but the runtime can't detect it.
stringBoxes[1] = new Box<Integer>();  

Java Generics — без исключений

Универсальный класс не может расширять класс Throwable прямо или косвенно.

//The generic class Box<T> may not subclass java.lang.Throwable
class Box<T> extends Exception {}

//The generic class Box<T> may not subclass java.lang.Throwable
class Box1<T> extends Throwable {}

Метод не может перехватить экземпляр параметра типа.

public static <T extends Exception, J> 
   void execute(List<J> jobs) {
      try {
         for (J job : jobs) {}
  
         // compile-time error
         //Cannot use the type parameter T in a catch block
      } catch (T e) { 
         // ...
   }
} 

Параметры типа разрешены в предложении throws.

class Box<T extends Exception>  {
   private int t;

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

   public int get() {
      return t;
   }   
}

Java Generics — без перегрузки

Класс не может иметь два перегруженных метода, которые могут иметь одну и ту же сигнатуру после стирания типа.