2

私はこのデザインを持っていますが、なぜ機能しないのかわかりません。

interface BaseType {}

interface TypeA extends BaseType {}

interface TypeB extends BaseType {}

interface Query<T extends BaseType> {
    public String get();
}

interface Result<T extends BaseType> {
    public String get();
}

interface Service<T extends BaseType> {
    public Result<T> get(Query<T> query);
}

class SomeResult implements Result<TypeA> {
    private String s;
    public SomeResult(String s) { this.s = s; }
    public String get() { return this.s; }
}

class SomeQuery implements Query<TypeA> {
    public String get() { return "blah"; }
}

class SomeQuery2 implements Query<TypeA> {
    public String get() { return "blah2"; }
}

class SomeService implements Service<TypeA> {
    /** OK -- but notice the ambiguous parameter type */
    /*
    public SomeResult get(Query<TypeA> query) {
        if (query instanceof SomeQuery) return new SomeResult(query.get());
        else return null;
    }
    */

    /** NOT OK -- but this is the parameter I want to keep; notice SomeQuery IS-A Query<TypeA> */
    public SomeResult get(SomeQuery query) { return new SomeResult(query.get()); };
    /**
     * Main.java:27: error: SomeService is not abstract and does not override abstract method get(Query<TypeA>) in Service
     * class SomeService implements Service<TypeA> {
     * ^
     * 1 error
     */
}

public class Main {
    public static void main(String args[]) {
        SomeQuery someQuery = new SomeQuery();
        SomeQuery2 someQuery2 = new SomeQuery2();
        SomeService someService = new SomeService();
        System.out.println(someService.get(someQuery).get());
    }
}

私はジェネリックに不慣れで、ここで違反している契約をよく理解していません。サービスを厳密にバインドしたいのですが、戻り値の型をバインドできたとしても、パラメーターに対してはバインドできないようです。つまり、instanceof正しいパラメーターを取得していることを確認するために、サービス内でチェックを行う必要があります。それは避けたい。何か案は？

4

1 に答える 1

1

戻り値の型の共分散により、オーバーライド メソッドの戻り値の型をより具体的にすることはできますが、シグネチャを変更せずにメソッドのパラメーターを変更することはできません。get(Query<TypeA>)に変更すると、コンパイラが実装していないと文句を言うのはそのためget(SomeQuery)です。Service必要なものを得るには、より柔軟にする必要があります。

interface Service<T extends BaseType, Q extends Query<T>> {
    public Result<T> get(Q query);
}

class SomeService implements Service<TypeA, SomeQuery> {

    @Override
    public SomeResult get(SomeQuery query) {
        ...
    }
}

SomeServiceまた、インターフェイスにコーディングする場合、絞り込まれた戻り値の型は問題Service<TypeA, SomeQuery>にgetならないことに注意してくださいResult<TypeA>。したがって、結果の型に同様の変更を加えることを検討してください。

interface Service<T extends BaseType, Q extends Query<T>, R extends Result<T>> {
    public R get(Q query);
}

class SomeService implements Service<TypeA, SomeQuery, SomeResult> {

    @Override
    public SomeResult get(SomeQuery query) {
        ...
    }
}
于 2013-07-18T19:46:26.783 に答える