Python中1/3.5等跨类型运算的底层执行原理探究

核心机制：双向调度（Double Dispatch） #

Python内置类型的跨类型运算依赖双向调度机制，它会依次尝试左右操作数的对应方法，确保类型兼容的运算能正常执行。

以除法1 / 3.5为例的执行步骤 #

1. 首先触发左操作数的方法：调用int.__truediv__(1, 3.5)，但int类的__truediv__仅能处理int与int的除法，遇到float参数时返回NotImplemented，表示自身无法处理该运算。
2. 当左方法返回NotImplemented，Python自动尝试右操作数的反向方法：调用float.__rtruediv__(3.5, 1)。这个方法专门用于处理左操作数不支持的跨类型场景，它会先将int类型的1转换为float，再执行除法运算，最终返回正确结果。

关于直接调用方法报错的原因 #

你直接调用float.__truediv__传入int时报错，大概率是参数顺序错误：float.__truediv__的第一个参数必须是float实例（即方法的self），正确的调用方式是float.__truediv__(3.5, 1)或(3.5).__truediv__(1)，这两种写法都能得到正确结果；如果写成float.__truediv__(1, 3.5)，第一个参数是int类型，不符合self必须为float的要求，就会触发报错。

加法与operator模块的底层逻辑 #

不管是用1 + 3.5、lambda x,y:x+y还是operator.__add__，底层都是同一个双向调度流程：

• 先调用int.__add__(1, 3.5)，返回NotImplemented
• 接着调用float.__radd__(3.5, 1)，将int转换为float后执行加法，得到结果

内置类型跨类型运算的通用规则 #

• 运算符触发时，优先执行左操作数的正向方法（如__add__、__truediv__）
• 若正向方法返回NotImplemented，则尝试右操作数的反向方法（如__radd__、__rtruediv__）
• 反向方法会负责类型转换，将不兼容类型转为自身支持的类型后完成运算
• 若正向和反向方法都无法处理，最终才会抛出TypeError

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