Python 中支持参数的多种类型（如 `int | str`）是通过 **类型提示（Type Hints）** 实现的，自 Python 3.10 起，官方正式支持使用 `|`（管道符）作为**联合类型（Union Type）** 的简写语法。这等价于 `Union[int, str]`（在 Python < 3.10 中必须用 `Union`）。 ⚠️ 注意：类型提示本身**不强制运行时类型检查**——它仅用于静态分析工具（如 mypy、pylance、pyright）、IDE 自动补全和文档增强。若需运行时类型校验，需额外借助库（如 `typeguard` 或手动 `isinstance` 检查）。 --- ### ✅ 示例：函数接受 `int` 或 `str` 类型参数 ```python def process_id(user_id: int | str) -> str: """ 接受用户 ID（整数或字符串），统一返回格式化字符串。 """ if isinstance(user_id, int): return f"user_{user_id:06d}" elif isinstance(user_id, str): return f"user_{user_id.strip()}" else: raise TypeError(f"Expected int or str, got {type(user_id).__name__}") ``` ✅ 调用示例： ```python print(process_id(123)) # "user_000123" print(process_id("abc")) # "user_abc" print(process_id([1,2])) # TypeError: Expected int or str, got list ``` 🔍 **关键点解释：** - `int | str` 是 **PEP 604** 引入的语法（Python 3.10+），更简洁、可读性更强； - 若需兼容 Python < 3.10，应写为 `from typing import Union`，然后用 `Union[int, str]`； - `isinstance(...)` 是**运行时类型检查的推荐方式**（安全、明确、性能好），比 `type(x) is ...` 更健壮（支持继承）； - 类型提示 + 运行时检查结合，可兼顾开发体验与健壮性。 --- ### 🛠️ 进阶：自动运行时类型验证（可选） 若希望**自动拦截非法类型调用**（如传入 `float` 时直接报错），可用 `typeguard` 库： ```bash pip install typeguard ``` ```python from typeguard import typechecked @typechecked def process_id_safe(user_id: int | str) -> str: return f"user_{user_id}" # 注意：此处 str/int 直接拼接会出错，仅作示意 ``` ⚠️ 注意：`typeguard` 会在每次调用时做运行时类型检查（有轻微开销），适合测试/关键路径；生产环境慎用，或仅对入口函数装饰。 --- ### 🧩 补充：泛型联合类型 & 更复杂场景 ```python from typing import List, Optional # 可选类型（等价于 Union[str, None]） def greet(name: str | None = None) -> str: return f"Hello, {name or 'Anonymous'}" # 多类型联合 + 容器 def parse_input(data: str | bytes | List[str]) -> List[str]: if isinstance(data, str): return [data] elif isinstance(data, bytes): return [data.decode('utf-8')] elif isinstance(data, list): return [s for s in data if isinstance(s, str)] else: raise TypeError(...) ``` ---