Python的typing模块：类型提示 (Type Hinting)全面解析

from typing import List
# 一个只包含字符串的列表
names: List[str] = ["Alice", "Bob", "Charlie"]
# 一个只包含整数的列表
primes: List[int] = [2, 3, 5, 7]

from typing import Dict
# 一个键为字符串、值为浮点数的字典
item_prices: Dict[str, float] = {"apple": 0.75, "banana": 1.25}

from typing import Tuple
# 一个包含任意数量整数的元组
coords: Tuple[int, ...] = (1, 2, 3) 

from typing import Tuple
# 一个包含姓名(str)、年龄(int)、是否会员(bool)的元组
user_profile: Tuple[str, int, bool] = ("Alice", 30, True)

from typing import Set
# 一个只包含整数的集合
unique_ids: Set[int] = {101, 102, 103}

# Python 3.9+
names: list[str] = ["Alice", "Bob"]
item_prices: dict[str, float] = {"apple": 0.75}

from typing import Optional
def greet(name: Optional[str] = None):
    if name:
        print(f"Hello, {name}!")
    else:
        print("Hello, world!")
greet("Alice") # 正确
greet()        # 正确

from typing import Union
# 一个 ID 可以是整数或字符串
user_id: Union[int, str] = "user-123"
user_id = 404

from typing import Any
def process_anything(data: Any):
    # 在这里，IDE和类型检查器对 data 一无所知
    print(data)

from typing import Callable
# 定义一个函数，它接受一个整数，返回一个字符串
def format_id(user_id: int) -> str:
    return f"USER-{user_id}"
# processor 变量应该是一个可调用对象，其签名与 format_id 匹配
processor: Callable[[int], str] = format_id

from typing import List, Dict, Optional
class Item:
    def __init__(self, name: str, price: float):
        self.name = name
        self.price = price
# 这个函数的签名清晰地告诉我们：
# - 它接受一个由 Item 对象组成的列表
# - 它返回一个浮点数
def calculate_total(items: List[Item]) -> float:
    total = 0.0
    for item in items:
        total += item.price
    return total
# 示例
shopping_cart = [Item("apple", 0.75), Item("banana", 1.25)]
total_cost = calculate_total(shopping_cart)
print(f"Total cost: {total_cost}") # Total cost: 2.0