变量注解仅提供类型提示,不触发运行时检查;需通过反射或装饰器读取annotated元数据并执行校验逻辑,或使用pydantic实现开箱即用的范围约束。

变量注解本身不触发运行时检查,它只是类型提示;要实现取值范围的动态校验,必须配合反射或装饰器在运行时主动读取注解并执行逻辑判断。
明确注解与校验的分工
Python 中的变量注解(如 x: int 或 age: Annotated[int, Ge(18), Le(120)])仅用于静态分析和 IDE 提示,解释器不会自动验证。真正起作用的是你写的校验逻辑——注解只是“说明书”,运行时代码才是“检查员”。
- 注解提供元信息:告诉程序“这个变量应该满足什么条件”
- 反射或装饰器读取这些信息:通过
typing.get_type_hints或inspect.signature获取参数注解 - 自定义逻辑执行验证:比如用
isinstance()判断类型,用value >= 18判断范围
使用 typing.Annotated 搭配校验逻辑
Python 3.9+ 支持 Annotated,可把校验规则直接写进类型注解里,便于统一管理和提取:
from typing import Annotated from dataclasses import dataclass <p>def Ge(min_val): return lambda v: v >= min_val</p><p>def Le(max_val): return lambda v: v </p><p>@dataclass class User: name: str age: Annotated[int, Ge(18), Le(120)] </p>
接着写一个通用校验函数,遍历字段注解并调用其中的校验器:
- 用
get_type_hints(cls, include_extras=True)提取带Annotated的类型 - 检查注解是否为
Annotated类型,再提取其元数据(即Ge(18)这类 callable) - 对实例字段值逐一调用这些校验器,任一失败就抛异常
在函数入口用装饰器自动校验参数
比手动校验更实用的方式是封装成装饰器,在函数调用前完成检查:
from functools import wraps
import inspect
from typing import get_type_hints, get_args, get_origin
<p>def validate_params(func):
sig = inspect.signature(func)
@wraps(func)
def wrapper(*args, <strong>kwargs):
bound = sig.bind(*args, *<em>kwargs)
bound.apply_defaults()
hints = get_type_hints(func, include_extras=True)
for name, value in bound.arguments.items():
if name in hints:
ann = hints[name]
origin = get_origin(ann)
if origin is not None and origin == Annotated:
metadata = get_args(ann)[1:] # 跳过基础类型,取校验器
for checker in metadata:
if not checker(value):
raise ValueError(f"参数 {name} 值 {value} 不满足校验规则 {checker}")
return func(</em>args, </strong>kwargs)
return wrapper
</p>
使用时只需加一行:
@validate_params
def create_user(name: str, age: Annotated[int, lambda x: 18 <p>调用 <code>create_user("Tom", 15)</code> 就会立即报错,无需在函数体内写一堆 <code>if</code>。</p><h3>结合 Pydantic 实现开箱即用的范围约束</h3><p>若项目允许引入第三方库,<strong>Pydantic v2</strong> 是最贴近“注解即校验”的方案:</p><pre class="brush:java;toolbar:false;">from pydantic import BaseModel, Field
<p>class User(BaseModel):
name: str
age: int = Field(ge=18, le=120)</p><h1>自动校验,错误时抛 ValidationError</h1><p>u = User(name="Alice", age=15) # ❌ 报错
u = User(name="Bob", age=25) # ✅ 成功
</p>它底层正是读取 Field 注解 + 运行时验证,支持嵌套、默认值、序列化等,适合 API 请求体、配置加载等真实场景。










