Costruttore di un Generics

[filips]

Salve.
Ho questo codice di definizione di un oggetto Generics (due tipi, Tipo1 e Tipo2, fanno da contraltare al "tipo parametro" T):

public class Oggetto<T> {
 
    public Oggetto(T t){
        contenuto=t;
    }

Ho quindi un main di questo tipo:

public class Start {
 
    public static void main(String[] args) {
        Oggetto<Tipo1> oggetto1= new Oggetto<Tipo1>(new Tipo1());
        Oggetto<Tipo2>  oggetto2= new Oggetto<Tipo2>(new Tipo2());
         
    }
 
}

Il dubbio: se sono corrette le 2 sintassi di creazione del tipo Oggetto, il suo costruttore (primo codice) non dovrebbe essere scritto Oggetto<T>(T t) anziché Oggetto(T t)? O forse in esso non si specifica il parametro nel nome perché ridondante?

[LeleFT]

Non lo si specifica perchè il costruttore non c'entra nulla con la tipizzazione dell'oggetto.

Il costruttore di una classe è semplicemente un "metodo" (l'ho scritto tra virgolette) che ha lo stesso nome della classe e nessun tipo di ritorno. Questo vale per qualsiasi tipologia di oggetto, sia esso generico o meno.


Ciao.

[filips]

Non lo si specifica perchè il costruttore non c'entra nulla con la tipizzazione dell'oggetto.

Ciao.

Grazie. Quindi il tipo sarebbe Oggetto<T>, e ad esso ci si riferisce nella creazione di una sua istanza sostituendo opportunamente il parametro -- che ovviamente diventa indispensabile per caratterizzare il meccanismo/tipo Generics. Resta poi sempre la regola nome classe = nome costruttore, dove il nome classe non comprende il parametro, che serve appunto solo allo scopo di attivare un certo meccanismo evidenziando la presenza del tipo Generics

[andbin]

Attenzione ad una cosa: un costruttore può essere "generico"!

Dal JLS §8.8.4:
A constructor is generic if it declares one or more type variables
[...]
It is possible for a constructor to be generic independently of whether the class the constructor is declared in is itself generic.

[filips]

Attenzione ad una cosa: un costruttore può essere "generico"!

Dal JLS §8.8.4:
A constructor is generic if it declares one or more type variables
[...]
It is possible for a constructor to be generic independently of whether the class the constructor is declared in is itself generic.

Interessante e utile questa puntualizzazione. Probabilmente tu fai riferimento a un manuale Java, io uso come supporto alternativo il sito ufficiale (ma di fatto leggo la guida html.it per ragioni di economicità), dove ho appena trovato l'argomento https://docs.oracle.com/javase/tutor...s/methods.html
Quante sfaccettature questo Java! Come al solito.. Grazie!

[andbin]

Interessante e utile questa puntualizzazione.

Sì ma a dire il vero mi pare di non aver mai visto un costruttore generico. Devo vedere se trovo qualche esempio reale, concreto.
Generalmente è sufficiente che la classe dichiari una (o più) type variable, che poi sono in scope sia nel costruttore che nei metodi di istanza (in quelli static no).

Probabilmente tu fai riferimento a un manuale Java,

Il JLS è il Java Language Specification, il documento di specifica ufficiale del linguaggio:

https://docs.oracle.com/javase/specs/

E' un documento abbastanza difficile da leggere, specialmente in certi punti dove c'è molta teoria. Quel punto §8.8.4 citato è tra quelli ragionevolmente "leggibili".

[LeleFT]

Sì, corretto (ottimo spunto)... ma in quel caso il segnaposto si antepone al costruttore.
Nemmeno io l'ho mai visto usare in nessun caso reale... però documentandomi ho trovato diversi esempi, uno in particolare mi è piaciuto:
https://www.itsbeyondsimple.com/java...c-constructor/

In pratica questa tipologia di costruttore può essere utilizzata per "limitare" il tipo di parametro che può essere passato. La potrei vedere utile nel caso in cui sia particolarmente difficile o impossibile limitare il tipo di un parametro senza ricorrere ad accrocchi astrusi... se l'uso dei generics semplifica questo tipo di controllo, allora usiamolo (sto pensando ad esempio a un costruttore che voglia limitare un parametro ad un tipo che implementi 2 o più interfacce). Nel caso dell'articoletto che ho linkato, ad esempio, si sarebbe potuto tranquillamente scrivere il costruttore in questo modo:

GenericConsTest(OOPs t) {
   t.displayName();
}

Ciao.

[filips]

Grazie a tutti per il riferimento a JLS che ignoravo e per il chiaro esempio di costruttore generico