如何为Python的Any类本身添加类型提示？

要实现参数仅接受int/str类型对象或Any本身（默认值为Any），可以通过Literal[Any]来限定特定的Any实例，结合类型对象的标注实现正确的类型提示：

from typing import Any, Literal

def foo(type_: type[int] | type[str] | Literal[Any] = Any) -> Any:
    # 函数实现逻辑示例
    if type_ is int:
        return 42
    elif type_ is str:
        return "示例字符串"
    elif type_ is Any:
        return None

为什么之前的写法失效？ #

你最初使用type[Any]的问题在于，type[Any]在类型系统中表示任意类型对象（比如int/str/float等所有类型都符合这个标注），而非你需要的**Any这个特定对象**，这就导致类型检查器无法限制传入的类型，同时触发Pylance的类型不匹配报错。

方案原理 #

Literal[Any]会告诉类型检查器，该参数只能接受Any这个具体的对象实例，结合type[int]和type[str]，就能精准限定参数只能是int类型、str类型或Any本身。这种写法不需要依赖私有的_AnyMeta元类，也无需使用哨兵对象，完全符合你的需求。

额外注意事项 #

避免使用内置名称type作为参数名，虽然语法合法，但容易与内置函数type()混淆，改用type_这类命名更规范。

内容的提问来源于stack exchange，提问作者JoniKauf