java扩展泛型类型不明确的方法调用

Question

我遇到了一个问题，我很难理解为什么会发生这种情况。

我有一个泛型类 B，它扩展了泛型类 A，并且我有两个接受 A 和 B 的方法。从接受 A 的方法中，我想使用参数 B 调用方法但这会导致编译错误:

Ambiguous method call. Both method (A) in Main and method (B) in Main match

这是一个代码片段:

public class Main {

private static class A<T> {

}

private static class B<T> extends A {

}

public String method(A<String> arg) {
    return method((B<String>) arg));
}

public String method(B<String> arg) {
    return "some result";
}
}

但是，如果我从类型 A 中删除泛型类型，它会编译:

public class Main {

private static class A<T> {

}

private static class B<T> extends A {

}

public String method(A arg) {
    return method((B<String>) arg));
}

public String method(B<String> arg) {
    return "some result";
}
}

这是什么原因？

编辑:这个问题在某种程度上与 java 8 有关，因为此代码可以用 JDK7 编译

Answer 1

您的类B扩展了A，但它没有指定其边界或任何通用信息

我的意思是你的台词

private static class B<T> extends A { ... }

相当于

private static class B<T> extends A<Object> { ... }

将其更改为

private static class B<T> extends A<T> { ... }

您的代码将编译