为何Mypy/Pylance未检测嵌套Protocol的类型约束？

你的代码里Mypy/Pylance没识别到Child Protocol的约束，核心是两个关键问题：

1. Protocol默认定义的是实例属性，而非类属性 #

Parent Protocol里的Child: Child是在声明实例属性的类型要求，但你在FooBar里定义的class Child是类级别的嵌套类，这完全是两个不同的东西。类型检查器不会把类属性当成实例属性去校验，所以它既不会认为FooBar满足了Parent的实例属性要求，也不会去检查嵌套类是否符合Child Protocol。

如果你的目标是让子类必须有一个类级别的Child嵌套类，需要用ClassVar明确标注这是类属性：

from typing import Protocol, ClassVar

class Child(Protocol):
    name: str

class Parent(Protocol):
    # 标注为类属性，类型是符合Child Protocol的类
    Child: ClassVar[type[Child]]

2. 嵌套类未显式关联Child Protocol #

就算修正了类属性的问题，FooBar里的嵌套Child类也不会自动和Child Protocol绑定。类型检查器不会因为名字相同就认为它要符合Protocol约束，必须通过显式继承或者类型注解明确关联：

方式一：让嵌套类直接继承Child Protocol #

from typing import Protocol, ClassVar

class Child(Protocol):
    name: str

class Parent(Protocol):
    Child: ClassVar[type[Child]]

class FooBar(Parent):
    # 显式继承Child Protocol，此时会触发类型检查
    class Child(Child):
        pass  # 这里会报错：缺少必填属性name

方式二：给嵌套类添加类型注解 #

from typing import Protocol, ClassVar

class Child(Protocol):
    name: str

class Parent(Protocol):
    Child: ClassVar[type[Child]]

class FooBar(Parent):
    # 显式标注嵌套类的类型必须符合Child Protocol
    Child: ClassVar[type[Child]]
    class Child:
        pass  # 同样会报错：该类不符合Child Protocol的约束

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