使用泛型定义抽象方法

Question

我一直在阅读关于泛型的很多内容,但我仍然有一些在Java中实现简单层次结构的基本问题.目标是定义一个抽象方法,它将比较同一个类的两个对象,如果对象来自不同的类,它应该返回false.例:

我们定义抽象类Sound

abstract class Sound{
    public boolean check(Sound d){return false;};
}

一些扩展Sound的类和另一个从它扩展的抽象类,如Alarm

abstract class Alarm extends Sound{
    @Override
    public boolean check(Alarm d){//Do something and return boolean};
}

还有一些从中扩展的类.

简单的解决方案是将方法定义为显示的方法并且它将起作用,但我觉得有更好的方法来强制执行层次结构,因此Sound类定义该方法应仅用于具有相同类的参数.

我用Generics试过的:

abstract class Sound{
    public <T extends Sound> boolean check(T d){return false;};
}

abstract class Alarm extends Sound{
    @Override
    public <T extends Alarm> boolean check(T d){//Do something and return boolean};
}

要么

abstract class Alarm extends Sound{
    @Override
    public boolean check(Alarm d){//check and return boolean};
}

Java抱怨因为编译器我没有覆盖Alarm中的check方法.什么可能丢失的任何线索？

Answer 1

你的想法本质上是错误的.
泛型方法的要点是调用者可以指定满足约束的任何类型.
换句话说,调用者可以写

sound.<NonAlarm> check(...);

NonAlarm任何继承的类在哪里Sound.

由于Alarm继承Sound,其check()方法必须具有相同的约束.

相反,您可以使用CRTP:

public abstract class Sound<T extends Sound<T>> {
    public abstract boolean check(T d);
}

public class Alarm extends Sound<Alarm> {
    @Override
    public boolean check(Alarm d) { ... }
}