списков параметров типа класса в Java

Question

Если я, например, есть метод, который использует с переменным числом аргументов для типов класса, который расширяет суперкласс как этого:

public static <E extends Example> void test(Class<E>... es){} 

Тогда я пытаюсь вызвать этот метод с двумя различными подклассы примера, я могу сделать это, только если я создам массив с двумя классами в нем.

//this does not work 
test(E1.class,E2.class); 
//this does work 
test(new Class[]{E1.class,E2.class}); 
public class E1 extends Example {} 
public class E2 extends Example {} 

Почему это?

Answer 1

Эта строка не компилируется:

test(E1.class,E2.class); 

Существует только один параметр типа E и Java должны соответствовать выведенные типы аргументов точно. Он не может вывести Example, потому что объекты Class<E1> и Class<E2>, а не Class<Example>. Инвариантность Java-дженериков предотвращает это.

Вы можете обойти эту проблему путем введения верхней грани подстановочного по родовому параметру типа test «s:

public static <E extends Example> void test(Class<? extends E>... es) 

Это позволяет Java сделать вывод Example для E, удовлетворяя верхнюю границу подстановочного с E1 и E2.

Вторая строка создает необработанный массив Class es, минуя дженерики и генерируя предупреждение «unchecked call».

new Class[]{E1.class,E2.class} 

Если вы должны были попытаться предоставить аргумент типа для Class здесь, вы получите ошибку компиляции с любым полупутем разумного параметром типа:

// Needs Class<Example> but found Class<E1> and Class<E2> 
test(new Class<Example>[]{E1.class,E2.class}); 

// Needs Class<E1> but found Class<E2> 
test(new Class<E1>[]{E1.class,E2.class}); 

// Needs Class<E2> but found Class<E1> 
test(new Class<E2>[]{E1.class,E2.class}); 

Удовлетворяя умозаключение с помощью подстановки здесь просто раскрывается реальная проблема здесь - создание общего массива.

// Generic array creation 
test(new Class<? extends Example>[]{E1.class,E2.class}); 

Answer 2

Вы определяете общий E одного класса, который расширяет пример. Вы не можете ссылаться на два разных класса в своем вызове, потому что он не будет знать, что такое тип E. Он ожидает только одного типа.

Хотя это не работает:

test(E1.class, E2.class); 

Это делает:

test(E1.class, E1.class); 

Причина вы можете сделать это с массивом из-за типа стирания. Компилятор не видит, что классы внутри массива разные.

Если вы изменили свой метод, чтобы принять любой класс, который расширяет Example, он будет работать.

public static void test(Class<? extends Example>...classes)