Heim > Java > javaLernprogramm > Wann können überschreibende Methoden in Java unterschiedliche Rückgabetypen haben?

Wann können überschreibende Methoden in Java unterschiedliche Rückgabetypen haben?

Barbara Streisand
Freigeben: 2024-12-02 19:03:14
Original
274 Leute haben es durchsucht

When Can Overriding Methods in Java Have Different Return Types?

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 void zurückgibt, muss auch die überschreibende Methode zurückkehren void.
  • Wenn die ursprüngliche Methode einen primitiven Typ zurückgibt, muss die überschreibende Methode denselben primitiven Typ zurückgeben.
  • Wenn die ursprüngliche Methode einen Referenztyp zurückgibt:

    • Der Rückgabetyp der überschreibenden Methode muss ein Untertyp des Rückgabetyps der ursprünglichen Methode sein.
    • Alternativ kann der Der Rückgabetyp der überschreibenden Methode kann aus einer ungeprüften Konvertierung des Rückgabetyps der ursprünglichen Methode resultieren, oder
    • Der Rückgabetyp der überschreibenden Methode kann die Löschung des Rückgabetyps der ursprünglichen Methode sein (nachdem generische Typparameter entfernt wurden).

Betrachten Sie beispielsweise den folgenden Code:

class ShapeBuilder {
    ...
    public Shape build() {
        ....
    }
}

class CircleBuilder extends ShapeBuilder{
    ...
    @Override
    public Circle build() {
        ....
    }
}
Nach dem Login kopieren

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!

Quelle:php.cn
Erklärung dieser Website
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn
Neueste Artikel des Autors
Beliebte Tutorials
Mehr>
Neueste Downloads
Mehr>
Web-Effekte
Quellcode der Website
Website-Materialien
Frontend-Vorlage