Warum ist "extends T" erlaubt, aber nicht "implements T"?

Question

Gibt es in Java einen besonderen Grund für die Verwendung von immer " extends " statt " implements " für die Festlegung von Grenzen von Typparametern?

Zum Beispiel:

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

ist verboten, aber

public class A<B extends C>{} 

ist richtig. Was ist der Grund dafür?

Answer 1

Es kann sein, dass der Basistyp ein generischer Parameter ist, so dass der eigentliche Typ eine Schnittstelle einer Klasse sein kann. Überlegen Sie:

class MyGen<T, U extends T> {

Auch aus der Sicht des Client-Codes sind Schnittstellen kaum von Klassen zu unterscheiden, während sie für den Untertyp wichtig sind.

Answer 2

Es ist ziemlich willkürlich, welche der Begriffe man verwendet. Es könnte beides gewesen sein. Vielleicht dachten die Sprachdesigner an "extends" als den grundlegendsten Begriff und "implements" als den Spezialfall für Schnittstellen.

Aber ich denke implements würde etwas mehr Sinn machen. Ich denke, das kommuniziert eher, dass die Parametertypen nicht in einer Vererbungsbeziehung stehen müssen, sie können in cualquier Art der Subtyp-Beziehung.

Das Java-Glossar drückt eine ähnliche Ansicht .

Answer 3

Bei der Verwendung von generic on interface ist das Schlüsselwort auch erweitert . Hier ist das Code-Beispiel:

Es gibt 2 Klassen, die die Schnittstelle Greeting implementieren:

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 ");
    }
}

Und der Testcode:

@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();
}

Answer 4

Die Verwendung von "extends" in <T extends Comparable> ist ein Versprechen, dass der Datentyp entweder selbst direkt Comparable implementiert oder aber eine Klasse erweitert, die Comparable implementiert. Sie könnten eine Unterklasse B einer anderen Klasse A geschrieben haben, die Comparable implementiert, und wenn Sie Ihren Datentyp als <T extends Comparable> deklarieren, können Sie bei der Instanziierung der Klasse entweder A oder B als Datentyp verwenden.