Typy generyczne i tablice Java, nie to, co myślisz (na przykład tablice generyczne)

Question

Próbuję określić, że klasa generyczna musi być tablicą, a jeszcze lepiej prymitywną tablicą. Do tej pory jest to, co mam pracy:

interface Foo<T> { 
    void process(T data); 
} 

public class Moo implements Foo<int[]> { 
    void process(int[] data) { 
    // do stuff here 
    } 
} 

To wszystko jest całkowicie poprawny kod Java i działa, ponieważ prymitywne tablice przedłużyć Object. Zauważ, że to pytanie jest zupełnie inne niż ze wszystkich innych pytań generycznych tablicy Javy, które ciągle znajduję. W tej sytuacji ludzie chcą stworzyć tablicę z rodzaju ogólnego.

Problem polega na tym, że typem T może być wszystko, co rozszerza obiekt. Co chcę zrobić coś takiego:

<T extends ONLY ARRAYS> 

lub

<T extends ONLY PRIMITIVE ARRAYS>. 

Czy to możliwe?

EDYCJA: Ostatecznym celem byłoby dodanie sprawdzenia czasu kompilacji dla przekazywanego typu tablicy. W tej chwili każdy stary obiekt może zostać przekazany, a skompilowany. Błąd zostanie wykryty tylko w środowisku wykonawczym, gdy zgłoszony zostanie wyjątek rzutu klasowego. W rzeczywistości jest to cały punkt Generics w Javie, aby dodać silniejsze sprawdzanie czasu kompilacji.

Answer 1

Nie możesz tego zrobić. Żadna klasa nie może rozszerzyć tablicy, więc nigdy nie będzie typu, który spełnia ogólny parametr T extends Object[]. (. Inne niż Object[] się, ale wtedy nie będzie za pomocą rodzajowych)

Co można zrobić, to coś takiego:

public interface Foo<T extends Number> { 
    public void process(T[] data); 
} 

Ale wtedy może napotkasz problemy z wydajnością z boksu.

Answer 2

Nie można zrobić. Nie „interesujący” interfejs ani supertypem ale obiekt istnieje dla tablic prymitywów:

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()); 
    } 
} 

Answer 3

W Javie, parametry typu mogą only być ograniczane przez stosunku podtypu, a jedyne wspólne supertypes wszystkich tablic areObject, Clonable i Serializable. Najbliżej można dostać to, aby ograniczyć do Object[], który jest supertypem wszystkich tablic z non-prymitywnych typów komponentów, ewentualnie do Number[], który jest supertypem z Integer[], Long[] ...

Nawet jeśli zrobił Java wspierać takie ograniczenie, w jaki sposób zrobiłbyś coś użytecznego z tą tablicą? Nie można było odczytywać poszczególnych elementów, ponieważ nie można zadeklarować zmiennej przechowującej wyniki, ani pisać poszczególnych elementów, ponieważ nie można zapisać wyrażenia przypisywanego do elementu tablicy.

To powiedziawszy, chciałbym związać zmienną typu do typu składnika, a nie rodzaj tablicy:

interface Foo<T extends Whatever> { 
    void process(T[] data); 
} 

bo można odnieść do T[] wiedząc T, ale znając T extends Object[] bezpośrednio nie pozwalają na odnoszą się do typu komponentu.

Edit: Jeffrey słusznie wskazuje, że typ tablicy nie mogą być wykorzystywane w granicach typu, tj <T extends Whatever[]> nie kompiluje, więc na pewno trzeba śledzić moje porady deklarowania <T extends Whatever>T[] i używać w odniesieniu do rodzaju matrycy.

Answer 4

Tablice X nie mają hierarchii typów. Integer [] nie jest podklasą Number [].

Aby dostać to, czego chcesz, użyj typ komponentu tablicy jako parametr typu T i zadeklarować parametry i powrócić jako typy tablic T.