Dieser Inhalt wurde automatisch aus dem Englischen übersetzt, und kann Fehler enthalten.Erfahre mehr über dieses Experiment.
extends
Baseline Widely available
This feature is well established and works across many devices and browser versions. It’s been available across browsers since März 2016.
Dasextends Schlüsselwort wird inKlassendeklarationen oderKlassenexpressionen verwendet, um eine Klasse zu erstellen, die eine Unterklasse einer anderen Klasse ist.
In diesem Artikel
Probieren Sie es aus
class DateFormatter extends Date { getFormattedDate() { const months = [ "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec", ]; return `${this.getDate()}-${months[this.getMonth()]}-${this.getFullYear()}`; }}console.log(new DateFormatter("August 19, 1975 23:15:30").getFormattedDate());// Expected output: "19-Aug-1975"Syntax
class ChildClass extends ParentClass { /* … */ }ParentClassEin Ausdruck, der zu einer Konstruktorfunktion (einschließlich einer Klasse) oder
nullauswertet.
Beschreibung
Dasextends Schlüsselwort kann zum Erstellen von Unterklassen für benutzerdefinierte Klassen sowie für eingebaute Objekte verwendet werden.
Jeder Konstruktor, der mitnew aufgerufen werden kann und dieprototype Eigenschaft hat, kann Kandidat für die Elternklasse sein. Beide Bedingungen müssen erfüllt sein – zum Beispiel könnengebundene Funktionen undProxy konstruiert werden, aber sie haben keineprototype Eigenschaft, also können sie nicht unterklassifiziert werden.
function OldStyleClass() { this.someProperty = 1;}OldStyleClass.prototype.someMethod = function () {};class ChildClass extends OldStyleClass {}class ModernClass { someProperty = 1; someMethod() {}}class AnotherChildClass extends ModernClass {}Dieprototype Eigenschaft derParentClass muss einObject odernull sein, aber in der Praxis werden Sie sich selten darum kümmern, da ein nicht-objekt-orientiertesprototype sich ohnehin nicht wie erwartet verhält. (Es wird vomnew Operator ignoriert.)
function ParentClass() {}ParentClass.prototype = 3;class ChildClass extends ParentClass {}// Uncaught TypeError: Class extends value does not have valid prototype property 3console.log(Object.getPrototypeOf(new ParentClass()));// [Object: null prototype] {}// Not actually a number!extends legt das Prototyp für sowohlChildClass als auchChildClass.prototype fest.
Prototyp vonChildClass | Prototyp vonChildClass.prototype | |
|---|---|---|
extends Klausel fehlt | Function.prototype | Object.prototype |
extends null | Function.prototype | null |
extends ParentClass | ParentClass | ParentClass.prototype |
class ParentClass {}class ChildClass extends ParentClass {}// Allows inheritance of static propertiesObject.getPrototypeOf(ChildClass) === ParentClass;// Allows inheritance of instance propertiesObject.getPrototypeOf(ChildClass.prototype) === ParentClass.prototype;Die rechte Seite vonextends muss kein Bezeichner sein. Sie können jeden Ausdruck verwenden, der zu einem Konstruktor auswertet. Dies ist oft nützlich, umMixins zu erstellen. Derthis Wert imextends Ausdruck ist dasthis, das die Klassendefinition umgibt, und das Verweisen auf den Klassennamen führt zu einemReferenceError, da die Klasse noch nicht initialisiert ist.await undyield funktionieren erwartungsgemäß in diesem Ausdruck.
class SomeClass extends class { constructor() { console.log("Base class"); }} { constructor() { super(); console.log("Derived class"); }}new SomeClass();// Base class// Derived classWährend die Basisklasse alles von ihrem Konstruktor zurückgeben kann, muss die abgeleitete Klasse ein Objekt oderundefined zurückgeben, sonst wird einTypeError ausgelöst.
class ParentClass { constructor() { return 1; }}console.log(new ParentClass()); // ParentClass {}// The return value is ignored because it's not an object// This is consistent with function constructorsclass ChildClass extends ParentClass { constructor() { super(); return 1; }}console.log(new ChildClass()); // TypeError: Derived constructors may only return object or undefinedWenn der Elternklassenkonstruktor ein Objekt zurückgibt, wird dieses Objekt alsthis Wert für die abgeleitete Klasse verwendet, wenn diese weiterKlassenfelder initialisiert. Dieser Trick wird als"Rückgabeveränderung" bezeichnet und ermöglicht es, dass die Felder einer abgeleiteten Klasse (einschließlich derprivaten) auf nicht verwandten Objekten definiert werden.
Unterklassenbildung eingebauter Klassen
Warnung:Das Standardkomitee ist mittlerweile der Ansicht, dass der eingebaute Unterklassifizierungsmechanismus in früheren Spezifikationsversionen überentwickelt ist und nicht unerhebliche Leistungs- und Sicherheitsprobleme verursacht. Neue eingebaute Methoden berücksichtigen Unterklassen weniger, und Implementierer von Engines untersuchen,ob bestimmte Mechanismen der Unterklassifizierung entfernt werden sollen. Ziehen Sie in Betracht, Zusammensetzung anstelle von Vererbung zu verwenden, wenn Sie eingebaute Klassen erweitern.
Hier sind einige Dinge, die Sie erwarten können, wenn Sie eine Klasse erweitern:
- Beim Aufruf einer statischen Fabrikmethode (wie
Promise.resolve()oderArray.from()) auf einer Unterklasse ist die zurückgegebene Instanz immer eine Instanz der Unterklasse. - Beim Aufruf einer Instanzmethode, die eine neue Instanz zurückgibt (wie
Promise.prototype.then()oderArray.prototype.map()) auf einer Unterklasse, ist die zurückgegebene Instanz immer eine Instanz der Unterklasse. - Instanzmethoden versuchen, soweit möglich, an eine minimalen Satz von primitiven Methoden zu delegieren. Zum Beispiel führt das Überschreiben von
then()in einer Unterklasse vonPromiseautomatisch dazu, dass sich das Verhalten voncatch()ändert; oder beim Überschreiben vonset()in einer Unterklasse vonMapändert sich das Verhalten desMap()Konstruktors automatisch.
Diese Erwartungen richtig zu implementieren erfordert jedoch nicht-triviale Anstrengungen.
- Erstens muss die statische Methode den Wert von
thislesen, um den Konstruktor für die Konstruktion der zurückgegebenen Instanz zu erhalten. Dies bedeutet, dass[p1, p2, p3].map(Promise.resolve)einen Fehler auslöst, dathisinnerhalb vonPromise.resolveundefinedist. Eine Möglichkeit, dies zu beheben, besteht darin, auf die Basisklasse zurückzufallen, wennthiskein Konstruktor ist, wieArray.from()es tut, wobei die Basisklasse dennoch eine Sonderbehandlung erfährt. - Zweitens muss die Instanzmethode
this.constructorlesen, um die Konstruktorfunktion zu erhalten. Abernew this.constructor()kann alten Code brechen, weil dieconstructorEigenschaft sowohl beschreibbar als auch konfigurierbar ist und in keiner Weise geschützt ist. Daher verwenden viele eingebaute Kopiermethoden stattdessen die[Symbol.species]Eigenschaft des Konstruktors (die standardmäßig einfachthis, also den Konstruktor selbst, zurückgibt). Aber[Symbol.species]erlaubt es, beliebigen Code auszuführen und Instanzen eines beliebigen Typs zu erstellen, was ein Sicherheitsproblem darstellt und die Semantik der Unterklassenerstellung erheblich verkompliziert. - Drittens führt es zu sichtbaren Aufrufen von benutzerdefiniertem Code, was viele Optimierungen erschwert. Zum Beispiel, wenn der
Map()Konstruktor mit einem iterierbaren vonx Elementen aufgerufen wird, muss er dieset()Methodex-mal sichtbar aufrufen, anstatt die Elemente einfach in den internen Speicher zu kopieren.
Diese Probleme sind nicht einzigartig für eingebaute Klassen. Bei Ihren eigenen Klassen müssen Sie wahrscheinlich die gleichen Entscheidungen treffen. Bei eingebauten Klassen sind jedoch Optimierbarkeit und Sicherheit ein viel größeres Anliegen. Neue eingebaute Methoden konstruieren immer die Basisklasse und rufen so wenige benutzerdefinierte Methoden wie möglich auf. Wenn Sie eingebaute Klassen unterklassen wollen und trotzdem die oben genannten Erwartungen erfüllen möchten, müssen Sie alle Methoden überschreiben, bei denen das Standardverhalten fest integriert ist. Jede Hinzufügung neuer Methoden in die Basisklasse kann auch die Semantik Ihrer Unterklasse brechen, da sie standardmäßig vererbt werden. Daher ist eine bessere Art, eingebaute Klassen zu erweitern, dieZusammensetzung zu verwenden.
Null erweitern
extends null wurde entworfen, um die einfache Erstellung vonObjekten, die nicht vonObject.prototype erben zu ermöglichen. Aufgrund ungelöster Entscheidungen darüber, obsuper() im Konstruktor aufgerufen werden sollte, ist es jedoch in der Praxis nicht möglich, eine solche Klasse unter Verwendung einer beliebigen Konstruktorimplementierung zu konstruieren, die kein Objekt zurückgibt.Das TC39 Komitee arbeitet daran, dieses Feature wieder zu aktivieren.
new (class extends null {})();// TypeError: Super constructor null of anonymous class is not a constructornew (class extends null { constructor() {}})();// ReferenceError: Must call super constructor in derived class before accessing 'this' or returning from derived constructornew (class extends null { constructor() { super(); }})();// TypeError: Super constructor null of anonymous class is not a constructorStattdessen müssen Sie explizit eine Instanz aus dem Konstruktor zurückgeben.
class NullClass extends null { constructor() { // Using new.target allows derived classes to // have the correct prototype chain return Object.create(new.target.prototype); }}const proto = Object.getPrototypeOf;console.log(proto(proto(new NullClass()))); // nullBeispiele
>Verwendung von extends
Das erste Beispiel erstellt eine Klasse namensSquare von einer Klasse namensPolygon. Dieses Beispiel stammt aus diesemLive-Demo(Quelle).
class Square extends Polygon { constructor(length) { // Here, it calls the parent class' constructor with lengths // provided for the Polygon's width and height super(length, length); // Note: In derived classes, super() must be called before you // can use 'this'. Leaving this out will cause a reference error. this.name = "Square"; } get area() { return this.height * this.width; }}Normale Objekte erweitern
Klassen können reguläre (nicht konstruierbare) Objekte nicht erweitern. Wenn Sie von einem regulären Objekt erben möchten, indem Sie alle Eigenschaften dieses Objekts in geerbten Instanzen verfügbar machen, können Sie stattdessenObject.setPrototypeOf() verwenden:
const Animal = { speak() { console.log(`${this.name} makes a noise.`); },};class Dog { constructor(name) { this.name = name; }}Object.setPrototypeOf(Dog.prototype, Animal);const d = new Dog("Mitzie");d.speak(); // Mitzie makes a noise.Eingebaute Objekte erweitern
Dieses Beispiel erweitert das eingebauteDate Objekt. Dieses Beispiel stammt aus diesemLive-Demo(Quelle).
class MyDate extends Date { getFormattedDate() { const months = [ "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec", ]; return `${this.getDate()}-${months[this.getMonth()]}-${this.getFullYear()}`; }}Object erweitern
Alle JavaScript-Objekte erben standardmäßig vonObject.prototype, daher scheint das Schreiben vonextends Object auf den ersten Blick redundant zu sein. Der einzige Unterschied,extends nicht zu schreiben, besteht darin, dass der Konstruktor selbst statische Methoden vonObject erbt, wie zum BeispielObject.keys(). Da jedoch keine statische Methode vonObject denthis Wert verwendet, gibt es keinen Nutzen darin, diese statischen Methoden zu erben.
DerObject() Konstruktor behandelt die Unterklassification besonders. Wenn er implizit übersuper() aufgerufen wird, initialisiert er immer ein neues Objekt mitnew.target.prototype als sein Prototyp. Jeder ansuper() übergebene Wert wird ignoriert.
class C extends Object { constructor(v) { super(v); }}console.log(new C(1) instanceof Number); // falseconsole.log(C.keys({ a: 1, b: 2 })); // [ 'a', 'b' ]Vergleichen Sie dieses Verhalten mit einem benutzerdefinierten Wrapper, der die Unterklassification nicht besonders behandelt:
function MyObject(v) { return new Object(v);}class D extends MyObject { constructor(v) { super(v); }}console.log(new D(1) instanceof Number); // trueSpecies
Es kann sein, dass SieArray Objekte in Ihrer abgeleiteten Array-KlasseMyArray zurückgeben möchten. Das Species-Muster ermöglicht es Ihnen, Standardkonstruktoren zu überschreiben.
Zum Beispiel möchten Sie bei der Verwendung von Methoden wieArray.prototype.map(), die den Standardkonstruktor zurückgeben, dass diese Methoden ein übergeordnetesArray-Objekt zurückgeben, anstelle desMyArray-Objekts. DasSymbol.species Symbol lässt Sie dies tun:
class MyArray extends Array { // Overwrite species to the parent Array constructor static get [Symbol.species]() { return Array; }}const a = new MyArray(1, 2, 3);const mapped = a.map((x) => x * x);console.log(mapped instanceof MyArray); // falseconsole.log(mapped instanceof Array); // trueDieses Verhalten wird von vielen eingebauten Kopiermethoden implementiert. Für Vorbehalte zu diesem Feature siehe die Diskussion zurUnterklassenbildung eingebauter Klassen.
Mix-ins
Abstrakte Unterklassen oderMix-ins sind Vorlagen für Klassen. Eine Klasse kann nur eine einzige Oberklasse haben, daher ist Mehrfachvererbung von Werkzeugklassen beispielsweise nicht möglich. Die Funktionalität muss von der Oberklasse bereitgestellt werden.
Eine Funktion mit einer Oberklasse als Eingabe und einer Unterklasse, die diese Oberklasse erweitert, als Ausgabe kann verwendet werden, um Mix-ins zu implementieren:
const calculatorMixin = (Base) => class extends Base { calc() {} };const randomizerMixin = (Base) => class extends Base { randomize() {} };Eine Klasse, die diese Mix-ins verwendet, kann dann so geschrieben werden:
class Foo {}class Bar extends calculatorMixin(randomizerMixin(Foo)) {}Vermeidung von Vererbung
Vererbung ist eine sehr starke Kopplungsbeziehung in der objektorientierten Programmierung. Sie bedeutet, dass alle Verhaltensweisen der Basisklasse standardmäßig von der Unterklasse geerbt werden, was nicht immer gewünscht sein könnte. Betrachten Sie zum Beispiel die Implementierung einerReadOnlyMap:
class ReadOnlyMap extends Map { set() { throw new TypeError("A read-only map must be set at construction time."); }}Es stellt sich heraus, dassReadOnlyMap nicht konstruierbar ist, da derMap() Konstruktor dieset() Methode der Instanz aufruft.
const m = new ReadOnlyMap([["a", 1]]); // TypeError: A read-only map must be set at construction time.Wir können dies umgehen, indem wir einen privaten Indikator verwenden, um anzuzeigen, ob die Instanz konstruiert wird. Ein wesentliches Problem bei diesem Design ist jedoch, dass es dasLiskov'sche Substitutionsprinzip bricht, welches besagt, dass eine Unterklasse für ihre Oberklasse austauschbar sein sollte. Wenn eine Funktion einMap-Objekt erwartet, sollte sie auch einReadOnlyMap-Objekt verwenden können, was hier jedoch zu einem Bruch führt.
Vererbung führt oft zudem Kreis-Ellipse-Problem, da kein Typ perfekt das Verhalten des anderen beinhaltet, obwohl sie viele gemeinsame Merkmale teilen. Im Allgemeinen ist es, es sei denn, es gibt einen sehr guten Grund, Vererbung zu verwenden, besser, Zusammensetzung einzusetzen. Zusammensetzung bedeutet, dass eine Klasse eine Referenz zu einem Objekt einer anderen Klasse hat und dieses Objekt nur als Implementierungsdetail verwendet.
class ReadOnlyMap { #data; constructor(values) { this.#data = new Map(values); } get(key) { return this.#data.get(key); } has(key) { return this.#data.has(key); } get size() { return this.#data.size; } *keys() { yield* this.#data.keys(); } *values() { yield* this.#data.values(); } *entries() { yield* this.#data.entries(); } *[Symbol.iterator]() { yield* this.#data[Symbol.iterator](); }}In diesem Fall ist dieReadOnlyMap Klasse keine Unterklasse vonMap, aber sie implementiert dennoch die meisten der gleichen Methoden. Dies bedeutet mehr Code-Duplikation, aber es bedeutet auch, dass dieReadOnlyMap Klasse nicht stark mit derMap Klasse gekoppelt ist und nicht leicht bricht, wenn sich dieMap Klasse ändert. Es vermeidet diesemantischen Probleme der eingebauten Unterklassifizierung. Zum Beispiel, wenn dieMap Klasse eine neue Utility-Methode hinzufügt (wiegetOrInsert()), dieset() nicht aufruft, würde dies bedeuten, dass dieReadOnlyMap Klasse nicht mehr schreibgeschützt ist, es sei denn, letztere wird entsprechend aktualisiert, umgetOrInsert() ebenfalls zu überschreiben. Außerdem habenReadOnlyMap Objekte dieset Methode überhaupt nicht, was genauer ist, als zur Laufzeit einen Fehler auszulösen.
Spezifikationen
| Specification |
|---|
| ECMAScript® 2026 Language Specification> # sec-class-definitions> |