Wie kann ich mit einer Typvariablen in Java auf den aktuellen Typ verweisen?

Gibt es eine Möglichkeit, mit einer Typvariablen auf den aktuellen Typ zu verweisen?

In Java ist es nicht möglich, mit einem Typ direkt auf den aktuellen Typ zu verweisen Variable. Das Problem tritt auf, wenn versucht wird, Methoden zu schreiben, die eine Instanz des aktuellen Typs zurückgeben können, was bei der Subtypisierung problematisch wird. Beispielsweise bezieht sich die Deklaration einer generischen Methode mit dem Rückgabetyp T in einer Basisklasse auf den Basisklassentyp in Unterklassen, nicht auf den tatsächlichen Unterklassentyp.

Eine Problemumgehung, die rekursive Grenzen und abstrakte Klassen/Schnittstellen nutzt

Um dies zu beheben, können eine rekursive Grenze und eine abstrakte Klassenhierarchie wie folgt verwendet werden:

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

class MyBaseClass<SELF extends MyBaseClass<SELF>>
        extends SelfTyped<SELF> {

    MyBaseClass() { }

    public SELF baseMethod() {
        return self();
    }
}

final class MyLeafClass extends MyBaseClass<MyLeafClass> {

    @Override
    MyLeafClass self() {
        return this;
    }

    public MyLeafClass leafMethod() {
        return self();
    }
}

Hier Bei diesem Ansatz lösen Blattklassen den rekursiven Typparameter SELF in ihren eigenen Typ auf und implementieren self(). Blattklassen können direkt verwendet werden, was eine Methodenverkettung ermöglicht und gleichzeitig den richtigen Rückgabetyp beibehält:

MyLeafClass mlc = new MyLeafClass().baseMethod().leafMethod();

AnotherLeafClass alc = new AnotherLeafClass().baseMethod().anotherLeafMethod();

Achtung: Diese Technik basiert auf dem seltsam wiederkehrenden Vorlagenmuster (CRT) und birgt bestimmte Risiken :

• Sicherheitslücke bei der Typersetzung: Abgeleitete Klassen können SELF überschreiben um einen anderen Typ zurückzugeben, wodurch die Self-Type-Garantie gefährdet wird.
• Falsche self()-Implementierung: Abgeleitete Klassenimplementierungen von self() geben möglicherweise nicht genau die aktuelle Instanz zurück.

Um diese Risiken zu mindern, stellen Sie sicher, dass die beteiligten Klassen nicht öffentlich erweiterbar sind, und erwägen Sie die Verwendung paketprivater Konstruktoren und Methoden für SelfTyped und self().

Bewertungs- und Verwendungsüberlegungen

Diese Problemumgehung bietet zwar eine Möglichkeit, auf den aktuellen Typ zu verweisen, führt jedoch zu zusätzlicher Komplexität und Einschränkungen. Es wird empfohlen, vor der Umsetzung die Vorteile sorgfältig gegen mögliche Nachteile abzuwägen. In Fällen, in denen eine explizite Typreferenzierung von entscheidender Bedeutung ist, kann diese Lösung nützlich sein, aber vermeiden Sie es, sich übermäßig oder in öffentlichen APIs darauf zu verlassen.

Das obige ist der detaillierte Inhalt vonWie kann ich mit einer Typvariablen in Java auf den aktuellen Typ verweisen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!