Meta programming

Beginnend mit ECMAScript 2015 hat JavaScript Unterstützung für Proxy and Reflect Objekte erhalten, welche das Abfangen und Definieren von benutzerdefinierten Verhaltens für grundlegenden Sprachoperation erlaubt (z. B. Eigenschaftensuche, Zuweisung, Aufzählung, Funktionsaufruf usw.). Mit der Hilfe dieser beiden Objekte ist es möglich auf der Metaebene von JavaScript zu programmieren.

Eingeführt in ECMAScript 6 erlaubt das Proxy Objekt das Abfangen und Definieren von benutzerdefinierten Verhaltens für bestimmte Operationen. Zum Beispiel um die Eigenschaft eines Objektes zu erhalten:

var handler = {
  get: function(target, name) {
    return name in target ? target[name] : 42;
  }
};

var p = new Proxy({}, handler);
p.a = 1;
console.log(p.a, p.b); // 1, 42

Das Proxy Objekt definiert einen Ziel (target) (hier ein leeres Objekt) und einen handler (Verhaltens) Objekt in dem ein get Trap implementiert ist. In diesem Beispiel wird kein undefined zurückgegeben, wenn Eigenschaften nicht definiert sind. Stattdessen wird die Zahl 42 zurückgegeben.

Weitere Beispiele sind auf der Proxy Referenzseite verfügbar.

Die folgenden Terme werden im Zusammenhang mit der Funktionalität von Proxies verwendet.

Handler (en-US)

Platzhalterobjekt, welches Traps enthält.

Traps

Die Methoden, die Zugriff auf Eigenschaften unterstützen. Diese sind analog zu Traps in Betriebssystemen.

Ziel

Objekt, welches vom Proxy virtualisiert wird. Es wird häufig als Speicher-Backend für den Proxy benutzt. Invarianten (Semantik, die unverändert bleiben) bezüglich nicht erweiterbarer Objekteigenschaften oder nicht konfigurierbarer Eigenschaften werden gegen das Ziel verifiziert.

Invarianten

Semantiken, die bei der Implementierung von benutzerdefinierten Operationen unverändert bleiben, werden als Invarianten bezeichnet. Wenn Sie gegen die Invarianten eines Handlers verstoßen, wird ein TypeError erzeugt.

Die Folgende Tabelle fasst die verfügbaren Traps von Proxy Objekten zusammen. Siehe auf der Referenzseite (en-US) für detailliertere Erklärungen und Beispiele.

