在Fixnum对象类型转换** Fixnum对象

Question

在ruby-doc，它说，<Fixnum> ** <Numeric>可能是分数，并给出了例子：

2 ** -1 #=> 0.5 
2 ** 0.5 #=> 1.4142135623731 

，但在我的IRB，它有时会给出一个答案Rational与下面的指数-1 ：

2 ** -1 #=> (1/2) 
2 ** 0.5 #=> 1.4142135623731 

它看起来像红宝石文档是不准确的，与红宝石尝试类型转换为Rational如果可能的话，但我不能完全肯定。当基数和指数均为Fixnum时，这里的确切类型铸造规则是什么？我对Ruby 1.9.3特别感兴趣，但不同版本的结果是不同的？

Answer 1

DGM是对的;在你链接的文档中，答案是正确的，尽管它在C中。我增加了一些注解：

static VALUE 
fix_pow(VALUE x, VALUE y) 
{ 
    long a = FIX2LONG(x); 

    if (FIXNUM_P(y)) {   // checks to see if Y is a Fixnum 
     long b = FIX2LONG(y); 

     if (b < 0) 
      // if b is less than zero, convert x into a Rational 
      // and call ** on it and 1 over y 
      // (this is how you raise to a negative power). 
      return rb_funcall(rb_rational_raw1(x), rb_intern("**"), 1, y); 

现在，我们可以移动到docs for Rational和检查是怎么说the ** operator：

rat ** numeric → numeric 

执行幂。

例如：

Rational(2) ** Rational(3) #=> (8/1) 
Rational(10) ** -2    #=> (1/100) 
Rational(10) ** -2.0   #=> 0.01 
Rational(-4) ** Rational(1,2) #=> (1.2246063538223773e-16+2.0i) 
Rational(1, 2) ** 0    #=> (1/1) 
Rational(1, 2) ** 0.0   #=> 1.0 

你链接的文档