为何Python 3.9及更早版本中含非方法成员的数据协议无需@runtime_checkable装饰器即可用于isinstance检查？

你观察到的这个差异其实是Python typing 模块在3.9及更早版本中的实现细节导致的不一致行为，并不是官方设计时的有意规则，而且这个行为在Python 3.10及之后已经被统一修正了。

核心现象再梳理 #

先把你遇到的关键行为差异明确下：

• 纯方法协议（无属性）：3.9及更早版本中，不加@runtime_checkable直接用isinstance，会立刻抛出TypeError，提示只有带装饰器的协议才能做运行时检查；
• 数据协议（含属性等非方法成员）：同样不加装饰器，3.9及更早版本不会抛出TypeError，会实际执行运行时检查（比如你的案例里B没有x属性，断言失败）；
• Python 3.10+：不管是纯方法协议还是数据协议，只要没加@runtime_checkable，用isinstance都会抛出TypeError，行为完全统一。

背后的原因：老版本的实现巧合 #

在Python 3.9及更早的typing模块源码中，协议的运行时检查逻辑存在分支：

1. 对于纯方法协议，模块会严格校验是否带有@runtime_checkable装饰器，只有带装饰器的协议才允许执行isinstance/issubclass检查；
2. 对于包含属性的数据协议，内部实现会自动绕过这个装饰器检查——这是因为早期的属性运行时检查逻辑是独立于方法检查的，没有和@runtime_checkable的校验逻辑完全整合，相当于一个“意外的副作用”，让数据协议无需装饰器也能触发运行时检查。

但这个行为完全是实现层面的巧合，官方文档里并没有把它当作一个正式特性来描述，所以你在官方文档里找不到相关说明。

3.10+的统一修正 #

Python 3.10对typing模块做了大量重构，其中就包括统一了所有协议的运行时检查规则：

• 不管协议是否包含属性（是不是数据协议），只有显式添加@runtime_checkable装饰器的协议，才能用于isinstance/issubclass的运行时检查；
• 这个修正让协议的行为和官方文档的描述完全一致，也消除了之前版本中纯方法协议和数据协议之间的行为差异。

额外建议 #

即使在3.9及更早版本中，数据协议不加装饰器能执行isinstance检查，也不代表这是推荐用法：

• 首先，这个行为没有文档保障，属于实现细节，随时可能被修改；
• 其次，为了代码的可读性和跨版本兼容性，不管什么协议，只要你需要在运行时做类型检查，都应该显式添加@runtime_checkable装饰器，这样在不同Python版本中行为更一致，也更符合官方的设计意图。

备注：内容来源于stack exchange，提问作者haferfleks