29

在Java中，是否可以定义一个具有接收实现类参数的方法的接口？

界面：

public interface MyInterface {
   public <T is/extends of the type of the implementing class> void method(T object);
}

班级：

public class A implements MyInterface {

    public void method(A object) {
       ...
    }

}

我要避免的是一个类可以用另一个像它自己的类来实现 MyInterface。

所以这不应该被允许：

public class A implements MyInterface<B> {

    public void method(B object) {
       ...
    }

}





编辑：

好的，我尝试以另一种方式描述我想要实现的目标。我希望有几个类具有接受该类类型的 arg 的方法。因此，除了上面的 A 类之外，还可以说还有另一个 B 类，如下所示：

public class B implements MyInterface {

    public void method(B object) {
       ...
    }

}

展位类 A 和 B 的共同点是一种称为“方法”的方法，它接收类本身类型的 arg。

在我的项目中，我想实现以下目标。我在写一个小游戏，想实现某种碰撞检测。基本上我想通过做一些“智能”多态调用来做到这一点。

我定义了一个接口 ICollisionReceiver，如下所示：

public interface ICollisionReceiver<T extends IShape> extends IShape {

    public boolean collides(T t);

}

我定义了另一个这样的接口：

public interface ICollisionChecker<T extends ICollisionChecker<T>> extends IShape {

    public void addCollisionReceiver(ICollisionReceiver<T> receiver);

    public void removeCollisionReceiver(ICollisionReceiver<T> receiver);

}

现在，例如，我的播放器在播放器接收碰撞并处理它们时实现接口 ICollisionReceiver。这应该以通用方式完成，例如我有盒子和圆圈，现在播放器实现 ICollisionReceiver < Box > 和 ICollisionReceiver < Circle > 所以我有这两种方法

@Override
public boolean collides(final Box b) {        
    ...
    return false;
}

和

@Override
public boolean collides(final Circle c) {        
    ...
    return false;
}

在我的 box 和 circle 类中，我可以注册 ICollisionReceivers，然后在更新方法中执行以下操作：

    boolean conti = true;
    int i=0;
    while(conti && i<collisionReceivers.size()) {
        final ICollisionReceiver<Bonus> rec = collisionReceivers.get(i);               
        if(this.collidesWith(rec)) {
            conti = rec.collides(this);
        }            
        ++i;
    }

这基本上检查此框是否与某个接收器发生碰撞，然后调用接收器的 collides() 方法。

现在的重点是，我要确保 box 和 circle 类都仅使用它们自己的类型实现 ICollisionChecker 接口。

我明确地可以通过做这样的事情来做到这一点

public class Bonus extends AnimatedSprite implements ICollisionChecker<Bonus>...

但这对我来说不是很满意......

对不起，很长的帖子，我希望这能说清楚。

4

3 回答 3

38

你想要的东西在 Java 中是不可能的，也没有用。

所以这不应该被允许：

为什么不？那有什么用？泛型不是为你做出任意限制的。泛型仅对消除您原本需要的强制转换有用，因为它可以证明强制转换总是安全的。

只要public class A implements MyInterface<B>是类型安全的，就没有必要制定禁止它的任意限制。

您应该简单地将您的界面定义为

public interface MyInterface<T> {
   public void method(T object);
}

你可以定义你的班级

public class A implements MyInterface<A> {
    public void method(A object) {
    }
}

如果其他人定义了一个类

public class B implements MyInterface<A> {
    public void method(A object) {
    }
}

那么就这样吧。你为什么在乎？它会导致什么问题？

于 2013-02-03T00:43:33.103 回答
5

好吧，这至少是可能的：

public interface SelfImplementer<T extends SelfImplementer<T>> {
    void method(T self);
}

如您所见，泛型声明看起来有点像无限递归，我相当确定如果 Java没有类型擦除，那将是 - 谢天谢地（？）所有泛型实际上都是Objects在编译器处理它们之后所以你可以这样做

public class Impl implements SelfImplementer<Impl> {
    @Override
    public void method(Impl self) {
        System.out.println("Hello!");
    }
}

正如所料，这

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

打印出来

Hello!
于 2013-02-02T20:17:34.357 回答
-1

你想要做的可能是这样的：

public interface MyInterface <T extends A> {
    public void method(T object) {
        ...
    }
}

public class A implements MyInterface<A_or_class_extending_A>
{ ... }

我希望这有帮助！

于 2013-02-02T19:25:39.613 回答