Python 类型提示

name: str = "拾光"  # 字符串
age: int = 18        # 整数
height: float = 1.75 # 浮点数
is_student: bool = False  # 布尔值

def greet(name: str) -> str:
    """向指定名称的人打招呼"""
    return f"Hello, {name}!"

def add(a: int, b: int) -> int:
    """返回两个整数的和"""
    return a + b

# Python 3.9+ 的写法
from typing import List, Tuple, Dict, Set  # 兼容旧版本，3.9+ 可省略

# 列表（元素均为 int）
numbers: list[int] = [1, 2, 3]
# 元组
person: tuple[str, int] = ("拾光", 18)  # (姓名, 年龄)
# 字典
scores: dict[str, int] = {"math": 90, "english": 85}
# 集合
hobbies: set[str] = {"reading", "coding"}

from typing import Optional

def find_user(user_id: int) -> Optional[str]:
    """查找用户，找到返回用户名，否则返回 None"""
    if user_id == 1:
        return "拾光"
    return None  # 允许返回 None

from typing import Union

def print_id(user_id: Union[int, str]) -> None:
    """接受整数或字符串类型的用户 ID 并打印"""
    print(f"User ID: {user_id}")

print_id(123)    # 合法（int）
print_id("u456") # 合法（str）

from typing import Callable

def calculate(a: int, b: int, func: Callable[[int, int], int]) -> int:
    """使用传入的函数计算 a 和 b 的结果"""
    return func(a, b)

def multiply(x: int, y: int) -> int:
    return x * y

result = calculate(3, 4, multiply)  # 传入函数作为参数
print(result)  # 输出：12

from typing import List, Tuple

# 定义类型别名：用户信息（姓名，年龄，爱好列表）
UserInfo = Tuple[str, int, List[str]]

def get_user() -> UserInfo:
    return ("Charlie", 30, ["hiking", "photography"])

# pip install mypy
def add(a: int, b: int) -> int:
    return a + b

result = add("1", 2)  # 错误：第一个参数应为 int，实际传入 str

mypy demo.py

error: Argument 1 to "add" has incompatible type "str"; expected "int"