Философия Java3 полностью

ll Ошибка 11 Ошибка II Ошибка ; 11 Предупреждение

Иногда такие проблемы удается обойти на программном уровне, но в отдельных случаях стирание приходится компенсировать посредством введения метки типа. Другими словами, вы явно передаете объект Class для своего типа.

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

//: generics/ClassTypeCapture.java

class Building {}

class House extends Building {}

public class ClassTypeCapture { Class kind;

public ClassTypeCapture(Class kind) { this.kind = kind;

}

public boolean f(Object arg) {

return kind.islnstance(arg);

}

public static void main(String[] args) { ClassTypeCapture cttl =

new CIassTypeCapture(Bui 1di ng.class); System.out.pri nt1n(cttl.f(new Bui 1di ng())); System.out.pri ntin(cttl.f(new House())); ClassTypeCapture ctt2 =

new ClassTypeCapture(House.class); System.out.pri nt1n(ctt2.f(new Bui 1di ng())); System.out.pri nt1n(ctt2.f(new House()));

}

} /* Output; true true false true *///:-

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

Создание экземпляров типов

Попытка создания newT() в Erased.java не работает отчасти из-за стирания, а отчасти из-за того, что компилятор не может убедиться в наличии у Т конструктора по умолчанию (без аргументов). Но в С++ эта операция естественна, прямолинейна и безопасна (проверка выполняется во время компиляции):

//; generics/InstantiateGenericType.java import static net.mindview.util.Print.*;

class ClassAsFactory { T x;

public ClassAsFactory(Class kind) {

try { продолжение &

х = kind.newInstanceO; } catch(Exception е) {

throw new RuntimeException(e);

}

}

}

class Employee {}

public class InstantiateGenericType {

public static void main(String[] args) { ClassAsFactory fe =

new ClassAsFactory(Employee.class); pri nt("ClassAsFactory успех"); try {

ClassAsFactory fi =

new ClassAsFactory(Integer.class); } catch(Exception e) {

print("ClassAsFactory неудача");

}

}

} /* Output:

ClassAsFactory успех ClassAsFactory неудача *///:-

Программа компилируется, но с ClassAsFactory происходит сбой, так как Integer не имеет конструктора по умолчанию. Ошибка не обнаруживается во время компиляции, поэтому специалисты из Sun считают такие решения нежелательными. Вместо этого рекомендуется использовать явную фабрику и ограничивать тип, чтобы принимался только класс, реализующий эту фабрику:

//: generics/FactoryConstraint.java

interface FactoryI { T createO;

}

class Foo2 { private T x:

public > Foo2(F factory) { x = factory. createO;

}

// ...

class IntegerFactory implements FactoryI { public Integer createO {

return new Integer(O):

}

}

class Widget {

public static class Factory implements FactoryI public Widget createO {

return new Widget О:

public class FactoryConstraint {

public static void main(String[] args) {

new Foo2(new IntegerFactoryO); new Foo2(new Widget.FactoryO);

}

} ///:-

В сущности, это всего лишь разновидность передачи Class. В обоих вариантах передаются объекты фабрик; просто в случае с Class объект фабрики оказывается встроенным, а при предыдущем решении он создается явно. Тем не менее в обоих случаях реализуется проверка времени компиляции.

Другое решение основано на использовании паттерна «шаблонный метод». В следующем примере get() — шаблонный метод, a create() определяется в субклассе для получения объекта этого типа:

//: generics/CreatorGeneriс.java

abstract class GenericWithCreate { final T element;

GenericWithCreateO { element = createO; } abstract T createO;

}

class X {}

class Creator extends GenericWithCreate { X createO { return new XO; } void fO {

System.out.pri nt 1 n(el ement.getClass().getSi mpleName()),

}

}

public class CreatorGeneric {