### 函数参数定义中的可选类型与联合类型的使用 Python 中通过 `typing` 模块支持静态类型提示，这使得开发者可以在函数签名中指定参数的预期数据类型。对于带有 **optional** 和 **union types** 的函数参数定义，可以利用 `Optional` 和 `Union` 来实现。 #### Optional 类型 当某个参数可能为 `None` 或其他特定类型时，可以使用 `Optional[T]` 表示该参数既可以是类型 `T` 也可以是 `None`。实际上，`Optional[T]` 是 `Union[T, None]` 的简写形式[^2]。 ```python from typing import Optional def greet(name: Optional[str]) -> str: if name is not None: return f"Hello, {name}!" else: return "Hello, Guest!" print(greet("Alice")) # 输出 Hello, Alice! print(greet(None)) # 输出 Hello, Guest! ``` 上述代码展示了如何定义一个接受字符串或 `None` 值作为输入的函数参数，并返回相应的问候语句[^3]。 #### Union 类型 如果希望某参数能够接收多种不同类型的值，则可以使用 `Union` 定义多个允许的数据类型。例如： ```python from typing import Union def add(a: Union[int, float], b: Union[int, float]) -> Union[int, float]: return a + b print(add(10, 5.5)) # 输出 15.5 (float) print(add(7, 8)) # 输出 15 (int) ``` 这里说明了两个数相加的操作，其中任意一方可能是整数或者浮点数，最终结果也会依据运算逻辑决定其具体类型[^4]。 #### 默认值设置 除了声明复杂类型外，在实际应用过程中经常遇到需要给某些参数设定默认值得情况。这种情况下可以直接在函数定义里赋予初始值来简化调用过程: ```python from typing import List, Optional def process_items(items: Optional[List[str]] = None): if items is None: items = [] print(f"Processing {len(items)} item(s).") process_items(["apple", "banana"]) # Processing 2 item(s). process_items() # Processing 0 item(s). ``` 此例子演示了一个处理列表项的功能，默认为空列表以防传入的是 `None`[^5]。 --- ### 总结 以上介绍了 Python 中有关函数参数定义的一些高级特性——包括可选项(`Optional`)以及多类型组合(`Union`)的应用场景及其语法结构。这些工具可以帮助编写更清晰、健壮且易于维护的程序代码。