JavaScript 是否对 Map 和 Set 使用哈希表？

Question

我是一名 Python 开发人员，在 JavaScript 中迈出了第一步。

我开始使用Map 和Set。它们似乎与 Python 中的 dict 和 set 具有相同的 API，所以我假设它们是一个哈希表，我可以依靠 O(1) 查找时间。

但是，出于好奇，我试图看看如果我在 Chrome 的控制台中执行此操作会发生什么：

new Set([new Set([1, 2, 3])])

会发生什么：

Set(1) {Set(3)}

JavaScript 愉快地创建了集合。怎么会这样？在 Python 中你会得到一个错误，因为你不能把一个可变项放在一个集合或一个字典中。为什么 JavaScript 允许？

Answer 1

这些数据结构的内部表示取决于运行代码的引擎（例如 V8 或 Chakra）。但是，规范要求引擎在

中实现这些结构

[...] 提供与集合中元素数量成次线性的访问时间的机制。

来自ECMAScript® 2021 Language Specification - 23.1 Map Objects

Answer 2

考虑下面的 JS 代码：

> m1 = new Map([['a', 1]])
Map { 'a' => 1 }
> m2 = new Map()
Map {}
> m2.set(m1, 3)
Map { Map { 'a' => 1 } => 3 }
> m2.get(m1)
3

但请注意，它是基于身份的哈希，即===，所以...

> m2.get(new Map([['a',1]]))
undefined

说真的，这张地图有多大用处？

注意，这与 Python 的默认行为没有什么不同。自定义类型的默认状态是hashable：

>>> class Foo: pass
...
>>> f0 = Foo()
>>> s = {f0}
>>> Foo() in s
False
>>> f0 in s
True

在 Python 中，默认情况下，object.__eq__ 会根据身份进行比较，所以上面的没问题。但是，如果您覆盖 __eq__，默认情况下，__hash__ 设置为 None，并且尝试使用基于散列的容器将失败：

>>> class Bar:
...    def __init__(self, value):
...       self.value = value
...    def __eq__(self, other):
...       return self.value == other.value
...
>>> b0 = Bar(0)
>>> b1 = Bar(2)
>>> {b0, b1}
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'Bar'

此时，您必须实现 __hash__ 以与 __eq__ 保持一致，但请注意，您的用户定义对象永远不会真正非常“不可变”