presunzione di un tipo generico da un tipo generico in Java (compilazione errore di tempo)

Question

Ho una funzione statica con la seguente firma per un tipo generico T

public static<T> List<T> sortMap(Map<T, Comparable> map) 

che dovrebbe restituire un elenco di chiavi mappa con alcune proprietà .

Ora voglio passare un HashMap generica di tipo S

Map<S,Double> map 

nel chiamare la funzione statica all'interno di una classe generica, che ha la mappa come una variabile membro.

Ho elencato un esempio di codice minimo di seguito.

Tuttavia, ricevo un messaggio di errore (S e T sono entrambi T ma in ambiti diversi del mio codice, vale a dire T#1 = T, T#2 = S):

required: Map<T#1,Comparable> 
    found: Map<T#2,Double> 
    reason: cannot infer type-variable(s) T#1 
    (argument mismatch; Map<T#2,Double> cannot be converted to Map<T#1,Comparable>) 

Come si può risolvere questo problema? Sono sorpreso che Java non consenta di inferire un tipo generico da un tipo generico. Quale struttura in Java si può usare per lavorare con quel tipo di ragionamento più astratto del codice?

Codice:

public class ExampleClass<T> { 
    Map<T, Double> map; 
    public ExampleClass() { 
     this.map = new HashMap(); 
    } 
    //the following line produces the mentioned error 
    List<T> sortedMapKeys = UtilityMethods.sortMap(map); 
} 

public class UtilityMethods { 
    public static<T> List<T> sortMap(Map<T, Comparable> map) { 
     // sort the map in some way and return the list 
    } 
} 

Answer 1

Non è il problema con la T e S, ma con la Comparable e Double.

Il motivo dell'errore è un Map<T, Double> is not a Map<T, Comparable>.

Dovrai allargare un po 'l'ambito del secondo parametro di tipo. Qualcosa di simile:

public static <T, S extends Comparable<S>> List<T> function(Map<T, S> map) { 
    //implementation 
} 

Poi, sarete in grado di richiamare il metodo con:

Map<S, Double> map = new HashMap<S, Double>(); 
function(map);