java - ジェネリッククラスを拡張するが、サブクラスのジェネリックバインディングを弱める

Question

理論的には、サブクラスメソッドの入力パラメーターは、スーパークラスの入力パラメーターと同等であるか、それよりも制限が少ない (反変) 必要があります。

私がやりたいことは、基本的にAジェネリックバインディングを持つクラスを作成しますが、ジェネリックバインディングなし<T extends SomeType>でサブクラスを作成するBことです（任意のタイプを許可する必要があります）<T>：

    class A<T extends SomeType> {....}

    class B<T> extends A<T extends SomeType> { ..... }

これはJavaでも可能ですか、それとも理論的な観点からは正しいですか?

score 5 · Accepted Answer

いいえ、それは正しくありません。で宣言されAているメソッドを考えてみましょうT:

abstract class A<T extends SomeType> {

    abstract T foo();
}

Aそのクラスによって宣言された境界に準拠することが期待されるように静的に型指定されたオブジェクト:

A<?> a = ...;
SomeType someObject = a.foo();

しかし、Bこれらの境界をなくす場合:

abstract class B<T> extends A<T> { }

class C extends B<String> {

    @Override
    String foo() {
        return "foo";
    }
}

私たちは混乱しています：

A<?> a = new C();
SomeType someObject = a.foo(); // ???

score 0 · Accepted Answer

あなたの質問は、主にいくつかの用語の誤った使用のためにかなり混乱していますが、私が正しく理解していれば、次の例はあなたがやりたかったことのように見えます:

class A<T extends CharSequence> { }
class B extends A<String> { }

したがって、あなたの質問によると、クラス A には CharSequence の上限を持つ型パラメーターがありますが、クラス B (A を拡張する) には型パラメーターがまったくありません。

java - ジェネリック クラスを拡張するが、サブクラスのジェネリック バインディングを弱める