ruby - 为什么 `Kernel::String` 检查 `to_str` 结果，而 `Kernel::Integer` 不检查 `to_int` 结果？

Question

Kernel::Integer 和 Kernel::String 都通过首先尝试调用“long”方法(to_int 和to_str)，然后是“短”方法(分别为to_i 和to_str)。两种方法都检查“短”方法结果的类，并在需要时引发错误:

[1] pry(main)> class Dummy
[1] pry(main)*   def to_i
[1] pry(main)*     "42"
[1] pry(main)*   end
[1] pry(main)*   def to_s
[1] pry(main)*     42
[1] pry(main)*   end
[1] pry(main)* end;
[2] pry(main)> Integer(Dummy.new)
TypeError: can't convert Dummy to Integer (Dummy#to_i gives String)
from (pry):9:in `Integer'
[3] pry(main)> String(Dummy.new)
TypeError: can't convert Dummy to String (Dummy#to_s gives Fixnum)

这种行为似乎是合乎逻辑的，因为“短”方法应该只是给出一个“表示”。另一方面，只有当所讨论的对象本质上是整数或字符串(see this answer)时，才应该实现“long”方法。

但是，一旦我们实现了“长”方法，行为就会变得不一致:

[4] pry(main)> class Dummy
[4] pry(main)*   def to_int
[4] pry(main)*     "42"
[4] pry(main)*   end
[4] pry(main)*   def to_str
[4] pry(main)*     42
[4] pry(main)*   end
[4] pry(main)* end;
[5] pry(main)> Integer(Dummy.new)
=> "42"
[6] pry(main)> String(Dummy.new)
TypeError: can't convert Dummy to String (Dummy#to_str gives Fixnum)

为什么对结果进行不同的处理？

我正在使用 ruby​​ 2.1.2，顺便说一句:

[7] pry(main)> RUBY_VERSION
=> "2.1.2"

Answer 1

调用 Kernel#Integer，又名 rb_f_integer 时会发生以下情况:

1. rb_f_integer 调用 rb_convert_to_integer
2. rb_convert_to_integer 调用 convert_type(val, "Integer", "to_int", FALSE)
3. convert_type 返回 val.to_int 而不管它实际上是否为整数。

4. rb_convert_to_integer 的重要部分是:

   tmp = convert_type(val, "Integer", "to_int", FALSE);
   if (NIL_P(tmp)) { // checks if val.to_int is nil. this is the line that causes this
       return rb_to_integer(val, "to_i");
   }
   return tmp;
   

因此，它检查 to_int 的返回值是否为 nil，而不是检查它是否为整数。我在该代码中注释的行是导致此错误的行。 to_i 的结果类型在上面对 rb_to_integer 的调用中被检查(如果 to_int 的结果是 nil 或者 to_int 未定义)，但是永远不会检查 to_int 结果的类型。一个有趣的结果:

class X
  def to_int
    nil
  end

  def to_i
    42
  end
end

class Y
  def to_int
    false
  end

  def to_i
    42
  end
end

p Integer(X.new) #=> 42
p Integer(Y.new) #=> false