使用泛型方法进行 Java 类型擦除

Question

为什么类型推断在这种特殊情况下不起作用？

public class ClassB<O> {

public <T> T echo(T msg) {

    return msg;

}

public void doSomething(O a) {

}

public static void main() {

    // Test 1

    ClassB<Object> sampleB = new ClassB<>();

    // No compile time type error.

    // <T> and <O> are different.

    String test = sampleB.echo("");

    // Test 2

    ClassB sampleB1 = new ClassB();

    // Causes compile time type error.

    String test2 = sampleB1.echo("");

}

}

方法返回类型 <T> 与 <O> 有什么关系？

编译器是否将其视为

String test2 = (Object) sampleB1.echo("");

代替

String test2 = (String) sampleB1.echo("");

Answer 1

泛型是可选的（因为它们是在 Java 5 中添加的，旧代码仍然需要工作）。ClassB&nbsp;sampleB1&nbsp;=&nbsp;new&nbsp;ClassB();&nbsp;&nbsp;//&nbsp;this&nbsp;is&nbsp;a&nbsp;raw&nbsp;type当您选择退出使用原始类型时，您将不会获得任何功能，包括泛型类型推断（您的<T>方法将被忽略）。您将收到编译器警告，建议最好不要使用原始类型。方法返回类型与什么<T>有关系<O>？没有什么。你<T>在方法上声明了，它只对该方法可见，它与O类上的完全无关（除非你做了类似的事情<T extends O>），它甚至可以隐藏其他东西（你<O>也可以调用它，甚至<String>- 但是不要那样做）。