Python 的 `dict` 无法识别自己的密钥

Question

编辑 2：我终于能够制作出 MWE：

from typing import Generic, TypeVar
T = TypeVar('T')

class Cache:
    __dict = {}

    @classmethod
    def add(cls, item):
        cls.__dict[item] = (item, [item, item, item, {item: item}])
        print('On setting:', item in cls.__dict)

    def __init_subclass__(cls, **kwargs):
        Cache.add(cls)


class Class(Cache, Generic[T]):
    pass

d = Cache._Cache__dict
tp = list(d)[0]
print('On checking:', tp in d)

在 python 3.6 中，输出为：

On setting: True
On checking: False

在 3.8 中是：

On setting: True
On checking: True

如果这还不够好奇，如果我从Generic[T] 中删除继承，那么一切正常。

原创

我正在使用 Python 3.6，当我尝试从字典中获取密钥时得到 KeyError：

# d: Dict[type, Any]

tp = list(d.keys())[0]
d[tp]
# KeyError: ...

意思是从字典中取出的键会导致这个异常。请注意，d 只有一个条目。 key-type 是一个以GenericMeta 作为元类的类型对象，所以这可能是问题所在吗？

我使用调试器验证了以下属性：

1. id(tp) 多次调用都一样。
2. hash(tp) 多次调用都一样。
3. tp is list(d.keys())[0]
4. tp == list(d.keys())[0]
5. len(d) == 1

编辑：

6. print(type(tp)) # <class 'typing.GenericMeta'>
7. print(type(tp)) # <class 'dict'>

我的问题是：这种行为的原因可能是什么？

由于某些包的兼容性问题，我无法更新python版本，所以请不要告诉我更新，除非它是一个已知的错误，在以后的版本中得到解决。

Answer 1

这是一个初始化顺序问题。

在 Python 3.6 上，Class 是 typing.GenericMeta 的一个实例。 typing.GenericMeta 在 __new__ 中执行重要的初始化，但是该初始化只能在 type.__new__ 返回要初始化的内容时开始。 type.__new__ 负责调用__init_subclass__，因此您的__init_subclass__ 在任何GenericMeta 初始化发生之前运行。

当您的__init_subclass__ 将Class 添加到字典时，尚未执行== 和hash 正常工作所需的初始化。此操作最终使用无效哈希。稍后，一旦初始化完成，查找使用正确的哈希，找不到Class。

在后来的 Python 版本中，整个泛型类的实现完全改变了。 typing.GenericMeta 不再存在。