实现具有参数的方法的Java类,该参数是接口中指定的子类型

use*_*337 3 java generics

我在掌握仿制药时遇到了一些麻烦.我已经阅读了Oracle关于泛型的教程,它似乎没有解决我的问题.我也不知道在找到答案时要搜索什么.

假设我有以下代码:

public abstract class Buff<V> {
    public V value;
{

public interface Buffable<V> {
    public void buff(Buff<V extends Buff> buff);
}

public class DoubleBuff extends Buff<double> {
    public double value;
}

public class DoubleBuffable implements Buffable<DoubleBuff> {
    public void Buff(DoubleBuff buff) {
        //implementation
    }
}
Run Code Online (Sandbox Code Playgroud)

我希望能够创建继承Buff并具有成员"value"的类,但是指定value的类型(请参阅参考资料DoubleBuff).我还想buff使用输入参数定义实现该方法的类,该输入参数的子类型为Buff.

DoubleBuffable是一些实现的类Buffable,但期望输入DoubleBuff和不输入StringBuff.

我是否正确表达了我的仿制药?

acd*_*ior 5

首先是语法.声明:

public interface Buffable<V> {
    public void buff(Buff<V extends Buff> buff);
}
Run Code Online (Sandbox Code Playgroud)

应该:

public interface Buffable<V extends Buff> {
    public void buff(Buff<V> buff);
}
Run Code Online (Sandbox Code Playgroud)

您想要的类型变量应该在类声明中指定.

但是你说:

我还想使用输入参数定义实现buff方法的类,该输入参数属于Buff的子类型.

这样,以下声明将更适合您的声明:

public interface Buffable<V extends Buff<?>> {
    public void buff(V buff);
}
Run Code Online (Sandbox Code Playgroud)

<?>如果您需要更具体的类型,可能需要更改该部分Buff.

最后,其他所需的更改和最终的类:

public abstract class Buff<V> {
    public V value;
}
public interface Buffable<V extends Buff<?>> {
    public void buff(V buff);
}
// instead of primitive types, you should use their wrappers: double-->Double
public class DoubleBuff extends Buff<Double> {
    public double value;
}
public class DoubleBuffable implements Buffable<DoubleBuff> {
    public void buff(DoubleBuff buff) {
        //implementation
    }
}
Run Code Online (Sandbox Code Playgroud)