> 只要一个 Python class 实现了 `__len__` 方法，就说明它满足 `Sized` 接口，而不强制要求它显式继承 Sized 类型。
> 初见这句话，非常惊讶，一定要挖掘一下背后原理。

---

## 关键认知 & 核心概念

🌞 一个有 `__len__` 方法的 Python class 被视为 `collections.abc.Sized` 的子类，`isinstance(obj, Sized)` 会返回 `True`，`issubclass(MyClass, Sized)` 也会返回 `True`。

🔥 在主流静态语言 Java、C++、C# 的认知里，子类型必须显式声明（通过 extend、implement 等关键字）。编程语言理论中，这叫：名义子类型（nominal subtyping）。

⚡ 但 Python class 仅实现特定方法，就能被自动判定为子类型。如实现 __len__ 就是 Sized 的子类型。编程语言理论中，这叫：结构性子类型（structural subtyping）。

💎 OOD 和 Python 都很嫌弃“继承”。前者有“用委托替代继承”原则，后者解释器实现了“无需显式继承” “只需实现特定魔法方法”的子类型规范。

---

## 一、Sized 和 __len__ 的例子

### 应用代码长这样

让我们先确认现象。以下代码可以直接运行：

```python
from collections.abc import Sized

class MyContainer:
    def __len__(self):
        return 42

obj = MyContainer()
print(isinstance(obj, Sized))          # True
print(issubclass(MyContainer, Sized))  # True
```

没有 `implements Sized`，没有继承，仅仅是定义了一个 `__len__` 方法，Python 就认定 `MyContainer` 是 `Sized` 的子类型。

### 解释器内部实现长这样

背后的魔法来自 `__subclasshook__`。`collections.abc.Sized` 的定义大致如下：

```python
from abc import ABCMeta

class Sized(metaclass=ABCMeta):
    @classmethod
    def __subclasshook__(cls, C):
        if cls is Sized:
            if any("__len__" in B.__dict__ for B in C.__mro__):
                return True
        return NotImplemented
    
    @abstractmethod
    def __len__(self):
        raise NotImplementedError
```

关键逻辑在 `__subclasshook__` 中：它遍历待检测类 `C` 的方法解析顺序（MRO），检查是否有任何一个父类（包括自身）的 `__dict__` 中包含 `__len__`。如果有，就返回 `True`，表示"这是一个合法的子类"。

### 这个机制的边界

只有标准库中那些定义了 `__subclasshook__` 的 ABC 才有此特性。
- 标准库中哪些 ABC 开启了此特性？
- 常见的包括：`Sized`、`Iterable`、`Iterator`、`Sequence`、`Mapping`、`Callable` 等。每个都有自己的 `__subclasshook__` 检查逻辑。

否则，没有显式实现 `__subclasshook__` 的自定义类型，调用 `isinstance()` 不会返回 `True`。

```python
from abc import ABC, abstractmethod

class MyInterface(ABC):
    @abstractmethod
    def do_something(self):
        pass
```

---

## 二、Subtyping 理论

要理解这种设计的意义，我们需要回到类型理论的源头。

### Simula 67：名义子类型的诞生

1967 年，Simula 67 引入了"类"和"子类"的概念。这是面向对象的起点。

但在 Simula 中，子类型关系完全由继承链决定——你说自己是子类，你就是；你没说，就不是。这就是**名义子类型（Nominal Subtyping）** 的雏形：类型的兼容性取决于类型的**名称**，而不是类型的**结构**。

### 结构子类型的提出

1970 到 80 年代，John Reynolds 和 Luca Cardelli 在 λ 演算的框架内将子类型形式化。Cardelli 在论文 *Structural Subtyping and the Notion of Power Type* 中明确提出：

> 子类型应该基于结构（记录字段、函数签名）而非名字，这样系统才能对"未来定义的类型"保持开放。

这就是**结构子类型（Structural Subtyping）**的理论基础。一个类型是否兼容另一个类型，取决于它是否拥有对方所需的所有成员，而不是它是否继承了对方的名字。

### 结构匹配 ≠ 可替换性

1989 年前后，William Cook 在他的博士论文中指出，不能简单地将"继承"等同于"子类型"。结构匹配只能保证接口的形状一致，但不能保证语义契约的一致性。一个 `Set` 和一个 `Bag` 可能有完全相同的方法签名，但它们的语义约束完全不同（集合不允许重复元素，包允许）。

这个批评引出了后来的**行为子类型（Behavioral Subtyping）**概念，即 Liskov 替换原则（LSP）的理论根源。

### 三条子类型路径

Benjamin Pierce 在 *Types and Programming Languages* 这本经典教材中，将名义子类型、结构子类型和行为子类型三条线收口。他的核心结论至今仍有指导意义：

- **结构子类型**：灵活，但对语义一致性缺乏保障
- **名义子类型**：死板，但支持运行时标签、递归类型和封装
- **行为子类型**：理想状态，但难以在类型系统中完全自动化

> 重要澄清：结构子类型不是 Python 发明的，也不是"动态语言专属"。它是静态类型理论中和名义子类型并列的正统分支。

---

## 三、主流语言的 Subtyping 路线分化

进入 2010 年代后，各语言对两种子类型路线的选择更加清晰：

| 语言 | 选择 | 理由 |
|------|------|------|
| **TypeScript（2012）** | 主要结构子类型 | "JavaScript 本来就是鸭子类型"，但私有字段回退到名义子类型以避免封装破裂 |
| **Go（2009）** | 纯结构子类型 | interface 满足是隐式的结构匹配，编译期完成，无继承层次——最接近 Cardelli 的原教旨 |
| **Rust** | 主要名义子类型 | trait 需要显式 `impl Trait for T`，但 `dyn Trait` 的自动实现让结构匹配也很常见 |
| **Scala** | 双轨并行 | 既有名义的 class 继承，又有结构类型 `{ def foo: Int }` |
| **C++20 Concepts** | 本质结构子类型 | 模板实例化的约束满足是结构性的（"够用就行"） |
| **Python（2008/2018）** | **混合双轨** | 运行时侧：ABC 的 `__subclasshook__` 提供**运行时结构子类型**（鸭子类型的形式化）；静态侧：PEP 544 `Protocol` 提供**编译期结构子类型**；显式继承则走名义路线。三者并存，形成独特的"名义-结构混合体系" |

Python 是目前少数几个在**运行时**和**编译期**都完整支持结构子类型的工业语言之一。Go 虽然也是纯结构子类型，但仅限于编译期；TypeScript 的结构子类型也主要在编译期。而 Python 的 `__subclasshook__` 机制在运行时也能工作，这让它格外灵活——当然，代价是性能开销和潜在的意外匹配风险。

只要一个 Python class 实现了 __len__ 方法，就说明它满足 Sized 接口，而不强制要求它显式继承 Sized 类型。 初见这句话，非常惊讶，一定要挖掘一下背后原理。

参悟Python设计思想04 | 从Sized类型__len__方法，看Subtyping理论

编程语言

Python采用结构子类型设计，通过__subclasshook__机制实现隐式类型适配，使类无需显式继承即可匹配抽象基类。这种灵活性与主流静态语言的名义子类型形成对比，兼顾了动态语言的便利与类型安全。文章探讨了Python这一独特设计背后的理论渊源及实际应用价值。

代码解释

TypeScript 

解释器

Python

Java

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

参悟Python设计思想04 | 从Sized类型__len__方法，看Subtyping理论-腾讯云开发者社区-腾讯云

参悟Python设计思想04 | 从Sized类型len方法，看Subtyping理论

参悟Python设计思想04 | 从Sized类型len方法，看Subtyping理论

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