如何创建支持参数化的自定义Python类型提示

要实现支持MyType[<some_type>]形式的自定义类型提示，本质是创建一个泛型类型别名，用TypeVar定义可变的类型参数来替代原本固定的Any。

实现步骤 #

1. 导入TypeVar和Dict（Python 3.9+可直接用标准库，无需额外安装）
2. 定义一个类型变量T，用来指代可变的value类型
3. 将MyType定义为泛型版本的Dict[str, T]

代码示例 #

from typing import Dict, TypeVar

# 定义类型变量，用于接收后续传入的具体类型
T = TypeVar('T')

# 泛型类型别名：MyType[X] 等价于 Dict[str, X]
MyType = Dict[str, T]

# 使用示例
def handle_items(items: MyType[list[str]]) -> None:
    # 此时 items 的类型是 Dict[str, list[str]]
    for key, value_list in items.items():
        print(f"{key}: {', '.join(value_list)}")

# 测试符合类型的输入
valid_data = {"fruits": ["apple", "banana"], "vegetables": ["carrot", "spinach"]}
handle_items(valid_data)

Python 3.10+ 更规范的写法 #

可以用TypeAlias明确标注这是一个类型别名，增强可读性：

from typing import Dict, TypeVar, TypeAlias

T = TypeVar('T')
MyType: TypeAlias = Dict[str, T]

原理说明 #

• TypeVar('T')创建了一个类型占位符，允许后续传入任意具体类型（比如list[str]、int等）
• 当你写MyType[list[str]]时，类型检查器会自动将T替换为list[str]，最终解析为Dict[str, list[str]]
• 这种写法完全兼容mypy、pyright等主流类型检查工具，支持正常的类型推断和错误检查

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