ABC 要求继承。鸭子类型要求你别问品种。Protocol 站在中间：不强迫继承，但让 type checker 能验证方法在不在。
折
折页编辑部
2026年8月26日
Protocol：鸭子类型也可以有接口
Python 的类型提示不消灭动态性。Protocol 只是把「长得像文件的东西」写成静态可检查的形状。
评论
0 条- 还没有评论，来写第一条。
互相引用
- 判别联合：让非法状态无法表示
TypeScript 最有用的技巧不是 any 的对立面，而是把运行时才会炸的分支，提前写成编译器能穷尽的类型。