Я пытаюсь указать, что общий класс должен быть массивом или, еще лучше, примитивным массивом. Пока это то, что я получил:
interface Foo<T> {
void process( T data );
}
public class Moo implements Foo<int[]> {
void process( int[] data ) {
// do stuff here
}
}
Это вполне корректный Java-код и работает, потому что примитивные массивы расширяют Object. Обратите внимание, что этот вопрос полностью отличается от всех других общих вопросов Java, которые я продолжаю находить. В этой ситуации люди хотят создать массив из общего типа.
Проблема заключается в том, что тип T может быть тем, что расширяет Object. Я хочу сделать что-то вроде:
<T extends ONLY ARRAYS>
или
<T extends ONLY PRIMITIVE ARRAYS>.
Возможно ли это?
EDIT: конечной целью было бы добавить проверку времени компиляции в передаваемом массиве. Прямо сейчас любой старый объект может быть передан, и он будет компилироваться просто отлично. Ошибка будет обнаружена только во время выполнения, когда выбрано исключение класса. На самом деле это весь смысл Generics в Java, чтобы добавить более сильную проверку типа времени компиляции.
Вы не можете этого сделать. Никакой класс не может расширять массив, поэтому никогда не будет типа, который удовлетворяет общему параметру T extends Object[]. (Кроме Object[], но тогда вы не будете использовать generics.)
Что вы можете сделать, это примерно так:
public interface Foo<T extends Number> {
public void process(T[] data);
}
Но тогда вы можете столкнуться с проблемами производительности с боксом.
В Java параметры типа могут only быть ограничены отношением подтипа и единственными распространенными супертипами всех массивов Object, Clonable и Serializable. Самое близкое, что вы можете получить, это ограничить Object[], который является супертипом всех массивов с не примитивными типами компонентов или, возможно, до Number[], который является супертипом Integer[], Long[],...
Даже если Java поддерживает такое ограничение, как бы вы сделали что-нибудь полезное с этим массивом? Вы не можете читать отдельные элементы, так как вы не можете объявить переменную для хранения результатов и не писать отдельные элементы, поскольку вы не можете записать выражение, которое присваивается элементу массива.
Тем не менее, я бы привязал переменную типа к типу компонента, а не к типу массива:
interface Foo<T extends Whatever> {
void process(T[] data );
}
потому что вы можете обратиться к T[], зная T, но зная, что T extends Object[] не позволяет напрямую ссылаться на тип компонента.
Изменить: Джеффри правильно указывает, что тип массива не может использоваться в ограничениях типа, т.е. <T extends Whatever[]> не компилируется, поэтому вам обязательно нужно следовать моему совету объявления <T extends Whatever> и использовать T[] для ссылки на тип массива.
Нет. Нет "интересного" интерфейса и никакого супертипа, но Object существует для массивов примитивов:
public class SOTEST {
public static void main(String[] args) throws Exception {
int[] arr = new int[] {};
Class c = arr.getClass();
for(Class clazz:c.getInterfaces()) {
System.out.println(clazz.getName());
}
System.out.println(c.getSuperclass().toString());
}
}
Массивы X не имеют иерархии типов. Integer [] не является подклассом Number [].
Чтобы получить то, что вы хотите, используйте тип компонента массива в качестве вашего параметра T и объявите параметры и возвращайте типы как массивы T.