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

[lizhongzhen11]

Map对象

• MDN

构造器

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

Map ( [ iterable ] )

• MDN

1. 如果 NewTarget 为 undefined，抛 TypeError 异常
2. 定义 map 为 ? OrdinaryCreateFromConstructor(NewTarget, "%Map.prototype%", « [[MapData]] »)
3. 将 map.[[MapData]] 设置为新的空 List
4. 如果 iterable 是 undefined 或 null，返回 map
5. 定义 adder 为 ? Get(map, "set")
6. 返回 ? AddEntriesFromIterable (map, iterable, adder)

如果 iterable 存在，它应该是一个实现了 @@iterator 方法的对象。该方法能返回一个迭代对象，产生一个具有两位元素的 类数组对象。第一个元素作为 Map 的 key，第二个元素作为 value。

构造器上的属性

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

Map.prototype

初始值为 %Map.prototype%

属性描述符为：{ [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }

Map原型对象上的属性

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

Map.prototype.clear ( )

• MDN

1. 定义 M 为 this 值
2. 执行 ? RequireInternalSlot(M, [[MapData]])
3. 定义 entries 为 List 即 M.[[MapData]]
4. 遍历 entries 中的每个元素 Record{ [[Key]], [[Value]] } p，
   1. 将 p.[[Key]] 设置为 empty
   2. 将 p.[[Value]] 设置为 empty
5. 返回 undefined

Map.prototype.delete ( key )

• MDN

1. 定义 M 为 this 值
2. 执行 ? RequireInternalSlot(M, [[MapData]])
3. 定义 entries 为 List 即 M.[[MapData]]
4. 遍历 entries 中的每个元素 Record{ [[Key]], [[Value]] } p，
   1. 如果 p.[[Key]] 不是 empty 且 SameValueZero(p.[[Key]], key) 为 true，
      1. 将 p.[[Key]] 设置为 empty
      2. 将 p.[[Value]] 设置为 empty
      3. 返回 true
5. 返回 false

Map.prototype.entries ( )

• MDN

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

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

• MDN

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

Map.prototype.get ( key )

• MDN

1. 定义 M 为 this 值
2. 执行 ? RequireInternalSlot(M, [[MapData]])
3. 定义 entries 为 List 即 M.[[MapData]]
4. 遍历 entries 中的每个元素 Record{ [[Key]], [[Value]] } p，
   1. 如果 p.[[Key]] 不为空 且 SameValueZero(p.[[Key]], key) 为 true，返回 p.[[Value]]
5. 返回 undefined

Map.prototype.has ( key )

• MDN

1. 定义 M 为 this 值
2. 执行 ? RequireInternalSlot(M, [[MapData]])
3. 定义 entries 为 List 即 M.[[MapData]]
4. 遍历 entries 中的每个元素 Record{ [[Key]], [[Value]] } p，
   1. 如果 p.[[Key]] 不为空 且 SameValueZero(p.[[Key]], key) 为 true，返回 true
5. 返回 false

Map.prototype.keys ( )

• MDN

1. 定义 M 为 this 值
2. 返回 ? CreateMapIterator(M, key)

Map.prototype.set ( key, value )

• MDN

1. 定义 M 为 this 值
2. 执行 ? RequireInternalSlot(M, [[MapData]])
3. 定义 entries 为 List 即 M.[[MapData]]
4. 遍历 entries 中的每个元素 Record{ [[Key]], [[Value]] } p，
   1. 如果 p.[[Key]] 不为空 且 SameValueZero(p.[[Key]], key) 为 true，
      1. 将 p.[[Value]] 设置为 value
      2. 返回 M
5. 如果 key 为 -0，将 key 设置为 -0
6. 定义 p 为 Record{ [[Key]]: key, [[Value]]: value }
7. 将 p 添加到 entries 末尾
8. 返回 M

Map.prototype.values ( )

• MDN

1. 定义 M 为 this 值
2. 返回 ? CreateMapIterator(M, value)

get Map.prototype.size

• MDN

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

Map Iterator Objects

CreateMapIterator ( map, kind )

1. 执行 ? RequireInternalSlot(map, [[MapData]])
2. 定义 iterator 为 OrdinaryObjectCreate(%MapIteratorPrototype%, « [[IteratedMap]], [[MapNextIndex]], [[MapIterationKind]] »)
3. 将 iterator.[[IteratedMap]] 设置为 map
4. 将 iterator.[[MapNextIndex]] 设置为 0
5. 将 iterator.[[MapIterationKind]] 设置为 kind
6. 返回 iterator

%MapIteratorPrototype% 对象

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