Kann eine Typvariable in Java auf ihren eigenen Subtyp verweisen?

Kann sich eine Typvariable auf den aktuellen Typ beziehen?

In Programmiersprachen sind Typvariablen wichtig, um Typbeschränkungen und Polymorphismus auszudrücken. Es gibt jedoch Einschränkungen hinsichtlich der Verwendung dieser Variablen. Eine häufige Frage ist, ob eine Typvariable auf den genauen Untertyp verweisen kann, in dem sie sich befindet.

Betrachten Sie den folgenden Code:

class A {
    <t extends a> foo();
}

class B extends A {
    @Override
    T foo();
}</t>

Hier definieren wir eine Klasse A mit einer generischen Methode foo(), das einen Typparameter T annimmt. Wir definieren auch eine Unterklasse B, die die Methode foo() überschreibt. Die Frage ist: Kann der Typparameter T in foo() verwendet werden, um auf den genauen Subtyp B in Klasse B zu verweisen?

Antwort:

Leider ist dies bei Java der Fall Typvariablen dürfen nicht auf den genauen Subtyp verweisen, in dem sie sich befinden. Die Typvariable T im obigen Beispiel bleibt im Gültigkeitsbereich von foo() ein unbekannter Typ und kann nicht in den Subtyp aufgelöst werden B.

Seltsam wiederkehrendes Vorlagenmuster (Selbsttyp):

Um das gewünschte Verhalten eines „Selbst“-Typs zu erreichen, kann man ein Entwurfsmuster verwenden, das als bekannt ist das Curiously Recurring Template (CRT)-Muster, auch „Selbsttyp“ genannt. Dieses Muster beinhaltet die Definition abstrakter Basisklassen, die einen Vertrag zur Rückgabe des Laufzeittyps einer Instanz erzwingen. Abgeleitete Klassen implementieren den Typ self, indem sie den Typparameter in ihren eigenen Typ auflösen.

Hier ist ein Beispiel für das CRT-Muster in Java:

abstract class SelfTyped<self extends selftyped>> {
    abstract SELF self();
}

public class MyLeafClass extends SelfTyped<myleafclass> {
    @Override
    MyLeafClass self() {
        return this;
    }
}

MyLeafClass mlc = new MyLeafClass();
mlc.self(); // returns mlc</myleafclass></self>

Während dieses Muster eine Möglichkeit bietet, darauf zu verweisen Wenn Sie den aktuellen Typ mit self() verwenden, sollte er mit Vorsicht verwendet werden, da er das Potenzial für Missbrauch birgt und die Typsicherheit gefährden kann.

Das obige ist der detaillierte Inhalt vonKann eine Typvariable in Java auf ihren eigenen Subtyp verweisen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!