TypeError: typing.Any 不能与 isinstance() 一起使用

Question

我想知道为什么 Python 的打字模块不支持isinstance(<obj>, Any) 并引发TypeError。我希望它总是返回True。为什么它并不总是返回True，是否有特定原因？

• 引发了 TypeError here。
• TypeError 示例：

>>> from typing import Any
>>> isinstance(1, Any)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/home/peter/miniconda3/envs/prefect_utils/lib/python3.9/typing.py", line 338, in __instancecheck__
    raise TypeError(f"{self} cannot be used with isinstance()")
TypeError: typing.Any cannot be used with isinstance()

Answer 1

Any 类文档字符串似乎说明了原因：

"""Special type indicating an unconstrained type.

- Any is compatible with every type.
- Any assumed to have all methods.
- All values assumed to be instances of Any.

Note that all the above statements are true from the point of view of
static type checkers. At runtime, Any should not be used with instance
or class checks.
"""

def __instancecheck__(self, obj):
    raise TypeError("Any cannot be used with isinstance().")

def __subclasscheck__(self, cls):
    raise TypeError("Any cannot be used with issubclass().")

如果将这些对象视为实际实例或子类，如果它们没有提供实例或子类应该提供的确切内容，则可能会导致问题。相反，它们“伪造”了这样一个事实，即它们可以是任何东西，但不会因为在类型层次结构中被这样对待而造成损害。

Answer 2

打字中的大多数事情都不适用于运行时类型检查。大多数类型无法进行明智的动态检查，因此打字避免假装它是可能的。

---

Any 类型不是正确的类型——它在任何用法中都与任何类型兼容。根据用途，它可以是另一种类型的超类型和子类型。
最突出的是，Any 支持所有操作。因此，isinstance(x, Any) == True 意味着x 支持所有 操作，无论x'具体类型如何。这对于大多数正确的类型来说是不明智的。

---

例如，考虑将整数检查为“Any 的实例”，这意味着它支持切片：

x = 3
if isinstance(x, Any):  # x supports any operation in this block
    print(x[:3])        # slicing is part of "all operations"