为什么泛型参数“扩展”派生函数中不允许的东西，但泛型返回类型是？

Question

我想重写子类中的通用功能，如下所示：

超类：

public abstract class Metric { 

    public abstract <T extends Foo> T precompute(); // valid syntax 
    public abstract <T extends Foo> void distance(T arg); // valid syntax 
    public static class Foo {} 

} 

子类：

public class MetricDefault extends Metric { 

    @Override 
    public Bar precompute() { return new Bar(); } // Valid - return type extends Foo 

    @Override 
    public void distance(Bar arg) {} // Invalid ??? - argument type extends foo 

    public static class Bar extends Metric.Foo {} 

} 

通用功能，当泛型类型是返回函数的值，是有效的Java代码并成功构建。

仅更改泛型类型的位置 - 使其成为函数的参数，而不是返回类型 - 并且它变成无效的Java代码。

为什么后者无效？我能做些什么来实现这个功能？

Answer 1

public abstract class Metric<T extends Foo> { 

    public abstract T precompute(); // valid syntax 
    public abstract void distance(T arg); // valid syntax 
    public class Foo {} 

} 

然后如果我的理解酒吧延伸的Foo：

public class MetricDefault extends Metric<Bar> { 

    @Override 
    public Bar precompute() { return new Bar(); } 

    @Override 
    public void distance(Bar arg){} 

    public class Bar extends Foo {} 

} 

Answer 2

由于distance(T)在超类中的签名指定某人具有一个Metric参考应该被允许通过其延伸的任何类型的作为参数的Foo。

第一种方法工作正常，因为参考Metric的任何人已经准备好处理返回类型Bar，因为签名指的是父类型Bar。

Answer 3

方法声明

public abstract <T extends Foo> void distance(T arg); 

意味着，该方法需要一个T参数，主叫方可以决定作为T使用哪个的Foo亚型。

方法声明

public abstract <T extends Foo> T precompute(); 

意味着该方法返回T类型的一些对象，主叫方可以决定作为T使用哪个的Foo亚型。

这最后一个方法不能真正实现（除了返回null），因为你的方法并不真正知道在这里产生什么对象。

在你的具体类中，你尝试重写这些方法 - 为了我的理解你不应该被允许它们，但是编译器可能比我更放松一点。

我想你真正想要的是什么样的东西Overbose张贴。

Answer 4

为此，您需要使T为类型的参数，而不是方法。

您尝试这样做的方式，您的新方法不会重写抽象基本方法。执行类型擦除后，它相当于下面的代码：

public abstract class Metric { 
    public abstract Foo precompute(); // valid syntax 
    public abstract void distance(Foo arg); // valid syntax 
    public class Foo {} 
} 

public class MetricDefault extends Metric { 
    public Bar precompute() { return new Bar(); } // Valid - return type extends Foo 
    public void distance(Bar arg) {} // Signature not compatible - does not override distance(Foo) 
    public class Bar extends Foo {} 
} 

Answer 5

正如@保罗Ebermann提到的，压倒一切的以下应该是不合法

<T extends Foo> 
    T precompute(); 

    Bar precompute() 

规则JLSv3＃8.4.8.3和＃8.4 .5禁止这种压倒一切。 Javac应该报告错误。

有2条可能的解释

1. 省略直观&明显的规则规范了：“是回归型替代”的关系应该是传递的。 T->Foo->Bar，Bar覆盖T是合法的。

2. javac是越野车。它在验证重写时以某种方式错误Foo作为方法＃1的返回类型。

第一种解释很不合理。如果（鼻定义的）关系是可传递的，则很难检查它是否适用于2种任意类型。所以第二种解释可能更真实。