Javaジェネリックス-「Tを拡張する」が許可されているが、「Tを実装する」ことができないのはなぜですか？

型パラメーターの境界を定義するために常に " extends"ではなく" " を使用するJavaには特別な理由があるimplementsのでしょうか。

例：

public interface C {}
public class A<B implements C>{} 

禁止されていますが

public class A<B extends C>{} 

正しい。その理由は何ですか？

クラスが「実装」するか「拡張」するかにかかわらず、一般的な制約言語に意味上の違いはありません。制約の可能性は「拡張」と「スーパー」です。つまり、このクラスは、他のクラスに割り当て可能で動作する（拡張）か、このクラスから割り当て可能（スーパー）です。

答えはここにあります  ：

有界型パラメーターを宣言するには、型パラメーターの名前、extendsキーワード、上限 […]の順にリストします。この文脈では、拡張は一般的な意味でextends（クラスのように）またはimplements（インターフェースのように）を意味するために使用されることに注意してください。

だから、あなたはそれを持っています、それは少し混乱しています、そしてOracleはそれを知っています。

おそらく両方（BとC）に関連するのは、実装ではなくタイプのみです。あなたの例では

public class A<B extends C>{}

Bもインターフェイスにすることができます。"extends"は、サブクラスと同様にサブインターフェースを定義するために使用されます。

interface IntfSub extends IntfSuper {}
class ClzSub extends ClzSuper {}

私は普通「と「サブスーパーを拡張」を考えるサブが似ているスーパーが、追加機能で」、および「CLZ用具Intfにより」「としてCLZがの実現であるIntfにより」。あなたの例では、これは一致します：BはCに似ていますが、追加の機能があります。機能は、実現ではなく、ここに関連しています。

基本タイプが総称パラメーターである可能性があるため、実際のタイプはクラスのインターフェースである可能性があります。考慮してください：

class MyGen<T, U extends T> {

また、クライアントコードの観点から見ると、インターフェイスはクラスとほとんど区別がつきませんが、サブタイプの場合は重要です。

以下は、拡張が許可される場所と、おそらく必要なもののより複雑な例です。

public class A<T1 extends Comparable<T1>>

どの用語を使用するかは、恣意的です。それはどちらの方法だったかもしれません。おそらく言語設計者は、「拡張」を最も基本的な用語として、「実装」をインターフェースの特殊なケースとして考えていました。

しかし、私はimplementsもう少し理にかなっていると思います。これは、パラメーター型が継承関係にある必要はなく、あらゆる種類のサブタイプ関係にあることができることをより伝えています。

Java用語集も同様の見解を示しています。

に慣れている

class ClassTypeA implements InterfaceTypeA {}
class ClassTypeB extends ClassTypeA {}

そして、これらの規則から少しでも逸脱すると、私たちを非常に混乱させます。

型バインドの構文は次のように定義されます

TypeBound:
    extends TypeVariable 
    extends ClassOrInterfaceType {AdditionalBound}

^{（JLS 12> 4.4。タイプ変数>TypeBound）}

変更したimplements場合は必ずケースを追加します

TypeBound:
    extends TypeVariable 
    extends ClassType {AdditionalBound}
    implements InterfaceType {AdditionalBound}

同じように処理される2つの句で終わる

ClassOrInterfaceType:
    ClassType 
    InterfaceType

^{（JLS 12> 4.3。参照タイプと値>ClassOrInterfaceType）}

ただし、を処理する必要があるためimplements、事態はさらに複雑になります。

それextends ClassOrInterfaceTypeがextends ClassTypeandの代わりに使用される主な理由だと思いますimplements InterfaceType-複雑な概念の中で物事をシンプルに保つために。問題は、両方をカバーする適切な言葉がないことです。extendsまたimplements、どちらかを紹介したくありません。

<T is ClassTypeA>
<T is InterfaceTypeA>

けれどもextends、それはインターフェースと一緒になったときに、いくつかの混乱をもたらし、それはより広範な用語だと両方のケースを記述するために使用することができます。型の拡張（クラスの拡張ではなく、インターフェースの実装ではない）の概念に心を向けましょう。型パラメーターを別の型で制限し、その型が実際に何であるかは関係ありません。それがその上限であり、それがそのスーパータイプであることだけが重要です。

実際、ジェネリックonインターフェースを使用する場合、キーワードもextendsです。次にコード例を示します。

Greetingインターフェースを実装する2つのクラスがあります。

interface Greeting {
    void sayHello();
}

class Dog implements Greeting {
    @Override
    public void sayHello() {
        System.out.println("Greeting from Dog: Hello ");
    }
}

class Cat implements Greeting {
    @Override
    public void sayHello() {
        System.out.println("Greeting from Cat: Hello ");
    }
}

そしてテストコード：

@Test
public void testGeneric() {
    Collection<? extends Greeting> animals;

    List<Dog> dogs = Arrays.asList(new Dog(), new Dog(), new Dog());
    List<Cat> cats = Arrays.asList(new Cat(), new Cat(), new Cat());

    animals = dogs;
    for(Greeting g: animals) g.sayHello();

    animals = cats;
    for(Greeting g: animals) g.sayHello();
}