Handler / Trap	Interceptions	Invarianten
handler.getPrototypeOf() (en-US)	Object.getPrototypeOf() Reflect.getPrototypeOf() (en-US) __proto__ Object.prototype.isPrototypeOf() (en-US) instanceof	Die getPrototypeOf Methode muss ein Objekt or null zurückgeben. Wenn target nicht erweiterbar ist, muss die Object.getPrototypeOf(proxy) Methode das gleiche zurückgeben wie Object.getPrototypeOf(target).
handler.setPrototypeOf() (en-US)	Object.setPrototypeOf() (en-US) Reflect.setPrototypeOf() (en-US)	Wenn target nicht erweiterbar ist, muss der prototype Parameter der gleiche Wert sein wie Object.getPrototypeOf(target).
handler.isExtensible() (en-US)	Object.isExtensible() Reflect.isExtensible() (en-US)	Object.isExtensible(proxy) muss den gleichen Wert wie Object.isExtensible(target) zurückgeben.
handler.preventExtensions() (en-US)	Object.preventExtensions() (en-US) Reflect.preventExtensions() (en-US)	Object.preventExtensions(proxy) gibt nur true zurück, wenn Object.isExtensible(proxy) false ist.
handler.getOwnPropertyDescriptor() (en-US)	Object.getOwnPropertyDescriptor() (en-US) Reflect.getOwnPropertyDescriptor() (en-US)	getOwnPropertyDescriptor muss ein Objekt oder undefined zurückgeben. Eine Eigenschaft kann nicht als nichtexistent erkannt werden, wenn sie als nicht konfigurierbare Eigenschaft des Zielobjektes existiert. Eine Eigenschaft kann nicht als nichtexistent erkannt werden, wenn sie als Eigenschaft des Zielobjektes existiert und das Zielobjekt nicht erweiterbar ist. Eine Eigenschaft kann nicht als existent erkannt werden, wenn sie nicht als Eigenschaft des Zielobjektes existiert und das Zielobjekt nicht erweiterbar ist. Eine Eigenschaft kann nicht als nicht konfigurierbar erkannt werden, wenn sie nicht als Eigenschaft des Zielobjektes existiert oder wenn sie als konfigurierbare Eigenschaft des Zielobjekt existiert. Das Ergebnis von Object.getOwnPropertyDescriptor(target) kann dem Zielobjekt mit Object.defineProperty übergeben werden ohne, dass ein Fehler erzeugt wird.
handler.defineProperty() (en-US)	Object.defineProperty() Reflect.defineProperty() (en-US)	Eine Eigenschaft kann nicht hinzugefügt werden, wenn das Zielobjekt nicht erweiterbar ist. Eine Eigenschaft kann nicht hinzugefügt werden oder zu nicht konfigurierbar geändert werden, wenn es nicht als nicht konfigurierbares Eigenschaft im Zielobjekt existiert. Eine Eigenschaft darf nicht nicht konfigurierbar sein, wenn die zugehörige konfigurierbare Eigenschaft im Zielobjekt existiert. Wenn eine Eigenschaft eine zugehörige Eigenschaft im Zielobjekt hat, so wird Object.defineProperty(target, prop, descriptor) keinen Fehler erzeugen. Im Strict Mode, wird ein falscher Rückgabewert des defineProperty Handler einen TypeError Erzeugen.
handler.has() (en-US)	Eigenschaftsabfrage: foo in proxy Vererbte Eigenschaftsabfrage: foo in Object.create(proxy) Reflect.has() (en-US)	Eine Eigenschaft kan nicht als nichtexistent erkannt werden, wenn sie als nicht konfigurierbare Eigenschaft im Zielobjekt existiert. Eine Eigenschaft kan nicht als nichtexistent erkannt werden, wenn sie als Eigenschaft im Zielobjekt existiert und das Zielobjekt nicht erweiterbar ist.
handler.get() (en-US)	Eigenschaftszugriff: proxy[foo]and proxy.bar Vererbter Eigenschaftszugriff: Object.create(proxy)[foo] Reflect.get() (en-US)	Der Wert, der für eine Eigenschaft zurückgegeben wird, muss der gleiche sein wie der in der zugehörigen Eigenschaft des Zielobjekts, wenn die Eigenschaft im Zielobjekt nicht überschreibbar und nicht konfigurierbar ist. Der Wert, der für eine Eigenschaft zurückgegeben wird, muss undefined sein, wenn die zugehörige Eigenschaft im Zielobjekt einen nicht konfigurierbare Zugriffseigenschaft hat, dessen [[Get]] Attribut undefined ist.
handler.set() (en-US)	Eigenschaftszuweisung: proxy[foo] = bar and proxy.foo = bar Vererbte Eigenschaftszuweisung: Object.create(proxy)[foo] = bar Reflect.set() (en-US)	Der Wert kann nicht zu einem geändert werden, der anders als dem Wert im Zielobjekt ist, wenn die zugehörige Eigenschaft im Zielobjekt eine nicht überschreibbare, nicht konfigurierbare Dateneigenschaft ist. Der Wert der Eigenschaft kann nicht geändert werden, wenn die zugehörige Eigenschaft im Zielobjekt nicht konfigurierbar ist und das [[Set]] Attribut den Wert undefined hat. Im Strict Mode, wird ein falscher Rückgabewert des set Handlers einen TypeError erzeugen.
handler.deleteProperty() (en-US)	Eigenschaft löschen: delete proxy[foo] und delete proxy.foo Reflect.deleteProperty() (en-US)	Eine Eigenschaft kann nicht gelöscht werden, Wenn sie als nicht konfigurierbare Eigenschaft im Zielobjekt existiert.
handler.enumerate()	Eigenschaft aufzählen (enumeration) / for...in: for (var name in proxy) {...} Reflect.enumerate()	Die enumerate Methode muss ein Objekt zurückgeben.
handler.ownKeys() (en-US)	Object.getOwnPropertyNames() Object.getOwnPropertySymbols() (en-US) Object.keys() Reflect.ownKeys() (en-US)	Das Ergebnis von ownKeys ist eine Liste. Der Typ jedes Elements in der Ergebnisliste ist entweder String oder Symbol. Die Ergebnisliste muss alle Schlüssel von nicht konfigurierbaren Eigenschaften des Zielobjektes enthalten. Wenn das Zielobjekt nicht erweiterbar ist, muss die Ergebnisliste alle Schlüssel des Zielobjektes enthalten und keine anderen Werte.
handler.apply() (en-US)	proxy(..args) Function.prototype.apply() and Function.prototype.call() Reflect.apply()	Es gibt keine Invarianten für die handler.apply Methode.
handler.construct() (en-US)	new proxy(...args) Reflect.construct()	Das Ergebnis muss ein Object sein.

