JavaScript: тип Reference Record, обзор Печать
Добавил(а) microsin   

Reference Record (запись ссылки) — это внутренний тип данных в спецификации ECMAScript, который используется для объяснения поведения таких операторов, как delete, typeof, операторов присваивания, ключевого слова super и других языковых конструкций. Например, левый операнд присваивания должен выдавать Reference Record.

Простыми словами, Reference Record — это промежуточная структура, которая описывает "к чему мы обращаемся" и "как к этому обращаться" до того, как значение будет фактически прочитано или записано. Она связывает имя (или выражение) с местом, где хранится значение.

[Поля (Fields) Reference Record]

Согласно спецификации, Reference Record состоит из четырёх полей:

Поле Тип значения Описание
[[Base]] ECMAScript-значение, Environment Record или `~unresolvable~` Значение или запись окружения, которая содержит привязку. `~unresolvable~` означает, что привязка не может быть разрешена.
[[ReferencedName]] Строка, Символ или Private Name Имя привязки. Всегда строка, если [[Base]] — это Environment Record. Для свойств может быть ещё не разрешённым ключом.
[[Strict]] Boolean true, если Reference Record возник в строгом режиме, иначе false.
[[ThisValue]] ECMAScript-значение или `~empty~` Если не `~empty~`, то Reference Record представляет привязку к свойству, выраженную через ключевое слово super. В этом случае [[Base]] никогда не будет Environment Record, а [[ThisValue]] хранит значение this на момент создания Reference Record.

[Классификация ссылок]

Спецификация определяет несколько абстрактных операций для проверки типа Reference Record:

• IsUnresolvableReference: [[Base]] равен `~unresolvable~`.
• IsPropertyReference: [[Base]] не является ни `~unresolvable~`, ни Environment Record. Это ссылка на свойство объекта.
• IsSuperReference: [[ThisValue]] не равен `~empty~`. Это ссылка, созданная с использованием super.
• IsPrivateReference: [[ReferencedName]] является Private Name. Это ссылка на приватное поле класса.

[Как это работает: GetValue и PutValue]

Основное назначение Reference Record — передаваться в абстрактные операции `GetValue` (для чтения) и `PutValue` (для записи), которые определяют, как именно получить или изменить значение.

Логика `GetValue(V)`:

1. Если `V` — не Reference Record, то вернуть `V` как есть (это просто значение).

2. Если `V` — unresolvable reference, то выбросить `ReferenceError`.

3. Если это ссылка на свойство (IsPropertyReference), то получить базовый объект и вызвать его внутренний метод [[Get]], передав [[ReferencedName]] и правильное this (которое для super будет [[ThisValue]]).

4. Если это ссылка на окружение (Identifier), то вызвать `GetBindingValue` у соответствующей Environment Record.

Логика `PutValue(V, W)`: аналогична, но с записью: unresolvable reference в строгом режиме выбрасывает `ReferenceError`, ссылка на свойство вызывает [[Set]], а ссылка на окружение — SetMutableBinding.

[Зачем это нужно?]

Reference Record — это спецификационный приём, а не доступная программисту конструкция. Он позволяет точно описать разницу между семантикой работы с переменными (хранящимися в Environment Record) и свойствами объектов. Без этой абстракции было бы сложно объяснить, почему `delete obj.prop` и `delete varName` работают по-разному, или почему `super.method()` корректно находит метод в прототипе.

Важно отметить, что реализация движками JavaScript не обязана создавать объект Reference Record для каждого обращения. Спецификация прямо указывает, что объект, который может быть создан в ходе `GetValue`/`PutValue`, недоступен за пределами этих операций, и реализация может избежать его фактического создания.