Si considerino la seguente classe Person e le classi figlie Manager e Employee definite come segue:<\/p>\n\n\n
public static<\/span> class<\/span> Person<\/span> <\/span>{\n String<\/span> name;\n public Person(String<\/span> name) { this<\/span>.name = name; }\n}\n\npublic static<\/span> class<\/span> Manager<\/span> extends<\/span> Person<\/span><\/span>{\n public Manager(String<\/span> name) { super<\/span>(name); }\n}\n\npublic static<\/span> class<\/span> Employee<\/span> extends<\/span> Person<\/span><\/span>{\n public Employee(String<\/span> name) { super<\/span>(name); }\n}<\/code><\/span>Code language:<\/span> JavaScript<\/span> (<\/span>javascript<\/span>)<\/span><\/small><\/pre>\n\n\nSi consideri ora un generico metodo statico che accetta due parametri di un tipo generico T e ritorna un oggetto di tipo T . Al tipo T viene inserito il vincolo <T extends Person> ossia il tipo T dovr\u00e0 possedere ALMENO ciascuno degli attributi e dei metodi di person.<\/p>\n\n\n
public<\/span> static<\/span> T foo(T t1, T t2){\n \/\/Do something<\/span>\n return<\/span> \u2026\n}<\/code><\/span>Code language:<\/span> PHP<\/span> (<\/span>php<\/span>)<\/span><\/small><\/pre>\n\n\nSi supponga di definire le seguenti istanze p1 e p2 e di effettuare la seguente invocazione del metodo foo() :<\/p>\n\n\n
Employee p1 = new<\/span> Employee(\"John\"<\/span>);\nManager p2 = new<\/span> Manager(\"Johanna\"<\/span>);\n\nPerson out = foo(p1, p2);<\/code><\/span>Code language:<\/span> JavaScript<\/span> (<\/span>javascript<\/span>)<\/span><\/small><\/pre>\n\n\nSi vuole ora imporre che entrambi i parametri passati al metodo foo() siano dello stesso tipo facendo in modo che il compilatore segnali un errore in caso contrario.<\/strong><\/pre>\n\n\n\nOsservazione<\/h4>\n\n\n\n
Eseguendo l’invocazione del metodo sopra riportata NON viene generato alcun errore di compilazione in quanto sia p1 (di tipo Employee) che p2 (di tipo Manager) rispettano i vincoli imposti dal tipo generico T (infatti essi possiedo entrambi gli attributi di Person).<\/p>\n\n\n\n
Per comprendere al meglio il problema \u00e8 necessario analizzare i meccanismi di compilazione e precompilazione del codice.<\/p>\n\n\n\n
Il ruolo del type erasure<\/h2>\n\n\n\n
Il type erasure<\/strong> \u00e8 il meccanismo di precompilazione che provvede a rimpiazzare tutti i tipi generici con il tipo di oggetto con maggior compatibilit\u00e0 (rispettando eventuali limitazioni poste).<\/p>\n\n\n\nNel caso in esame, poich\u00e9 viene fissato il vincolo <T extends Person>, il tipo generico T sar\u00e0 rimpiazzato con il tipo di oggetto in grado di garantire la miglior compatibilit\u00e0 e di rispettare le limitazioni imposte. Si otterr\u00e0 perci\u00f2:<\/p>\n\n\n
public<\/span> static<\/span> Person foo(Person t1, Person t2){\n \/\/Do something<\/span>\n return<\/span> \u2026\n}<\/code><\/span>Code language:<\/span> PHP<\/span> (<\/span>php<\/span>)<\/span><\/small><\/pre>\n\n\nRisulta quindi chiaro come, effettuando l’invocazione proposta sopra, sia p1 che p2 siano accettati dal compilatore, in quanto entrambi “discendenti” di Person.<\/p>\n\n\n\n
Type inference<\/h4>\n\n\n\n
In caso vengano passati come parametri di foo() istanze di oggetti dello stesso tipo entra in gioco il ruolo del meccanismo di type inference<\/strong> che provvede ad utilizzare come tipo di compilazione la sotto-classe delle istanze passate come argomenti.<\/p>\n\n\n\nNel caso in oggetto essendo entrambe le classi, Employee e Manager, figlie dirette di Person, la classe pi\u00f9 adatta da utilizzare al momento della compilazione sar\u00e0 Person.<\/p>\n\n\n\n
In caso venissero passate al metodo due istanze di Manager, la classe pi\u00f9 adatta da utilizzare al momento della compilazione sar\u00e0 Manager.<\/p>\n\n\n\n
Possibili soluzioni al problema<\/h2>\n\n\n\n
Alla luce di quanto osservato finora sembra di aver rilevato un limite imposto dai tipi generici<\/strong>: nel caso vengano passati ad un metodo due istanze di tipo generico T limitato tramite la sintassi <T extends C>, se le istanze passate come parametri del metodo sono entrambe sotto-classi di C non \u00e8 possibile produrre errori in compile-time in caso le istanze passate come parametri siano di tipi differenti.<\/p>\n\n\n\nSono illustrati di seguito possibili soluzioni alternative al problema.<\/p>\n\n\n\n
Soluzione alternativa 1 – Classe ausiliaria<\/em><\/h3>\n\n\n\nNel caso si conosca il numero di parametri dello stesso tipo da passare al metodo, definire un classe con tipo generico che accetti i vari oggetti e venga successivamente passata come unico parametro del metodo foo().<\/p>\n\n\n
\/\/New class with two same-type objects<\/span>\npublic<\/span> static<\/span> class<\/span> Pair<\/span><P<\/span>><\/span>{\n private<\/span> P first;\n private<\/span> P second;\n public<\/span> Pair(P first, P second) {\n this.first = first;\n this.second = second;\n }\n\n public<\/span> P getFirst() {\n return<\/span> first;\n }\n\n public<\/span> P getSecond() {\n return<\/span> second;\n }\n}\n\n\/\/New foo definition<\/span>\npublic<\/span> static<\/span> <T extends Person> T foo(Pair<T> pair){\n \/\/Do something<\/span>\n return<\/span> ...\n}\n\nEmployee p1 = new<\/span> Employee(\"John\"<\/span>);\nEmployee p2 = new<\/span> Employee(\"Francis\"<\/span>);\nManager p3 = new<\/span> Manager(\"Johanna\"<\/span>);\n\n\/\/Accepted<\/span>\nPair<Employee> pair = new<\/span> Pair<>(p1, p2);\nPerson out = foo(pair);\n\n\/\/Compile error (p1 e p3 are different types)<\/span>\nPair<Employee> pair2 = new<\/span> Pair<>(p1, p3);\nPerson out = foo(pair2);<\/code><\/span>Code language:<\/span> PHP<\/span> (<\/span>php<\/span>)<\/span><\/small><\/pre>\n\n\nSoluzione alternativa 2 – Verifica in run-time<\/em><\/h3>\n\n\n\nTramite l’utilizzo del metodo getClass() \u00e8 possibile verificare a run-time se i parametri passati sono istanze di oggetti dello stesso tipo:<\/p>\n\n\n
public<\/span> static<\/span> <T extends Person> T my_method(T t1, T t2){\n if<\/span>(t1.getClass() != t2.getClass()){\n throw<\/span> new<\/span> IllegalArgumentException(\"Different type arguments\"<\/span>);\n }\n\n \/\/Do something<\/span>\n return<\/span> ...\n}<\/code><\/span>Code language:<\/span> PHP<\/span> (<\/span>php<\/span>)<\/span><\/small><\/pre>","protected":false},"excerpt":{"rendered":"