设置非冻结集的成员身份

我想我理解 set 和 frozenset 在python中,但是在set成员中发生了一些神奇的事情( set1 in set2 )我不知道它是怎么工作的。

一 设置 属于 弗洛伦塞特 作品:

>>> s = set()
>>> s.add(frozenset(['hello', 'world']))
>>> frozenset(['hello', 'world']) in s
True

我不能添加不可显示的类型,例如 list 对我 设置 我不能用 in 具有不可显示类型的运算符:

>>> s.add(['hello', 'world'])
TypeError: unhashable type: 'list'
>>> ['hello', 'world'] in s
TypeError: unhashable type: 'list'

同样,我不能添加 设置 我的集合:

>>> s.add({'hello', 'world'})
TypeError: unhashable type: 'set'

…但我可以用 在里面 用一个 设置 检查相应的 弗洛伦塞特 成员:

>>> {'hello', 'world'} in s
True

…它给出了正确的结果:

>>> {'jello', 'world'} in s
False

为什么是 SET2中的SET1 特殊的?在测试成员身份之前,它真的在计算我的集合的散列吗?或者是因为暴力?

编辑: 找到了,C实现了 set.__contains__ 知道如何打电话 key = frozenset(key) 无论何时 hash(key) 投掷 TypeError 和 isinstance(key, set) .

https://github.com/python/cpython/blob/6c7d67c/Objects/setobject.c#L1890-L1897

rv = set_contains_key(so, key);
if (rv < 0) {
    if (!PySet_Check(key) || !PyErr_ExceptionMatches(PyExc_TypeError))
        return -1;
    PyErr_Clear();
    tmpkey = make_new_set(&PyFrozenSet_Type, key);
    if (tmpkey == NULL)
        return -1;
    rv = set_contains_key(so, tmpkey);