Компенсация за стирание

Как мы видели, в результате стирания становится невозможным выполнение некоторых операций в параметризованном коде. Все, для чего необходима точная информация о типе во время выполнения, работать не будет:

//: generics/Erased.java

// {CompileTimeError} (He компилируется)

public class Erased<T> {

private final int SIZE = 100;

public static void f(Object arg) {

if(arg instanceof T) {} // Error

T var = new T(); // Error

T[] array = new T[SIZE]; // Error

T[] array = (T)new Object[SIZE]; // Unchecked warning

}

}

Иногда такие проблемы удается обойти на программном уровне, но в отдельных случаях стирание приходится компенсировать посредством введения метки типа. Другими словами, вы явно передаете объект Class для своего типа. Например, попытка использования instanceofв предыдущем примере завершилась неудачей из-за того, что информация о типе была стерта. При введении метки типа вместо instanceof можно использовать динамический метод isInstance():

//: generics/ClassTypeCapture.java

class Building {}

class House extends Building {}

public class ClassTypeCapture<T> {

Class<T> kind;

public ClassTypeCapture(Class<T> kind) {

this.kind = kind;

}

public boolean f(Object arg) {

return kind.isInstance(arg);

}

public static void main(String[] args) {

ClassTypeCapture<Building> ctt1 =

new ClassTypeCapture<Building>(Building.class);

System.out.println(ctt1.f(new Building()));

System.out.println(ctt1.f(new House()));

ClassTypeCapture<House> ctt2 =

new ClassTypeCapture<House>(House.class);

System.out.println(ctt2.f(new Building()));

System.out.println(ctt2.f(new House()));

}

}

<spoiler text="Output:">

true

true

false

true

</spoiler> Компилятор следит за тем, чтобы метка типа соответствовала обобщенному аргументу.