web-dev-qa-db-ja.com

Java Generics：実装クラスの型引数を受け取るインターフェースメソッド

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に共通するのは、クラス自体のタイプの引数を受け取る「メソッド」と呼ばれるメソッドです。

私のプロジェクトでは、次のことを達成したいと考えています。私は小さなゲームを書いており、何らかの衝突検出を実装したいと考えています。基本的に、私はいくつかの「スマートな」多態性呼び出しを行うことでこれを行いたいです。

次のようなインターフェイス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;
}

私のボックスクラスとサークルクラスでは、ICollisionReceiversを登録してから、updateメソッドで次のことを行います。

    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（）メソッドを呼び出します。

ここで重要なのは、ボックスとサークルの両方のクラスが、独自の型のみでICollisionCheckerインターフェイスを実装することを確認することです。

私は明示的にこのようなことをすることでこれを行うことができます

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

しかし、これは私にはあまり満足していません...

長い投稿で申し訳ありませんが、これが明らかになることを願っています。

javagenericstypes
21
zersaegen

あなたが望むものはJavaでは不可能であり、有用ではありません。

したがって、これは許可されるべきではありません：

何故なの？それはどんな目的に役立ちますか？ジェネリックは、あなたがarbitrary意的な制限を行うためのものではありません。 Genericsは、キャストが常に安全であることを証明できるため、そうでなければ必要となるキャストを排除する場合にのみ役立ちます。

限り 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) {
    }
}

それでそう。なんで気にするの？どのような問題が発生しますか？

28
newacct

まあ、これは少なくとも可能です：

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

ご覧のとおり、Generic宣言は無限再帰に少し似ており、Java did n't type erasureがあれば、それは-ありがたいことに（？）すべてのジェネリックは、コンパイラがそれらを処理した後、実際に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!
5
Esko