为什么编译器无法推断 Java 内部类的泛型类型？

Question

class A<T>
{
    class InnerA<U>
    {}
}

public class Main
{
    public static void main(String[] args)
    {
        A<Integer>.InnerA<String> var = new A<>().new InnerA<>();
    }
}

当上面的代码 sn-p 被编译时，它会导致编译时错误说“不兼容的类型：无法推断 A.InnerA<> 的类型参数。在我看来，编译器应该能够推断出类型是InnerA<String>.

为什么它不能这样做？如果有人能解释它是如何在幕后工作的，那将会很有帮助。

Answer 1

编译器错误信息具有误导性。

编译器只能从赋值左侧推断出表达式的类型，前提是该表达式的结果是实际赋值的。在您的示例中，new A<>() 未分配，而仅用于内部类的合格实例化¹。由于new A<>() 没有赋值上下文，编译器推断new A<Object>()。

对于.new InnerA<>()，有一个赋值上下文，编译器尝试使用赋值的左侧推断结果类型，但由于A 的类型已经不兼容而失败。在缩短的编译器消息中，无法推断 InnerA 的类型是可见的，但不是 A 的类型参数不匹配的原因。

长错误信息看起来像

Main.java:11: error: incompatible types: cannot infer type arguments for A.InnerA<>
        A<Integer>.InnerA<String> var = new A<>().new InnerA<>();
                                                            ^
  reason: no instance(s) of type variable(s) U exist
          so that A<Object>.InnerA<U> conforms to A<Integer>.InnerA<String>

  where U is a type-variable:
    U extends Object declared in class A.InnerA

所以问题仍然被报告为“找不到U的类型”，但我们也可以看到更深层次的原因是没有U可以解决问题A<T> 的类型不匹配。

我们也可以通过换行来演示实际原因

A<Integer>.InnerA<String> var = new A<>().new InnerA<String>();

为InnerA 提供正确的类型，现在得到

incompatible types:
    A<Object>.InnerA<String> cannot be converted to A<Integer>.InnerA<String>

或将行改为

A<Integer>.InnerA<String> var = new A<Integer>().new InnerA<>();

这将解决问题，因为现在A 具有正确的类型，并且可以从左侧推断出InnerA 的类型。

---

¹如果您有genericMethod1().method2()，则会出现同样的问题