Die Proxy.revocable() (en-US) Methode wird benutzt, um ein widerrufbares Proxy Objekt zu erstellen. Das bedeutet, dass der Proxy mit der Funktion revoke widerrufen werden kann und der Proxy ausgeschaltet wird. Danach wird jede Operation auf dem Proxy zu einem TypeError führen.

var revocable = Proxy.revocable({}, {
  get: function(target, name) {
    return '[[' + name + ']]';
  }
});
var proxy = revocable.proxy;
console.log(proxy.foo); // "[[foo]]"

revocable.revoke();

console.log(proxy.foo);  // TypeError is thrown
proxy.foo = 1;           // TypeError again
delete proxy.foo;        // still TypeError
typeof proxy;            // "object", typeof doesn't trigger any trap

Reflect ist ein Standardobjekt welches Methoden unterstützt, welche das Abfragen von JavaScript Operationen erlauben. Die Methoden sind die gleichen wie die eines Proxy Handlers (en-US). Reflect ist kein Funktionsobjekt.

Reflect hilft beim Weiterleiten von Standardoperationen des Handlers zu dem Zielobjekt.

Mit bekommt man Reflect.has() (en-US) zum Beispiel den in Operator als Funktion:

Reflect.has(Object, 'assign'); // true

In ES5 wird typischerweise die Function.prototype.apply() Methode genutzt, um eine Funktion mit einem gegebenen this Wert und arguments als Array (oder ein Array-ähnliches Objekt) benutzt.

Function.prototype.apply.call(Math.floor, undefined, [1.75]);

Mit Reflect.apply wird dieses weniger Langatmig und leichter verständlich:

Reflect.apply(Math.floor, undefined, [1.75]);
// 1;

Reflect.apply(String.fromCharCode, undefined, [104, 101, 108, 108, 111]);
// "hello"

Reflect.apply(RegExp.prototype.exec, /ab/, ['confabulation']).index;
// 4

Reflect.apply(''.charAt, 'ponies', [3]);
// "i"

Mit Object.defineProperty, welche ein Objekt zurück gibt, wenn es erfolgreich war, oder andernfalls ein TypeError erzeugt, muss man ein try...catch Block benutzen, um einen Fehler bei der Definition einer Eigenschaft abzufangen. Weil Reflect.defineProperty (en-US) einen Boolean als Status zurück gibt, kann man einfach einen if...else Block benutzen:

if (Reflect.defineProperty(target, property, attributes)) {
  // success
} else {
  // failure
}

• « zurück (en-US)