嵌套Protocol使用报错：自定义类型符合协议却遭mypy类型不兼容提示

问题本质 #

这段代码报错的核心原因是：Protocol中定义的常规属性类型默认是「不变（invariant）」的。

类型检查器会严格要求，实现Protocol的类中对应属性的类型，必须与Protocol声明的类型完全一致——哪怕你的自定义类型（比如Inner）完全符合嵌套的Protocol（HasA），也不能替代Protocol本身作为属性类型。

在你的代码里：

• HasHasA协议要求hasa属性的类型是HasA这个Protocol
• 但Outer的hasa属性是Inner类型，虽然Inner满足HasA的结构，但它不是HasA类型本身，因此类型检查器判定Outer不符合HasHasA协议。

另外还有一个隐含逻辑：常规属性默认是可读可写的。如果HasHasA允许修改hasa属性，理论上可以给它赋值任何符合HasA的类型，但Outer的hasa只能接受Inner类型，这就存在类型安全隐患——类型检查器正是因为这个原因，才拒绝了这种隐式转换。

两种可行解决方案 #

方案1：将Protocol属性声明为只读（推荐，无泛型） #

如果你的hasa属性不需要被修改，只需可读，那么可以把Protocol中的属性定义为只读@property。只读属性的类型默认是协变的，类型检查器会允许兼容类型的匹配：

from dataclasses import dataclass
from typing import Protocol

class HasA(Protocol):
    @property
    def a(self) -> int: ...

class HasHasA(Protocol):
    @property
    def hasa(self) -> HasA: ...

@dataclass
class Inner:
    a: int

@dataclass
class Outer:
    hasa: Inner

def func(b: HasHasA): ...

o = Outer(Inner(0))
func(o)

这样mypy和Pyright都会通过类型检查，因为只读场景下不存在赋值类型不匹配的风险。

方案2：使用泛型协变（适用于需要写操作的场景） #

如果需要支持属性的写操作，就需要通过泛型显式声明协变关系。定义一个协变的TypeVar，让HasHasA协议基于这个泛型构建：

from dataclasses import dataclass
from typing import Protocol, TypeVar

# 定义协变的TypeVar，绑定到HasA协议
HasAT = TypeVar("HasAT", bound="HasA", covariant=True)

class HasA(Protocol):
    a: int

class HasHasA(Protocol[HasAT]):
    hasa: HasAT

@dataclass
class Inner:
    a: int

@dataclass
class Outer:
    hasa: Inner

def func(b: HasHasA[HasA]): ...

o = Outer(Inner(0))
func(o)

这种方式明确告诉类型检查器：HasHasA的hasa属性类型可以是HasA或任何符合HasA的协变类型，既保留了写操作的能力，又保证了类型安全。

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