Python 中的类型注解是一种用于描述变量、函数参数和返回值预期类型的机制。这种机制虽然不强制要求类型匹配，但有助于代码的可读性、可维护性，以及静态类型检查工具（如 Mypy）的使用。下面列举 Python 中类型注解的一些主要方面：
- 变量类型注解
变量类型注解用于说明变量的预期类型。虽然 Python 是动态类型语言，但类型注解可以帮助开发者和其他阅读代码的人更好地理解变量的用途。
python
name: str = "Alice"
age: int = 30
- 函数参数和返回值类型注解
函数参数和返回值也可以使用类型注解，以明确函数接受什么类型的参数以及返回什么类型的值。
python
def greet(name: str) -> None:
print(f"Hello, {name}!")
def add(a: int, b: int) -> int:
return a + b
- 使用内置类型
Python 的内置类型，如 int、str、float、bool、list、tuple、dict 等，都可以直接用作类型注解。
python
def example_function(num: int, text: str) -> tuple[int, str]:
return num, text
- 使用 typing 模块提供的类型
typing 模块提供了许多额外的类型，用于更复杂的场景，如泛型、可调用对象、类型变量等。
python
from typing import List, Dict, Callable, TypeVar
T = TypeVar('T') # 定义类型变量
def first_item(items: List[T]) -> T:
return items[0]
def register_callback(callback: Callable[[int], None]) -> None:
# ...
def get_user_info(user_id: int) -> Dict[str, str]:
# ...
- 自定义类型的注解
你也可以使用自定义的类或类型作为类型注解。
python
class Person:
def init(self, name: str, age: int):
self.name = name
self.age = age
def introduce(person: Person) -> None:
print(f"My name is {person.name} and I am {person.age} years old.")
- 泛型注解
虽然 Python 没有像 Java 或 C# 那样的原生泛型支持，但你可以使用 typing 模块中的 TypeVar 和泛型类型（如 List[T]、Dict[K, V]）来模拟泛型行为。
python
from typing import TypeVar, List
T = TypeVar('T')
def longest_item(items: List[T]) -> T:
return max(items, key=len)
在这个例子中，longest_item 函数可以接受任何类型的列表，并返回列表中长度最长的元素。由于使用了泛型，这个函数可以处理字符串列表、字节串列表、或者其他任何可以比较长度的对象列表。
- 注释中的类型注解
虽然不推荐，但在某些情况下，你可能需要在注释中而不是使用冒号进行类型注解。这主要是为了与旧版本的 Python 或某些工具兼容。
python
type: ignore
type: (int) -> str
def convert_to_string(num):
return str(num)
请注意，这种方式现在已经被视为过时，并推荐使用冒号进行类型注解。
类型注解是 Python 中一个强大的特性，它使得代码更加清晰、易于理解，并且可以与静态类型检查工具一起使用，以在运行时之前捕获潜在的类型错误。
