### 什么是类型注解（Type Hints） 类型注解是一种在 Python 中用于显式声明变量、函数参数和返回值类型的机制。它并不强制执行静态类型检查，而是作为一种辅助工具供开发者或第三方工具（如 IDE 和 linter）使用，从而提升代码的可读性和可维护性[^1]。 --- ### 如何在 Python 函数中指定参数的数据类型 #### 基础语法 在 Python 中，可以通过 `def` 关键字后的冒号 (`:`) 来为函数参数指定类型，并通过箭头符号 (`->`) 指定返回值类型。以下是基本语法： ```python def function_name(param1: type_hint_1, param2: type_hint_2) -> return_type: pass ``` 这种语法允许开发人员清晰地标记每个参数及其预期的数据类型[^4]。 --- #### 示例：简单函数类型注解 下面是一个简单的例子，展示如何为函数参数和返回值添加类型注解： ```python def add_numbers(a: int, b: int) -> int: """Add two integers and return the result.""" return a + b ``` 在这个例子中： - 参数 `a` 和 `b` 被标记为整数类型 (`int`)。 - 返回值也被标记为整数类型 (`int`)。 这有助于其他开发者快速理解该函数的用途以及其输入输出的要求[^3]。 --- #### 复杂数据类型的处理 除了基础数据类型外，还可以使用更复杂的类型提示，例如列表、字典或其他自定义类。以下是一些常见的复杂类型注解示例： ##### 列表类型 如果一个参数期望接收的是一个包含字符串的列表，则可以这样写： ```python from typing import List # 导入 List 类型支持 def process_strings(strings: List[str]) -> None: for s in strings: print(s.upper()) ``` 这里引入了 `typing` 模块中的 `List` 泛型容器，表示参数应为一个存储字符串的列表[^2]。 ##### 字典类型 对于字典类型的参数，也可以利用类似的泛型方式描述键值对的具体形式： ```python from typing import Dict def display_dict(data: Dict[str, float]) -> None: for key, value in data.items(): print(f"{key}: {value}") ``` 上述代码表明 `data` 是由字符串作为键、浮点数作为值组成的字典对象。 --- #### 默认值与联合类型的支持 当某些参数可能接受多种不同类型的值时，或者存在默认情况下不需要传递特定值的情形下，我们可以借助 `Union` 或者直接书写多选一的形式来表达灵活性更高的需求。 ##### 使用 Union 定义多个可能性 假设某个数值既可以传入普通的数字也能容忍缺失状态下的特殊标志符 `None` ，那么就可以像这样设定它的签名： ```python from typing import Optional, Union def divide(dividend: float, divisor: Optional[float] = None) -> Union[float, str]: if divisor is None or divisor == 0: return "Cannot perform division" else: return dividend / divisor ``` 此处运用到了两个概念——一个是来自标准库模块 `typing.Optional` 的简化版 `Optional[T]` （相当于说这个位置上的东西要么就是 T 类别的实例要么就为空），另一个则是组合了几种候选选项到一起形成的新类别 `Union[A,B,C,...]` 表达任意其中之一都符合条件的意思。 --- ### 总结 类型注解不仅增强了程序逻辑结构的表现力，还促进了团队协作过程中关于接口约定的理解统一；尽管它们不会直接影响运行期行为本身，但却能够极大地改善大型项目长期演进过程里的稳定性保障工作成效显著。 ---