从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，{{1} } = T#2）：

S

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

代码：

  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>)

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