重学js —— 键集合之Set对象

[lizhongzhen11]

Set 对象

• MDN

构造器

• 即固有对象 %Set%
• 全局对象 "Set" 属性的初始值
• ...

Set ( [ iterable ] )

1. 如果 NewTarget 为 undefined，抛 TypeError 异常
2. 定义 set 为 ? OrdinaryCreateFromConstructor(NewTarget, "%Set.prototype%", « [[SetData]] »)
3. 将 set.[[SetData]] 设置为新的空 List
4. 如果 iterable 是 undefined 或 null，返回 set
5. 定义 adder 为 ? Get(set, "add")
6. 如果 adder 不可调用，抛 TypeError 异常
7. 定义 iteratorRecord 为 ? GetIterator(iterable)
8. 重复，
   1. 定义 next ? IteratorStep(iteratorRecord)
   2. 如果 next 为 false，返回 set
   3. 定义 nextValue 为 ? IteratorValue(iteratorRecord)
   4. 定义 status 为 Call(adder, set, « nextValue »)
   5. 如果 status 为 abrupt completion，返回 ? IteratorClose(iteratorRecord, status)

构造器属性

• 有个 [[Prototype]] 内置插槽其值为 %Function.prototype%

原型对象属性

• 即固有对象 %SetPrototype%
• 有 [[Prototype]] 内置插槽其值为 %Object.prototype%
• 属于 普通对象
• 没有 [[SetData]] 内置插槽

Set.prototype.add ( value )

• MDN

1. 定义 S 为 this 值
2. 执行 ? RequireInternalSlot(S, [[SetData]])
3. 定义 entries 为 List 即 S.[[SetData]]
4. 遍历 entries 中的每个元素 e
   1. 如果 e 不为空且 SameValueZero(e, value) 为 true
      1. 返回 S
5. 如果 value 为 -0，将 value 设置为 +0
6. 将 value 添加到 entries 尾部
7. 返回 S

Set.prototype.clear ( )

• MDN

1. 定义 S 为 this 值
2. 执行 ? RequireInternalSlot(S, [[SetData]])
3. 定义 entries 为 List 即 S.[[SetData]]
4. 遍历 entries 中的每个元素 e，
   1. 用值为 empty 的元素代替 entries 中值为 e 的元素
5. 返回 undefined

Set.prototype.delete ( value )

• MDN

1. 定义 S 为 this 值
2. 执行 ? RequireInternalSlot(S, [[SetData]])
3. 定义 entries 为 List 即 S.[[SetData]]
4. 遍历 entries 中的每个元素 e，
   1. 如果 e 不为空且 SameValueZero(e, value) 为 true
      1. 用值为 empty 的元素代替 entries 中值为 e 的元素
      2. 返回 true
5. 返回 false

Set.prototype.entries ( )

• MDN

1. 定义 S 为 this 值
2. 返回 ? CreateSetIterator(S, key+value)

Set.prototype.forEach ( callbackfn [ , thisArg ] )

• MDN

1. 定义 S 为 this 值
2. 执行 ? RequireInternalSlot(S, [[SetData]])
3. 如果 callbackfn 不可调用，抛 TypeError 异常
4. 定义 entries 为 List 即 S.[[SetData]]
5. 遍历 entries 中的每个元素 e，按原先插入的顺序，
   1. 如果 e 不为空
      1. 执行 ? Call(callbackfn, thisArg, « e, e, S »)
6. 返回 undefined

Set.prototype.has ( value )

• MDN

1. 定义 S 为 this 值
2. 执行 ? RequireInternalSlot(S, [[SetData]])
3. 定义 entries 为 List 即 S.[[SetData]]
4. 遍历 entries 中的每个元素 e，按原先插入的顺序，
   1. 如果 e 不为空且 SameValueZero(e, value) 为 true，返回 true
5. 返回 false

get Set.prototype.size

• MDN

1. 定义 S 为 this 值
2. 执行 ? RequireInternalSlot(S, [[SetData]])
3. 定义 entries 为 List 即 S.[[SetData]]
4. 定义 count 为 0
5. 遍历 entries 中的每个元素 e，
   1. 如果 e 不为空，将 count 设置为 count + 1
6. 返回 count

Set.prototype.values ( )

• MDN
• Set.prototype.keys ( ) 也是该方法

1. 定义 S 为 this 值
2. 返回 ? CreateSetIterator(S, value)

Set Iterator Objects

CreateSetIterator ( set, kind )

1. 执行 ? RequireInternalSlot(set, [[SetData]])
2. 定义 iterator 为 OrdinaryObjectCreate(%SetIteratorPrototype%, « [[IteratedSet]], [[SetNextIndex]], [[SetIterationKind]] »)
3. 将 iterator.[[IteratedSet]] 设置为 set
4. 将 iterator.[[SetNextIndex]] 设置为 0
5. 将 iterator.[[SetIterationKind]] 设置为 kind
6. 返回 iterator

%SetIteratorPrototype%

• 所有 Set 迭代对象都继承它的属性
• 属于 普通对象
• 有 [[Prototype]] 内置插槽其值为 %IteratorPrototype%
• ...