Python TypeAlias与Annotated能否用于泛型？适配静态类型检查方案咨询

解决方案 #

调整buildTypeAdapter函数的参数类型约束，使其兼容普通类型、类型别名与Annotated包装类型，同时让pyright能正确穿透包装推断底层类型：

import pydantic
from typing import TypeVar, TypeAliasType, Annotated, Union

T = TypeVar("T")

def buildTypeAdapter[T](
    cls: Union[type[T], TypeAliasType[T], Annotated[T, ...]]
) -> pydantic.TypeAdapter[T]:
    return pydantic.TypeAdapter(cls)

验证场景 #

1. 类型别名场景

type ListOfStrings = list[str]
ta2 = buildTypeAdapter(ListOfStrings)  # pyright识别为TypeAdapter[list[str]]
out2 = ta2.validate_python(None)  # 正确推断返回值类型为list[str]

2. Annotated类型场景

ta3 = buildTypeAdapter(Annotated[list[str], "Testing"])  # pyright识别为TypeAdapter[list[str]]
out3 = ta3.validate_python(None)  # 正确推断返回值类型为list[str]

原因说明 #

• 原函数参数cls: type[T]仅接受类/原生类型对象，但类型别名（TypeAliasType实例）和Annotated包装类型不属于type[T]的兼容类型范围，因此pyright会抛出类型不匹配错误。
• 通过将参数类型扩展为Union[type[T], TypeAliasType[T], Annotated[T, ...]]，我们覆盖了所有目标输入类型，同时让静态检查器能够穿透包装结构，正确绑定泛型参数T到底层实际类型。

兼容旧版本Python #

若项目依赖Python 3.9及更早版本，需从typing_extensions导入相关类型：

from typing_extensions import TypeVar, TypeAliasType, Annotated, Union

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