### Python 类型提示 (Type Hint) 的基本概念 Python 是一种动态类型的编程语言，变量不需要显式声明其数据类型即可使用。然而，在大型项目中，这种灵活性可能导致难以维护的代码以及潜在的运行时错误。为了提高代码可读性和减少错误率，PEP 484 引入了类型提示机制[^1]。 #### 基本语法 类型提示通过在函数参数和返回值后面加上冒号 `:` 和箭头 `->` 来实现。以下是几个简单的例子： ```python def greet(name: str) -> None: print(f"Hello, {name}") ``` 在这个例子中，`greet` 函数接受一个字符串类型的参数 `name` 并不返回任何值（即返回 `None`）。这有助于开发者和其他工具理解该函数的行为。 #### 复杂的数据结构 对于更复杂的情况，比如列表、字典等容器类型，可以借助内置模块 `typing` 提供的支持来描述这些复杂的类型签名。 ```python from typing import List, Dict def process_items(prices: Dict[str, float]) -> List[float]: total_prices = [] for price in prices.values(): total_prices.append(price * 0.9) return total_prices ``` 这里定义了一个接收字典作为输入并返回浮点数列表的函数。键应为字符串而对应的值则需为浮点数值。 #### 可选参数与联合类型 当某些参数可能是多种不同类型的对象或者允许为空的时候，则需要用到 `Optional[]` 或者直接指定多个可能的类型。 ```python from typing import Optional def divide(dividend: int, divisor: Optional[int] = None) -> float: if divisor is not None and divisor != 0: return dividend / divisor raise ValueError("Divisor cannot be zero or undefined.") ``` 上述示例展示了如何处理带有默认值且可能缺失的参数情况下的除法操作。 #### 自定义类支持 如果希望给自己的类实例添加类型信息也是可行的: ```python class Point: x: int y: int def __init__(self, xcoord=0, ycoord=0): self.x = xcoord self.y = ycoord p = Point(3, 4) # Type checker knows p has attributes 'x' and 'y', both integers. print(p.x + p.y) ``` 这段代码表明即使是在创建新类时也可以为其成员属性提供相应的类型说明以便于静态分析器工作得更好。 #### 总结 尽管引入了类型标注功能，但它们仅仅是指导性的而非强制执行；也就是说即便违反了预期也不会阻止程序正常编译或运行。不过利用像 mypy 这样的第三方库可以在开发阶段检测出不符合规定之处从而提前发现隐患所在。