Ruby的.+方法内部运行机制：自定义对象为何无法与Integer相加

问题复现 #

你给出的报错场景代码如下：

>> a = Object.new
=> #<Object:0x0000000006cfa9d0>
?> def a.to_int
?>   42
>> end
=> :to_int
>> 3 + a
(irb):5:in `+': Object can't be coerced into Integer (TypeError)
        from (irb):5:in `<main>'

仅为自定义对象实现to_int方法后仍然无法参与整数加法，而实现coerce方法后运算正常：

irb(main):010:1* def a.coerce other
irb(main):011:1*   [other, 42]
irb(main):012:0> end
=> :coerce
irb(main):013:0> 1 + a
=> 43

Integer#+内部执行流程 #

当执行整数 + 右操作数时，方法内部逻辑严格按照如下顺序执行：

• 第一步：先判断右操作数本身是不是Integer类型，如果是，直接执行数值加法返回结果
• 第二步：如果右操作数不是Integer，主动调用右操作数的coerce方法，传入当前整数作为参数，该方法需要返回一个包含两个元素的数组，两个元素分别是转换后兼容类型的左操作数、右操作数
• 第三步：拿到coerce返回的数组后，执行数组[0] + 数组[1]，完成最终运算
• 第四步：如果右操作数没有实现coerce方法，或者coerce返回的结果不符合格式要求，直接抛出TypeError

现象成因解释 #

为什么实现to_int无效 #

to_int是Ruby的隐式整数转换协议，只会在明确要求「目标必须是整数」的上下文被自动调用，比如数组索引、Integer()显式转换场景。Integer#+方法的设计逻辑里根本不会主动调用右操作数的to_int方法做类型转换，所以仅实现to_int完全不影响加法运算的执行，自然会报错。

为什么实现coerce有效 #

coerce是Ruby专门为算术运算符设计的跨类型运算协议，是所有数值类型运算符的标准兼容机制。当整数加法遇到不认识的右操作数时，完全依赖coerce的返回值做类型兼容，你定义的coerce方法返回了符合要求的整数数组，后续运算可以正常执行，所以不会报错。

如果想要复用已经实现的to_int方法，可以改写coerce逻辑如下，效果完全一致：

def a.coerce(other)
  [other, self.to_int]
end

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