public MyGenericClass2<S, T> makeClass2(S id,
MyGenericClass<T> data){ return new MyGenericClass2(id, data.getData());
}
и обратиться к нему так, как показано в листинге 4.3.
public class MyGenericClass2Demo<S, T>{
public MyGenericClass2<S, T>
makeClass2(S id, MyGenericClass<T> data){
return new MyGenericClass2(id, data.getData());
}
public static void main(String[] args){
MyGenericClass<Double> dMyGen = new MyGenericClass<>(34.456);
MyGenericClass2Demo<Long, Double> d = new MyGenericClass2Demo<>();
MyGenericClass2<Long, Double> ldMyGen2 = d.makeClass2(123456L, dMyGen);
}
}
В предыдущих главах мы часто пользовались тем, что можно определить ссылку типа суперкласса, ссылающуюся на объект подкласса, например:
Number n = new Long(123456L);
Number d = new Double(27.346);
Более того, это свойство распространяется на массивы:
Number[] n = new Long[100];
Можно ли распространить эту возможность на настраиваемые типы? Например, можно ли написать последний оператор листинга 4.3 так:
MyGenericClass2<Number, Number> n = // Сшибка!
d.makeClass2(123456L, dMyGen);
Ответ отрицательный. Из того, что какой-то класс B является подклассом класса A, не следует, что класс g<b> будет подклассом класса g<a>.
Это непривычное обстоятельство вынудило ввести дополнительную конструкцию — шаблон типа (wildcard type), применяемую в процессе настройки типа. Шаблон типа обозначается вопросительным знаком и означает "неизвестный тип" или "произвольный тип". Предыдущий код не вызовет возражений у компилятора, если написать его в таком виде:
MyGenericClass2<? extends Number, ? extends Number> n = // Верно.
d.makeClass2(123456L, dMyGen);
или
MyGenericClass2<Long, ? extends Number> n = // Верно.
d.makeClass2(123456L, dMyGen);
Можно написать даже неограниченный шаблон типа
MyGenericClass2<?, ?> n =
d.makeClass2(123456L, dMyGen);
Такая запись будет почти эквивалентна записи
MyGenericClass2 n =
d.makeClass2(123456L, dMyGen);
за тем исключением, что в первом случае компилятор сделает более строгие проверки.
Кроме записи <? extends Type>, означающей "произвольный подтип типа Type, включая сам тип Type", можно написать выражение <? super Type>, означающее "произвольный супертип типа Type, включая сам тип Type".
Шаблон типа можно использовать в тех местах кода, где настраивается тип, в том числе в параметрах метода:
public MyGenericClass2<S, T> makeClass2(S id,
MyGenericClass<? extends Number> data){
return new MyGenericClass2(id, data.getData());
}
но, поскольку шаблон типа не является типом, его нельзя применять для создания объектов и массивов. Следующие определения неверны:
Average<? extends Number> a = // Ошибка!
new Average<? extends Number>(iArray);
Average<? extends Number>[] a = // Ошибка!
new Average<? extends Number>[10];
Тем не менее при определении массива (но не объекта) можно записать неограниченный шаблон типа:
Average<? extends Number>[] a = // Верно.
new Average<?>[10];
Настраиваемые методы
Настраиваемыми могут быть не только типы, но и методы. Параметры настраиваемого метода (type parameters) указываются в заголовке метода в угловых скобках перед типом возвращаемого значения. Это выглядит так, как показано в листинге 4.4.
public class MyGenericClass2Demo{
public <S, T> MyGenericClass2<S, T>
makeClass2(S id, MyGenericClass<T> data){
return new MyGenericClass2(id, data.getData());
} public static void main(String[] args){
MyGenericClass<Double> dMyGen = new MyGenericClass(34.456);
MyGenericClass2Demo d =
new MyGenericClass2Demo();
MyGenericClass2<Long, Double> ldMyGen2 = d.makeClass2(123456L, dMyGen);
}
}
Метод makeClass2 () описан в простом, ненастраиваемом, классе MyGenericClass2Demo, и его параметры задаются в угловых скобках <s, t>. Здесь можно записывать ограниченные параметры
public <S extends Number, T extends Number>
MyGenericClass2<S, T> makeClass2(S id, MyGenericClass<T> data){
return new MyGenericClass2(id, data.getData());
}
Как видно из листинга 4.4, специально настраивать метод не нужно, конкретные типы его параметров и возвращаемого значения определяются компилятором по переданным в метод аргументам.
Как вы убедились из приведенных примеров, настраиваемые типы и методы допускают сложную структуру параметров, так же как и вложенные классы. Мы еще не касались вопросов наследования настраиваемых типов, реализации настраиваемых интерфейсов, создания массивов настраиваемых типов. Все эти вопросы подробно рассмотрены на сайте Анжелики Лангер (Angelika Langer), в ее Java Generics FAQ, http:// www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html.