Kovariante Rückgabetypen beim Überschreiben von Methoden
Überschreibende Methoden in Java können sich in ihren Rückgabetypen unterscheiden, sofern bestimmte Bedingungen erfüllt sind. Insbesondere unterstützt Java kovariante Rückgabetypen, sodass eine überschreibende Methode einen spezifischeren Rückgabetyp haben kann als die Methode, die sie überschreibt.
Gemäß der Java Language Specification (JLS) Abschnitt 8.4.5 ist dies solange zulässig da folgende Regeln eingehalten werden:
Wenn die ursprüngliche Methode einen Referenztyp zurückgibt:
Betrachten Sie beispielsweise den folgenden Code:
class ShapeBuilder { ... public Shape build() { .... } } class CircleBuilder extends ShapeBuilder{ ... @Override public Circle build() { .... } }
In this Beispielsweise überschreibt die build()-Methode in CircleBuilder die build()-Methode in ShapeBuilder. Der Rückgabetyp der überschriebenen Methode ist Shape, während der Rückgabetyp der überschreibenden Methode Circle ist, was ein Untertyp von Shape ist. Dies ist durch die kovariante Rückgabetypregel von Java zulässig.
Das obige ist der detaillierte Inhalt vonWann können überschreibende Methoden in Java unterschiedliche Rückgabetypen haben?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!