在 Python 中语法结构本身并不直接规定对象如何执行行为。语法只确定语言结构而具体的运行期行为则由解释器根据既定规则进行解释与分派。这套规则体系就是“协议机制”。理解协议机制关键不在于记忆若干特殊方法名而在于把握一个核心逻辑语法结构决定采用哪一种解释规则对象的类型结构决定是否可以启用该规则并决定解释路径的入口。协议不是对象主动执行的行为而是解释器在特定语法语境下所采用的解释规则集合。一、什么是协议在 Python 中“协议”protocol不是对象、不是类型、也不是接口。它不作为独立实体存在而是解释器在某种语法结构下用以展开运行期行为的一套规则。从是否允许对象参与规则实现的角度协议可以分为两类1、用户可扩展的规则对象可以通过在类型上定义特殊方法“魔术方法”参与该规则的实现。这些方法可称为“协议方法”。2、用户不可扩展的规则规则完全由解释器内建不提供对象侧的结构性入口即对象无法“定义/接管”这条规则的关键步骤。通常所说的“协议机制”指的是允许对象通过协议方法参与解释路径展开的可扩展规则。二、协议机制的统一工作流程所有可扩展协议都遵循同一套运行模型。1、语法触发解释器首先识别语法结构例如obj()a bfor x in objobj.attrwith obj语法结构决定解释器将实施哪种规则• 调用表达式 → 调用协议• 数值运算 → 数值运算协议• for 语句 → 迭代协议• 点运算 → 属性访问机制• with 语句 → 上下文管理协议语法结构只触发选择规则类别并不决定具体行为。2、类型入口判定槽位检查在确定协议类别后解释器进入类型层分派阶段。首先要解决的问题是当前对象的类型是否为该协议的解释路径提供入口在 CPython 中这种入口表现为类型对象中的类型槽位type slots。例如• 调用协议 → tp_call• 迭代协议 → tp_iter• 数值协议 → tp_as_number-nb_add• 属性访问 → tp_getattro• 描述符 → tp_descr_get / tp_descr_set槽位是类对象内部结构中预先填充的函数指针字段。比如class C(): def __call__(self): ...在类对象创建或更新时解释器会将该方法映射到对应槽位如 tp_call。因此槽位中保存的是解释器层的 C 函数指针该函数在内部再分派到相应的协议方法若存在。语法结构触发解释器进入对应的协议分派逻辑该逻辑会从对象类型结构中读取相关槽位。若协议入口槽位为空解释器将根据该协议的定义尝试是否存在回退路径若无可用路径才会抛出 TypeError。因此协议解释路径是否能展开取决于类型结构是否提供入口以及协议内部规则是否允许展开。3、解释路径展开若槽位非空解释器立即进入协议解释路径1、通过槽位调用对应的解释器层分派函数该函数在内部再调用协议方法若存在2、获取返回值3、若返回 NotImplemented尝试替代路径若协议中存在4、若所有路径都尝试失败抛出 TypeError例如调用表达式obj()解释路径展开如下1、读取 type(obj) 的 tp_call 槽位通过该槽位对应的调用函数展开调用路径在普通对象情况下该路径会进一步分派到 __call__ 方法。2、返回其结果。三、解释路径优先级与回退规则部分协议存在多路径竞争机制。比如数值运算协议中包含原地方法、正向方法以及反向方法等支持多路径竞争。例如a b解释路径严格顺序为1、读取 type(a) 的加法槽位 nb_add调用相关协议方法 type(a).__add__(b)。2、若返回 NotImplemented则尝试反向路径右操作数兜底type(b).__radd__(a)。说明若 type(b) 是 type(a) 的严格子类则根据数值协议规则解释器会优先尝试 type(b).__radd__(a)以保证子类优先。3、若所有候选仍返回 NotImplemented抛出 TypeError。又如原地计算a b解释路径为1、读取 type(a) 的原地加法槽位 nb_inplace_add调用相关协议方法 type(a).__iadd__(b)。2、若返回 NotImplemented回退到上述普通加法解释路径。在回退发生时其行为语义等价于执行a a b要强调的是NotImplemented 不是错误。它是协议协作信号“我不能处理这个组合请尝试其它候选路径。”只有当所有候选路径都返回 NotImplemented解释器才抛出 TypeError。因此协议不仅定义入口也定义路径优先级与回退规则。四、协议解释路径何时不会生效协议是否最终生效并不只取决于槽位是否非空。在解释器运行过程中还存在若干情形会导致协议路径不被触发、被遮蔽或被替代。1、语法结构未触发该协议协议必须由对应语法结构触发。即便类型提供了入口槽位如果对象从未出现在该语法语境中协议解释路径就不会被触发。例如class X: def __iter__(self): print(iter called) return iter([1,2,3])如果从未用于for x in X(): ...或iter(X())则迭代协议根本不会触发。2、类型槽位为空例如a 10a()调用表达式触发调用协议但 int 实例所属类型不提供实例级调用入口槽位因此解释路径无法展开。这是“入口不存在”的情况。3、回退路径替代原路径某些协议包含“主路径 回退路径”。即便主槽位存在若返回 NotImplemented解释器会尝试替代路径。例如前面所讲的数值协议中正向路径可能被反向路径替代或者原地路径被普通加法路径替代。还有一种可能引发槽位级回退的情形。比如for x in obj:正常情况读取 type(obj) 的“迭代”槽位 tp_iter调用相关协议方法 type(obj).__iter__()若对象未提供 tp_iter 槽位但实现了序列槽位sq_item解释器会构造一个序列迭代器对象由其逐次调用 sq_item直到抛出 IndexError 结束。4、MRO 改变协议入口的实现来源在继承场景中协议路径可能被子类覆盖。class A: def __len__(self): return 1 class B(A): def __len__(self): return 2 print(len(B())) # 2最终槽位绑定到 B.__len__。这里并不是遮蔽而是类型结构本身发生变化。 小结在 Python 中协议是解释器在特定语法语境下采用的解释规则体系。语法结构决定协议类别类型结构决定是否提供入口协议内部规则决定解释路径如何展开及如何竞争与回退。协议方法只是对象参与协议的语言接口真正的行为分派发生在类型层。理解协议机制就是从解释器的角度理解 Python 的运行逻辑。“点赞有美意赞赏是鼓励”