为何Pylance未检测到Protocol的缺失成员？

我在VSCode中使用Pylance并开启了strict类型检查模式，遇到了一个问题：当让Bar类继承Foo协议（Protocol）但注释掉了协议要求的foo方法时，Pylance在Bar的定义位置没有报错；但取消注释foo方法后，如果签名不匹配，Pylance会正确提示Method "foo" overrides class "Foo" in an incompatible manner。

示例代码：

from typing import Protocol

class Foo(Protocol):
    def foo(self, a: str): ...

class Bar(Foo): 
    # def foo(self, b: str): ...
    ...

# 只有实例化时才会触发报错
a: Foo = Bar() # Pylance提示'Cannot instantiate abstract class "Bar"'

我的核心需求是：

• 明确声明Bar实现了Foo协议
• 让Pylance在类定义阶段就检测出是否符合协议要求，而非等到实例化阶段

解决方案：用运行时可检查协议 + 静态类型断言 #

方法1：使用runtime_checkable装饰器 + 哑赋值

给协议添加@runtime_checkable装饰器，然后在类定义后添加一行哑赋值语句，强制Pylance触发协议符合性检查：

from typing import Protocol, runtime_checkable

@runtime_checkable
class Foo(Protocol):
    def foo(self, a: str): ...

class Bar(Foo): 
    # def foo(self, b: str): ...
    ...

# 强制Pylance在定义阶段检查Bar是否符合Foo协议
_: Foo = Bar()

这样修改后，即使不实际使用Bar实例，Pylance也会直接在Bar定义位置或赋值行提示错误：Cannot instantiate abstract class "Bar" with abstract method "foo"。

方法2：使用cast函数（更优雅，避免实例化）

如果Bar的__init__参数复杂，不想写实例化代码，可以用cast做静态类型检查，不会实际创建对象：

from typing import Protocol, runtime_checkable, cast

@runtime_checkable
class Foo(Protocol):
    def foo(self, a: str): ...

class Bar(Foo): 
    # def foo(self, b: str): ...
    ...

# 仅做静态类型检查，无运行时开销
cast(Foo, Bar)

原问题的原因 #

Pylance对继承Protocol的类的检查逻辑是：只有当该类被当作Protocol类型使用时（比如赋值给标注为Protocol的变量），才会触发完整的协议符合性检查。单纯继承Protocol不会自动检测缺失方法——这是因为Protocol的设计初衷是支持结构子类型匹配，而非名义子类型的严格前置检查。

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