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(); }
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<SELF>> { abstract SELF self(); } public class MyLeafClass extends SelfTyped<MyLeafClass> { @Override MyLeafClass self() { return this; } } MyLeafClass mlc = new MyLeafClass(); mlc.self(); // returns mlc
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!

Heiße KI -Werkzeuge

Undresser.AI Undress
KI-gestützte App zum Erstellen realistischer Aktfotos

AI Clothes Remover
Online-KI-Tool zum Entfernen von Kleidung aus Fotos.

Undress AI Tool
Ausziehbilder kostenlos

Clothoff.io
KI-Kleiderentferner

Video Face Swap
Tauschen Sie Gesichter in jedem Video mühelos mit unserem völlig kostenlosen KI-Gesichtstausch-Tool aus!

Heißer Artikel

Heiße Werkzeuge

Notepad++7.3.1
Einfach zu bedienender und kostenloser Code-Editor

SublimeText3 chinesische Version
Chinesische Version, sehr einfach zu bedienen

Senden Sie Studio 13.0.1
Leistungsstarke integrierte PHP-Entwicklungsumgebung

Dreamweaver CS6
Visuelle Webentwicklungstools

SublimeText3 Mac-Version
Codebearbeitungssoftware auf Gottesniveau (SublimeText3)

Heiße Themen

Fehlerbehebung und Lösungen für die Sicherheitssoftware des Unternehmens, die dazu führt, dass einige Anwendungen nicht ordnungsgemäß funktionieren. Viele Unternehmen werden Sicherheitssoftware bereitstellen, um die interne Netzwerksicherheit zu gewährleisten. ...

Die Verarbeitung von Feldzuordnungen im Systemdocken stößt häufig auf ein schwieriges Problem bei der Durchführung von Systemdocken: So kartieren Sie die Schnittstellenfelder des Systems und ...

Bei Verwendung von MyBatis-Plus oder anderen ORM-Frameworks für Datenbankvorgänge müssen häufig Abfragebedingungen basierend auf dem Attributnamen der Entitätsklasse erstellt werden. Wenn Sie jedes Mal manuell ...

Lösungen zum Umwandeln von Namen in Zahlen zur Implementierung der Sortierung in vielen Anwendungsszenarien müssen Benutzer möglicherweise in Gruppen sortieren, insbesondere in einem ...

Beginnen Sie den Frühling mit der Intellijideaultimate -Version ...

Konvertierung von Java-Objekten und -Arrays: Eingehende Diskussion der Risiken und korrekten Methoden zur Konvertierung des Guss-Typs Viele Java-Anfänger werden auf die Umwandlung eines Objekts in ein Array stoßen ...

Detaillierte Erläuterung des Designs von SKU- und SPU-Tabellen auf E-Commerce-Plattformen In diesem Artikel werden die Datenbankdesignprobleme von SKU und SPU in E-Commerce-Plattformen erörtert, insbesondere wie man mit benutzerdefinierten Verkäufen umgeht ...

Wenn Sie TKMybatis für Datenbankabfragen verwenden, ist das Aufbau von Abfragebedingungen ein häufiges Problem. Dieser Artikel wird ...
