Bug #2662: BigDecimal#ceil, etc. should not return Integer

ちょっと試してみました。

> r20584 と r20616 で BigDecimal#ceil 、truncate 、floor 、round 、div の
> 戻り値を Integer にする変更がありますが、これだと巨大な BigDecimal を
> 扱えなく、または扱いが面倒になります。
> 
> 
>   # 巨大な BigDecimal は ceil が取れない
>   $ ./ruby -rbigdecimal -e 'p BigDecimal("1E100000").ceil'
>   (巨大な Bignum を確保しようとして固まる...)

僕のところでは固まるということはないですね。Rational と比べるとちょっと
遅いみたいですが。

b = BigDecimal("1E100000").ceil
r = Rational("1E100000").ceil
b == r #=> true

手元で試したところでは to_r で Rational を経由してから to_i したほうが
速いみたいです (つまり ceil(0).to_r.to_i のほうが、ceil よりも速い)。よ
うするに BigDecimal#to_i が遅いというのが本質ではないですか。

>   # Infinity が混ざるときは自分で対処する必要がある
>   $ ./ruby -rbigdecimal -e 'p BigDecimal("Infinity").ceil'
>   -e:1:in `ceil': Computation results to 'Infinity' (FloatDomainError)
>           from -e:1:in `<main>'

Infinity に対して ceil が取れないのは Float でも同じなのでそれが間違っ
ているなら、それは BigDecimal だけの問題でもないと思います。

> Float#ceil などが Integer を返すのに合わせるためだと思いますが、この変更
> では BigDecimal のありがたみ自体が減ってしまう気がします。
> どうしてもということでなければ、revert を提案します。

望むなら ceil を BigDecimal のまま取ることも出来るので (ceil(0))、提案
の理由で直ちに revert する理由はないように見えます。rubyspec のほうは判
りません。

2010年1月27日19:12 Tadayoshi Funaba <[e-mail]>:
>>   # 巨大な BigDecimal は ceil が取れない
>>   $ ./ruby -rbigdecimal -e 'p BigDecimal("1E100000").ceil'
>>   (巨大な Bignum を確保しようとして固まる...)
>
> 僕のところでは固まるということはないですね。Rational と比べるとちょっと
> 遅いみたいですが。
>
> b = BigDecimal("1E100000").ceil
> r = Rational("1E100000").ceil
> b == r #=> true
>
> 手元で試したところでは to_r で Rational を経由してから to_i したほうが
> 速いみたいです (つまり ceil(0).to_r.to_i のほうが、ceil よりも速い)。よ
> うするに BigDecimal#to_i が遅いというのが本質ではないですか。

0 が一個足りませんでした。1E100000 はうちだと 8 秒ですね。1E1000000
だとどうでしょう。
しかし、Rational で動くなら、何かを直せばなんとかなりそうですね。

>
>>   # Infinity が混ざるときは自分で対処する必要がある
>>   $ ./ruby -rbigdecimal -e 'p BigDecimal("Infinity").ceil'
>>   -e:1:in `ceil': Computation results to 'Infinity' (FloatDomainError)
>>           from -e:1:in `<main>'
>
> Infinity に対して ceil が取れないのは Float でも同じなのでそれが間違っ
> ているなら、それは BigDecimal だけの問題でもないと思います。

BigDecimal に関しては 1.9.1 なら大丈夫だったのに、1.9.2 で大丈夫じゃ
なくなってしまうという問題です。


>> Float#ceil などが Integer を返すのに合わせるためだと思いますが、この変更
>> では BigDecimal のありがたみ自体が減ってしまう気がします。
>> どうしてもということでなければ、revert を提案します。
>
> 望むなら ceil を BigDecimal のまま取ることも出来るので (ceil(0))、提案
> の理由で直ちに revert する理由はないように見えます。rubyspec のほうは判
> りません。

「提案の理由で直ちに revert する理由はない」というより、「どうしても
変えないと困る理由がある」でないのであれば、1.9 系列の途中でむやみに
仕様変更しないほうがいいと思います。理由は一貫性だけなんでしょうか。

-- 
Yusuke ENDOH <[e-mail]>

> 0 が一個足りませんでした。1E100000 はうちだと 8 秒ですね。1E1000000
> だとどうでしょう。
> しかし、Rational で動くなら、何かを直せばなんとかなりそうですね。

Rational 経由だと 0 ひとつ増えてもそこそこの速度で返るようですね。

関係あるかわからないけど、BigDecimal#** が結構遅かった記憶があります。
あと、

BigDecimal('3') ** BigDecimal('3')
  # TypeError: wrong argument type BigDecimal (expected Fixnum)

BigDecimal('3') ** 3.3
  # TypeError: wrong argument type Float (expected Fixnum)

といったところで、Fixnum に比べても制限も多いし、実装にいろいろ手抜きが
あるってことなのかな。

> 「提案の理由で直ちに revert する理由はない」というより、「どうしても
> 変えないと困る理由がある」でないのであれば、1.9 系列の途中でむやみに
> 仕様変更しないほうがいいと思います。理由は一貫性だけなんでしょうか。

