ECMAScript | Объекты Слабые Наборы (WeakSet Objects)

 

Слабые Наборы (WeakSets) — это коллекции объектов. Отдельный объект может встречаться только один раз как элемент коллекции Слабого Набора (WeakSet). Можно запросить Слабый Набор (WeakSet), чтобы узнать, содержит ли он конкретный объект, но механизма для перечисления содержащихся в нем объектов не предусмотрено. В определенных условиях неактивные объекты удаляются как элементы Слабого Набора (WeakSet), как описано в разделе 9.10.3.

Реализация может накладывать произвольно определенную задержку между моментом, когда объект, содержащийся в Слабом Наборе (WeakSet), становится недоступным, и временем, когда объект удаляется из Слабого Набора (WeakSet). Если бы эта задержка наблюдалась для программы ECMAScript, она была бы источником неопределенности, которая могла бы повлиять на выполнение программы. По этой причине реализация ECMAScript не должна предоставлять никаких средств для определения того, содержит ли WeakSet конкретный объект, который не требует, чтобы наблюдатель представлял наблюдаемый объект.

WeakSets должен быть реализован с использованием либо хэш-таблиц, либо других механизмов, которые, в среднем, обеспечивают время доступа, которое сублинейно зависит от количества элементов в коллекции. Структура данных, используемая в этой спецификации, предназначена только для описания требуемой наблюдаемой семантики WeakSets. Он не предназначен для использования в качестве жизнеспособной модели реализации.

 

 

24.4.1 Конструктор Слабого Набора (The WeakSet Constructor)

Конструктор Слабого Набора (WeakSet):

• является %WeakSet%.
• является начальное значение свойства «WeakSet» глобального объекта.
• создает и инициализирует новый Слабый Набор (WeakSe)t при вызове в качестве конструктора.
• не предназначен для вызова как функция и вызовет исключение при таком вызове.
• может использоваться как значение в предложении extends определения класса. Конструкторы подкласса, которые намереваются наследовать указанное поведение Слабого Набора (WeakSet), должны включать вызов super для конструктора Слабого Набора (WeakSet) для создания и инициализации экземпляра подкласса с внутренним состоянием, необходимым для поддержки встроенных методов WeakSet.prototype.

 

24.4.1.1 WeakSet ( [ iterable ] )

Когда функция WeakSet вызывается с необязательным аргументом iterable, выполняются следующие шаги:

1. Если NewTarget является undefined (не определен), выбросить исключение TypeError.
2. Пусть set будет ? OrdinaryCreateFromConstructor(NewTarget, "%WeakSet.prototype%", «[[WeakSetData]]»).
3. Установите set.[[WeakSetData]] в новый пустой Список.
4. Если iterable является undefined (не определен) или null, вернуть set.
5. Пусть adder будет ? Получить(set, "add").
6. Если IsCallable(adder) имеет значение false, выбросить исключение TypeError.
7. Пусть iteratorRecord будет ? GetIterator(iterable).
8. Повторите,
  а. Пусть next будет ? IteratorStep(iteratorRecord).
  b. Если next является false (ложно), верните set.
  c. Пусть nextValue будет ? IteratorValue(next).
  d. Пусть status будет Call(adder, set, « nextValue »).
  e. IfAbruptCloseIterator(status, iteratorRecord).

 

24.4.2 Свойства конструктора Слабого Набора (Properties of the WeakSet Constructor)

Конструктор Слабого Набора (WeakSet):

• имеет внутренний слот [[Prototype]], значение которого является %Function.prototype%.
• обладает следующими свойствами:

 

24.4.2.1 WeakSet.prototype

Начальным значением WeakSet.prototype является объект прототип Слабого Набора (WeakSet).

Это свойство имеет атрибуты {[[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false}.

 

24.4.3 Свойства объекта прототипа Слабого Набора (Properties of the WeakSet Prototype Object)

Объект прототипа WeakSet:

• является %WeakSet.prototype%.
• имеет внутренний слот [[Prototype]], значение которого равно %Object.prototype%.
• это обычный объект.
• не имеет внутреннего слота [[WeakSetData]].

 

24.4.3.1 WeakSet.prototype.add ( value )

Выполняются следующие шаги:

1. Пусть S будет значением this.
2. Выполнить ? RequireInternalSlot(S, [[WeakSetData]]).
3. Если Тип(value) не является Объектом, выбросить исключение TypeError.
4. Пусть записями entries будет Список из S.[[WeakSetData]].
5. Для каждого элемента e из записей entries выполните
  а. Если e не empty и SameValue(e, value) является true (истинно), то
    i. Вернуть S.
6. Добавить value в качестве последнего элемента entries.
7. Верните S.

 

24.4.3.2 WeakSet.prototype.constructor

Начальным значением WeakSet.prototype.constructor является внутренний объект %WeakSet%.

 

24.4.3.3 WeakSet.prototype.delete ( value )

Выполняются следующие шаги:

1. Пусть S будет значением this.
2. Выполнить ? RequireInternalSlot(S, [[WeakSetData]]).
3. Если Тип(value) не является Объектом, вернуть false.
4. Пусть записями entries будет Список из S.[[WeakSetData]].
5. Для каждого элемента e из записей entries выполните
  а. Если e не empty и SameValue(e, value) является true (истинно), то
    i. Замените элемент записей entries, значение которых равно e, на элемент, значение которого empty.
    ii. Верните true.
6. Вернуть false.

 

24.4.3.4 WeakSet.prototype.has ( value )

Выполняются следующие шаги:

1. Пусть S будет значением this.
2. Выполнить ? RequireInternalSlot(S, [[WeakSetData]]).
3. Пусть записями entries будет Список из S.[[WeakSetData]].
4. Если Тип (значение) не является Объектом, вернуть false.
5. Для каждого элемента e из записей entries выполните
  а. Если e не empty и SameValue(e, value) является true (истинно), вернуть true.
6. Вернуть false.

 

24.4.3.5 WeakSet.prototype [ @@toStringTag ]

Начальным значением свойства @@toStringTag является строковое значение «WeakSet».

Это свойство имеет атрибуты {[[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true}.

 

24.4.4 Свойства экземпляров Слабого Набора (Properties of WeakSet Instances)

Экземпляры Слабого Набора — это обычные объекты, наследующие свойства от прототипа WeakSet. Экземпляры WeakSet также имеют внутренний слот [[WeakSetData]].

 

Информационные ссылки

Стандарт ECMAScript — Раздел «24.4 WeakSet Objects» — https://tc39.es/ecma262/#sec-weakset-objects