使用泛型方法进行 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 sampleB1 = new ClassB();  // this is a raw type

当您选择退出使用原始类型时，您将不会获得任何功能，包括泛型类型推断（您的<T>方法将被忽略）。您将收到编译器警告，建议最好不要使用原始类型。

---

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

没有什么。你<T>在方法上声明了，它只对该方法可见，它与O类上的完全无关（除非你做了类似的事情<T extends O>），它甚至可以隐藏其他东西（你<O>也可以调用它，甚至<String>- 但是不要那样做）。