Мета-программирование
С приходом ECMAScript 2015, в JavaScript введены объектыProxy
иReflect
, позволяющие перехватить и переопределить поведение фундаментальных процессов языка (таких как поиск свойств, присвоение, итерирование, вызов функций и так далее). С помощью этих двух объектов вы можете программировать на мета уровне JavaScript.
Объекты Proxy
Введённый в ECMAScript 6, объектProxy
позволяет перехватить и определить пользовательское поведение для определённых операций. Например, получение свойства объекта:
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
ОбъектProxy
определяетtarget
(в данном случае новый пустой объект) иhandler
- объект в котором реализована особаяфункция-ловушкаget
. "Проксированный" таким образом объект, при доступе к его несуществующему свойству вернёт неundefined,
а числовое значение 42.
Дополнительные примеры доступны в справочникеProxy
.
Терминология
В разговоре о функциях объектаProxy
применимы следующие термины:
- handler (обработчик)
Объект - обёртка, содержащий в себе функции-ловушки.
- ловушки (traps)
Методы, реализующие доступ к свойствам. В своей концепции они аналогичны методам перехвата(hooking) в операционных системах.
- цель (target)
Объект, который оборачивается в Proxy. Часто используется лишь как внутреннее хранилище для Proxy объекта. Проверка на нарушение ограничений (invariants), связанных с нерасширяемостью объекта или неконфигурируемыми свойствами объекта производится для конкретнойцели.
- неизменяемые ограничения (дословно Invariants - те что остаются неизменными)
Некоторые особенности поведения объекта, которые должны быть сохранены при реализации пользовательского поведения названы invariants. Если в обработчике нарушены такие ограничения, будет выброшена ошибка
TypeError
.
Обработчики и ловушки
В следующей таблице перечислены ловушки, доступные для использования в объектеProxy
. Смотрите подробные объяснения и примеры вдокументации.
Обработчик / ловушка | Перехватываемые методы | Неизменяемые ограничения |
---|---|---|
handler.getPrototypeOf() | Object.getPrototypeOf() Reflect.getPrototypeOf() __proto__ Object.prototype.isPrototypeOf() instanceof |
|
handler.setPrototypeOf() | Object.setPrototypeOf() Reflect.setPrototypeOf() | если целевой объектtarget нерасширяем, значение параметраprototype должно быть равным значению возвращаемому методомObject.getPrototypeOf(target) . |
handler.isExtensible() | Object.isExtensible() Reflect.isExtensible() | Object.isExtensible(proxy) должно возвращать тоже значение, что иObject.isExtensible(target) . |
handler.preventExtensions() | Object.preventExtensions() Reflect.preventExtensions() | Object.preventExtensions(proxy) возвращаетtrue только в том случае, еслиObject.isExtensible(proxy) равноfalse . |
handler.getOwnPropertyDescriptor() | Object.getOwnPropertyDescriptor() Reflect.getOwnPropertyDescriptor() |
|
handler.defineProperty() | Object.defineProperty() Reflect.defineProperty() |
|
handler.has() | Property query:foo in proxy Inherited property query: foo in Object.create(proxy) Reflect.has() |
|
handler.get() | Property access:proxy[foo] andproxy.bar Inherited property access: Object.create(proxy)[foo] Reflect.get() |
|
handler.set() | Property assignment:proxy[foo] = bar andproxy.foo = bar Inherited property assignment: Object.create(proxy)[foo] = bar Reflect.set() |
|
handler.deleteProperty() | Property deletion:delete proxy[foo] anddelete proxy.foo Reflect.deleteProperty() | Свойство не может быть удалено, если оно существует в целевом объекте как собственное, неконфигурируемое свойство. |
handler.enumerate() | Property enumeration / for...in:for (var name in proxy) {...} Reflect.enumerate() | Метод enumerate должен возвращать объект. |
handler.ownKeys() | Object.getOwnPropertyNames() Object.getOwnPropertySymbols() Object.keys() Reflect.ownKeys() |
|
handler.apply() | proxy(..args) Function.prototype.apply() andFunction.prototype.call() Reflect.apply() | Ограничений нет. |
handler.construct() | new proxy(...args) Reflect.construct() | Обработчик должен возвращатьObject . |
ОтзываемыйProxy
МетодProxy.revocable()
создаёт отзываемый объектProxy
. Такой прокси объект может быть отозван функциейrevoke
, которая отключает все ловушки-обработчики. После этого любые операции над прокси объектом вызовут ошибкуTypeError
.
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); // ошибка TypeErrorproxy.foo = 1; // снова ошибка TypeErrordelete proxy.foo; // опять TypeErrortypeof proxy; // "object", для метода typeof нет ловушек
Рефлексия
Reflect
это встроенный объект, предоставляющий методы для перехватываемых операций JavaScript. Это те же самые методы, что имеются вобработчиках Proxy. ОбъектReflect
не является функцией.
Reflect
помогает при пересылке стандартных операций из обработчика к целевому объекту.
Например, методReflect.has()
это тот жеоператор in
но в виде функции:
Reflect.has(Object, "assign"); // true
Улучшенная функцияapply
В ES5 обычно используется методFunction.prototype.apply()
для вызова функции в определённом контексте (с определённымthis)
и с параметрами, заданными в виде массива (илимассива-подобного объекта).
Function.prototype.apply.call(Math.floor, undefined, [1.75]);
С методомReflect.apply
эта операция менее громоздка и более понятна:
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;// 4Reflect.apply("".charAt, "ponies", [3]);// "i"
Проверка успешности определения нового свойства
МетодObject.defineProperty
, в случае успеха операции, возвращает объект, а при неудаче вызывает ошибкуTypeError
. Из-за этого определение свойств требует обработки блокомtry...catch
для перехвата возможных ошибок. МетодReflect.defineProperty
, в свою очередь, возвращает успешность операции в виде булева значения, благодаря чему возможно использование простогоif...else
условия:
if (Reflect.defineProperty(target, property, attributes)) { // успех} else { // что-то пошло не так}