Python共享泛型类型的序列化/反序列化Protocol问题排查

你当前的代码问题确实出在TypeVar的作用域上：CVT和V是全局定义的TypeVar，在from_config和to_config方法里会被各自独立推导，没法保证两个方法的CVT是同一个类型。要让类型绑定在类级别生效，需要把TypeVar声明为Protocol的泛型参数。

修正后的实现方案 #

from typing import TypeVar, Protocol, Union, List, Dict, Type, Generic
from typing_extensions import TypeAlias

# 定义允许的配置类型集合
CV: TypeAlias = Union[str, int, float, bool, List['CV'], Dict[str, 'CV']]
# 定义类级别的TypeVar，绑定到CV类型
CVT = TypeVar('CVT', bound=CV)
V = TypeVar('V')

# 让Protocol继承Generic，把CVT和V作为类的泛型参数
class Registrable(Protocol[CVT, V], Generic[CVT, V]):
    @classmethod
    def from_config(cls: Type[V], value: CVT) -> V:
        ...

    def to_config(self) -> CVT:
        ...

关键说明 #

• 让Registrable继承Generic[CVT, V]并声明为Protocol[CVT, V]，这样CVT和V就会绑定到整个Protocol类，而不是单个方法。
• 实现类在遵循这个Protocol时，必须指定具体的CVT类型，确保to_config的返回值和from_config的参数类型严格一致。

示例验证 #

比如我们实现一个具体的类：

class MyConfigurable:
    def __init__(self, name: str, age: int):
        self.name = name
        self.age = age

    @classmethod
    def from_config(cls, value: Dict[str, Union[str, int]]) -> 'MyConfigurable':
        return cls(name=value['name'], age=value['age'])

    def to_config(self) -> Dict[str, Union[str, int]]:
        return {'name': self.name, 'age': self.age}

# 类型检查会通过，因为to_config返回的Dict和from_config的参数类型一致
def test(obj: Registrable[Dict[str, Union[str, int]], MyConfigurable]) -> None:
    config = obj.to_config()
    new_obj = MyConfigurable.from_config(config)

这样就能保证序列化和反序列化的类型完全匹配，同时保留泛型的灵活性。

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