如何使用一次性泛型创建类型别名?

问题描述

我希望创建一个类型别名,该别名可以采用别名中实际未使用的泛型。原因是自记录代码,我知道没有类型检查器能够实际检查它。这是我的意思:

from typing import TypeVar,Dict,Any

from dataclasses import dataclass
from dataclasses_json import dataclass_json,DataClassjsonMixin


JSON = Dict[str,Any]  # Good enough json type for this demo
T = TypeVar("T",bound=DataClassjsonMixin)
JSONOf = JSON[T]  # <-- mypy Problem: JSON takes no generic arguments

@dataclass_json   # this just provides to_json/from_json to dataclasses,not important for question
@dataclass
class Person:
    name: str
    age: int

def add_person_to_db(person: JSONOf[Person]):
    # just from reading the signature the user Now kNows what the input is
    # If I just put JSON as a type,it is unclear
    ...

问题是JSON类型别名没有使用泛型参数,所以无法接收。我需要在别名定义中使用它,而无需实际使用它。我尝试使用 PEP-593 Annotated 类型执行此操作,但它也不起作用(我可以像下面那样定义它,但它仍然不期望通用参数):

from typing import Annotated

JSONOf = Annotated[JSON,T]

我需要做类似的事情(这不存在):

from typing import ThrowAwayGeneric

JSONOf = ThrowAwayGeneric[JSON,T]

是否有可能获得类似于类型检查的东西?再说一次:我实际上对 json 数据的类型检查不感兴趣,我只想提供该函数的可读签名。在实际类型检查时使用 Dict[str,Any] 是否完全正常。

这种蛮力方法当然是为每种类型定义一个别名,但由于此类类型很多,这变得很乏味。

JSONOfPerson = JSON

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)