在Python中，类型注解（Type Annotations）是Python 3.5及以后版本中引入的一个特性，用于在函数参数、函数返回值和变量上指定预期的类型。虽然这些类型注解在运行时不会被Python解释器强制执行（即它们是可选的，不会引发错误），但它们对于代码的可读性、可维护性和工具支持（如类型检查器、IDEs）非常有用。
以下是如何在Python中使用类型注解的示例：
- 函数参数的类型注解：
def greet(name: str, age: int) -> None:
print(f"Hello, {name}! You are {age} years old.")
greet("Alice", 30) # 正确使用
greet(30, "Alice") # 仍然可以运行，但违反了类型注解的意图
- 函数返回值的类型注解：
def add_numbers(a: int, b: int) -> int:
return a + b
result = add_numbers(3, 4) # 正确使用，result的类型是int
- 变量的类型注解（注意：这只是一个提示，Python不会强制检查）：
name: str = "Bob"
age: int = 35
# 试图给变量分配不兼容的类型，Python不会报错，但违反了类型注解的意图
name = 42 # 这仍然可以运行，但name现在不再是一个字符串
- 使用第三方库进行类型检查：
虽然Python解释器本身不会强制执行类型注解，但你可以使用像mypy这样的第三方库来进行静态类型检查。mypy可以分析你的代码并报告任何与类型注解不符的地方。
要在你的项目中使用mypy，首先需要通过pip安装它：
pip install mypy
然后，你可以运行mypy来检查你的代码：
mypy your_script.py
如果mypy发现任何类型错误，它会输出一个错误报告。