答える立場にないけど、理由は一貫性で間違ってないと思います。単に一貫性
を与えてみた、ということではなく、一貫性が必要だと思ったからそうしたの
だと思いますが。互換性を確保すべきなのかどうかは考え方次第だと思うので
僕には判りませんが。

まつもと ゆきひろです

In message "Re: [ruby-dev:40168] [Bug #2662] BigDecimal#ceil, etc. should not return Integer"
    on Wed, 27 Jan 2010 02:42:38 +0900, Yusuke Endoh <[e-mail]> writes:

|r20584 と r20616 で BigDecimal#ceil 、truncate 、floor 、round 、div の
|戻り値を Integer にする変更がありますが、これだと巨大な BigDecimal を
|扱えなく、または扱いが面倒になります。
|
|
|  # 巨大な BigDecimal は ceil が取れない
|  $ ./ruby -rbigdecimal -e 'p BigDecimal("1E100000").ceil'
|  (巨大な Bignum を確保しようとして固まる...)
|
|  # Infinity が混ざるときは自分で対処する必要がある
|  $ ./ruby -rbigdecimal -e 'p BigDecimal("Infinity").ceil'
|  -e:1:in `ceil': Computation results to 'Infinity' (FloatDomainError)
|          from -e:1:in `<main>'

ふなばさんが指摘しておられるように、前者は性能の問題、後者は
整数では表現できない値(InfやNaN)がある問題です。これらは分け
て考えましょう。

まず、後者からですが、Rubyではceilなどは整数を返します。それ
に揃えた方がBigDecimalとしての使い勝手が上がるでしょう。つま
り、より他の数値と同様に振る舞う方が望ましいと言う考えです。
特にBigDecimalと概念的に近いFloatではInfやNaNは例外を発生さ
せますから。

前者はBigDecimal#to_iが、文字列化してそれをパースするという
手段を使っているせいです。これは純粋に手抜きですから、それを
改善すればすむと思います。

ということで、リバートの必要はなく、あえていうならば、現在
BigDecimal#to_iがInfやNaNに対してnilを返しているのを例外にす
るという変更を加えるべきなんじゃないかと思います。

                                まつもと ゆきひろ /:|)

遠藤です。

2010年1月28日11:34 Yukihiro Matsumoto <[e-mail]>:
> |  # 巨大な BigDecimal は ceil が取れない
> |  $ ./ruby -rbigdecimal -e 'p BigDecimal("1E100000").ceil'
> |  (巨大な Bignum を確保しようとして固まる...)
> |
> |  # Infinity が混ざるときは自分で対処する必要がある
> |  $ ./ruby -rbigdecimal -e 'p BigDecimal("Infinity").ceil'
> |  -e:1:in `ceil': Computation results to 'Infinity' (FloatDomainError)
> |          from -e:1:in `<main>'
>
> ということで、リバートの必要はなく、

了解しました。


> あえていうならば、現在
> BigDecimal#to_iがInfやNaNに対してnilを返しているのを例外にす
> るという変更を加えるべきなんじゃないかと思います。

Yugui さん、判断をお願いします。

-- 
Yusuke ENDOH <[e-mail]>

• Assignee changed from matz (Yukihiro Matsumoto) to yugui (Yuki Sonoda)

On 1/28/10 8:24 PM, Yusuke ENDOH wrote:
>> ということで、リバートの必要はなく、
(snip)
>> あえていうならば、現在
>> BigDecimal#to_iがInfやNaNに対してnilを返しているのを例外にす
>> るという変更を加えるべきなんじゃないかと思います。
> 
> Yugui さん、判断をお願いします。

両方とも、まつもとさんに賛同します。

-- 
Yugui <[e-mail]>
http://yugui.jp
私は私をDumpする

遠藤です。

2010年1月30日14:02 Yugui (Yuki Sonoda) <[e-mail]>:
> On 1/28/10 8:24 PM, Yusuke ENDOH wrote:
>>> ということで、リバートの必要はなく、
> (snip)
>>> あえていうならば、現在
>>> BigDecimal#to_iがInfやNaNに対してnilを返しているのを例外にす
>>> るという変更を加えるべきなんじゃないかと思います。
>>
>> Yugui さん、判断をお願いします。
>
> 両方とも、まつもとさんに賛同します。

お返事ありがとうございます。
つまり、いずれ 1.9.1 にバックポートされるということですね。
それなら 1.9 からの仕様変更ということで rubyspec を更新しようと思います。

-- 
Yusuke ENDOH <[e-mail]>

2010/1/30 Yusuke ENDOH <[e-mail]>:
> お返事ありがとうございます。
> つまり、いずれ 1.9.1 にバックポートされるということですね。
> それなら 1.9 からの仕様変更ということで rubyspec を更新しようと思います。

仕様のミスは原則的に1.9.1にはバックポートしないことに決めたので、しません。
ただ、これは1.9.1という実装のバグと扱って良いと思います。また、1.9.2から挙動を変更することに異論はないです。

という意図でした。

-- 
Yuki Sonoda (Yugui)
[e-mail]
http://yugui.jp

• Status changed from Open to Rejected

遠藤です。

rubyspec 側で対処したので、このチケットは reject します。

-- 
Yusuke Endoh <[e-mail]>