Python3.4中如何实现带泛型列表的NamedTuple类型定义？

要解决mypy的类型变量未绑定错误，同时避免频繁使用#type: ignore，核心是正确将你的NamedTuple声明为泛型类，结合Python3.4支持的Generic类型来绑定类型变量。

正确的泛型NamedTuple定义步骤 #

1. 导入所需的类型模块：from typing import TypeVar, List, NamedTuple, Generic
2. 定义类型变量T，用于表示泛型参数
3. 让你的自定义列表类型同时继承NamedTuple和Generic[T]，这样类型变量T会被绑定到这个类的泛型参数上

示例代码 #

from typing import TypeVar, List, NamedTuple, Generic

# 定义泛型类型变量
T = TypeVar('T')

# 泛型NamedTuple，同时继承Generic[T]绑定类型变量
class GenericValueList(NamedTuple, Generic[T]):
    items: List[T]

# 使用示例
integer_list = GenericValueList(items=[10, 20, 30])
string_list = GenericValueList(items=["apple", "banana", "cherry"])

# 遍历示例：mypy可自动推断item类型
def process_list(lst: GenericValueList[int]) -> None:
    for item in lst.items:
        # mypy知道item是int，支持整数操作，不会报错
        print(f"处理整数：{item * 2}")

效果说明 #

• 这样定义后，mypy会识别T是GenericValueList的泛型参数，不会再抛出“类型变量未绑定”的错误
• 遍历lst.items时，mypy会根据传入的泛型参数（比如示例中的int）自动推断item的类型，不需要手动添加类型注解，也无需#type: ignore

特殊场景处理 #

如果遇到复杂类型嵌套导致mypy无法自动推断的情况，可以显式标注遍历变量的类型，比如：

for item: int in lst.items:
    print(item)

但这属于可选操作，大部分场景下正确的泛型定义已经足够让mypy完成类型推断。

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