返回类型的推断通配符泛型

Question

Java通常可以基于参数（甚至与返回类型（例如，与C＃相反））来推断泛型。

恰当的例子：我有一个通用类Pair<T1, T2>，它只存储一对值，并且可以按以下方式使用：

Pair<String, String> pair = Pair.of("Hello", "World");

该方法of如下所示：

public static <T1, T2> Pair<T1, T2> of(T1 first, T2 second) {
    return new Pair<T1, T2>(first, second);
}

非常好。但是，这不再适用于以下需要通配符的用例：

Pair<Class<?>, String> pair = Pair.of((Class<?>) List.class, "hello");

（请注意显式强制转换以进行List.class正确的类型。）

代码失败，并显示以下错误（由Eclipse提供）：

类型不匹配：无法从转换TestClass.Pair<Class<capture#1-of ?>,String>为TestClass.Pair<Class<?>,String>

但是，显式调用构造函数仍然可以按预期工作：

Pair<Class<?>, String> pair =
    new Pair<Class<?>, String>((Class<?>) List.class, "hello");

有人可以解释这种行为吗？是设计使然吗？是不是 想 ？我是在做错什么，还是偶然发现编译器中的设计/错误存在缺陷？

大胆猜测：“捕获＃1的？” 某种程度上似乎暗示着通配符是由编译器即时填充的，使得类型为a
Class<List>，从而导致转换失败（从Pair<Class<?>, String>到Pair<Class<List>, String>）。这是正确的吗？有办法解决这个问题吗？

为了完整起见，这是Pair该类的简化版本：

public final class Pair<T1, T2> {
    public final T1 first;
    public final T2 second;

    public Pair(T1 first, T2 second) {
        this.first = first;
        this.second = second;
    }

    public static <T1, T2> Pair<T1, T2> of(T1 first, T2 second) {
        return new Pair<T1, T2>(first, second);
    }
}

Answer 1

构造函数起作用的原因是您要明确指定类型参数。如果这样做，静态方法也将起作用：

Pair<Class<?>, String> pair = Pair.<Class<?>, String>of(List.class, "hello");

当然，首先使用静态方法的全部原因可能只是为了获得类型推断（这根本不适用于构造函数）。

这里的问题（如您建议的那样）是编译器正在执行捕获转换。我认为这是[JLS第15.12.2.6条]的结果：

• 所选方法的结果类型确定如下：
  • 如果所调用的方法声明为返回类型为void，则结果为void。
  • 否则，如果要使该方法适用就必须进行未经检查的转换，则结果类型是该方法的声明的返回类型的擦除（第4.6节）。 * 否则，如果要调用的方法是泛型的，则对于1in，令Fi为该方法的形式类型参数，令Ai为为该方法调用推断的实际类型参数，并令R为该方法的声明的返回类型。调用。通过将捕获转换（第5.1.10节）应用于R
    [F1：= A1，…，Fn：= An]获得结果类型。
    
  • 否则，通过将捕获转换（第5.1.10节）应用于方法声明中给定的类型来获得结果类型。
    
    

如果您确实想要推断，则一种可能的解决方法是执行以下操作：

Pair<? extends Class<?>, String> pair = Pair.of(List.class, "hello");

变量pair将具有更宽的类型，这的确意味着要在变量的类型名称中键入更多内容，但至少您无需再强制进行方法调用。