使用泛型时Java var推演失败

Question

import java.lang.System;

interface Copy {
    
}

class Impl implements Copy {
    
    public <T extends Copy> T copy() {
        return (T)new Impl();
    }
    
    public void method() { System.out.println("hello"); }
    
}

public class MyClass {
    public static void main(String args[]) {
      var impl = new Impl();
      impl.method();
      var copy = impl.copy(); // deduction fails here
      copy.method();
    }
}

Answer 1

当您使用var时，编译器无法推断t的类型，并且在Java中泛型是编译时构造，使用类型擦除，所有泛型语法都将在运行时删除。如果只想使用var，可以显式指定泛型类型：

var copy = impl.<Impl>copy();

你也可以简单地写：

public Copy copy()
{
    return new Impl();
}

这引入了与t extends copy相同的约束。

interface Copy {
    public Copy copy(); 
}

class Impl implements Copy {
    
    @Override
    public Impl copy() {
        return new Impl();
    }
    
    public void method() { System.out.println("hello"); }
}

class MyClass {
    public static void main(String[] args) {
      var impl = new Impl();
      impl.method();
      var copy = impl.copy(); 
      copy.method();
 
    }
}