从 Java 中的泛型类型推断泛型类型（编译时错误）

Question

我有一个带有以下泛型类型签名的静态函数T

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

它应该返回具有某些属性的映射键列表。

现在我想传递一个 S 类型的通用 HashMap

Map<S,Double> map

在泛型类中调用静态函数，该类将映射作为成员变量。

我在下面列出了一个最小的代码示例。

但是，我收到一条错误消息（S 和 T 都是 T，但在我的代码的不同范围内，即 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>)

如何解决这个问题？我很惊讶 Java 不允许从泛型类型推断泛型类型。可以使用 Java 中的哪种结构来处理这种更抽象的代码推理？

代码：

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

不是T 和S 的问题，而是Comparable 和Double 的问题。

错误的原因是Map<T, Double> is not a Map<T, Comparable>。

您必须稍微扩大第二个类型参数的范围。比如：

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

然后，您将能够调用该方法：

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