3

我已经阅读了很多关于泛型的内容，但在 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 类定义该方法只能与同一类的参数一起使用。

我对泛型的尝试：

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 方法。关于可能缺少什么的任何线索？

4

3 回答 3

6

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

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) { ... }
}
于 2012-11-28T18:08:25.053 回答
0

怎么样：

interface ISound<T> {
    public boolean check(T d);
}

abstract class Alarm implements ISound<Alarm> {
    @Override
    public boolean check(Alarm d) { return true; };
}

（我希望我正确理解了你的问题！）

于 2012-11-28T18:10:53.090 回答
-1

你没有扩展任何课程！

abstract class Alarm extends Sound {
}

这是正确的方法...

于 2012-11-28T18:08:40.827 回答