如何在Python实现TypeScript式联合类型默认参数与自动补全？

要实现你想要的类型推断、输入补全和参数校验效果，Python里不能直接用"#1" | "#2" | "#3"这种写法——这在Python里是字符串的按位或操作，不是合法的类型注解语法，得用typing模块的Literal类型来定义允许的字面量集合。

正确实现代码 #

Python 3.8+（包含3.10+版本） #

直接从typing导入Literal即可：

from typing import Literal

def func(x: Literal["#1", "#2", "#3"] = "#2") -> None:
    pass

Python 3.7及更早版本 #

需要先安装typing_extensions包，再从中导入Literal：

pip install typing_extensions

from typing_extensions import Literal

def func(x: Literal["#1", "#2", "#3"] = "#2") -> None:
    pass

效果说明 #

• 输入补全：在VS Code搭配Pylance插件、PyCharm等支持类型提示的IDE中，调用func时会自动弹出#1、#2、#3的补全选项。
• 参数校验：用Mypy、Pyright这类静态类型检查工具时，传入集合外的参数（比如"#4"）会直接报错，和TypeScript的行为完全一致。

原写法失效原因 #

你之前写的x: "#1" | "#2" | "#3"，Python会把它解析为三个字符串的按位或运算，最终得到一个普通字符串值，而非类型约束。类型检查器无法识别这是在限制参数取值范围，自然达不到预期效果。

内容的提问来源于stack exchange，提问作者Docky-Dockling