如何基于Python typing模块创建检查参数属性类型的自定义WrapperType？

这个需求完全可以通过Python的typing模块结合结构类型来实现，核心是用泛型Protocol来定义你需要的类型约束，同时可以搭配TypeGuard做运行时验证。下面是具体的实现步骤：

1. 定义泛型Protocol类型 #

首先我们需要用Generic和Protocol来创建一个参数化的类型，它会约束对象必须包含指定类型的value属性：

from typing import Generic, Protocol, TypeVar

# 定义一个类型变量，用来指代value的具体类型
T = TypeVar('T')

class WrapperType(Protocol, Generic[T]):
    # 声明该类型必须拥有一个类型为T的value属性
    value: T

2. 使用自定义类型注解函数参数 #

现在你就可以像示例中那样，用WrapperType[int]来注解函数参数了：

import typing

class Wrapper:
    value: typing.Any

def f(obj: WrapperType[int]) -> None:
    # 静态类型检查器（比如mypy、pyright）会自动验证：
    # obj必须是拥有int类型value属性的对象
    print(obj.value + 1)  # 这里类型检查器会认为obj.value是int，不会报错

3. 补充运行时验证（可选但推荐） #

Protocol是静态类型检查工具，不会在运行时自动验证约束。如果你需要运行时的断言，可以用TypeGuard来写一个验证函数：

from typing import TypeGuard

def is_wrapper_type(obj: object, target_type: type[T]) -> TypeGuard[WrapperType[T]]:
    """验证对象是Wrapper实例且value属性为指定类型"""
    return isinstance(obj, Wrapper) and isinstance(obj.value, target_type)

然后在函数里使用这个验证函数：

def f(obj: WrapperType[int]) -> None:
    assert is_wrapper_type(obj, int), "参数必须是Wrapper实例且value为int类型"
    # 后续代码可以安全地将obj.value当作int处理

关键说明 #

• 结构类型匹配：Protocol不需要被显式继承，只要一个类的结构符合Protocol的定义（比如Wrapper类有value属性），类型检查器就会认为它属于WrapperType[T]（只要value的类型匹配T）。
• 类型检查器支持：主流的静态类型检查器（mypy、pyright、pytype）都能正确识别这个注解，当你传入不符合约束的对象时（比如Wrapper的value是字符串），会提前给出类型错误提示。
• 版本兼容性：如果使用Python 3.8及以下，需要先安装typing_extensions库才能使用Protocol；Python 3.9+已经内置了Protocol。

内容的提问来源于stack exchange，提问作者Jonathan Herrera