From: Kenta Murata <muraken@...>
Date: 2011-04-21T11:37:36+09:00
Subject: [ruby-dev:43408] Re: [Ruby 1.9 - Bug #4591][Open] (1.5...2).max #=> 1 (Range#max)

むらたです。

test_range.rb の test_max を見てみました。

assert_equal(2, (1..2).max)
assert_equal(nil, (2..1).max)
assert_equal(1, (1...2).max)

assert_equal(2.0, (1.0..2.0).max)
assert_equal(nil, (2.0..1.0).max)
assert_raise(TypeError) { (1.0...2.0).max }

assert_equal(-0x80000002, ((-0x80000002)...(-0x80000001)).max)

assert_equal(0, (0..0).max)
assert_equal(nil, (0...0).max)

こうしてみると、以下の仕様に一貫性がないように感じます。

assert_equal(nil, (2..1).max)
assert_equal(nil, (2.0..1.0).max)
assert_raise(TypeError) { (1.0...2.0).max }

次の、tarui さんによる追加は一貫性が無い方に分類できると思います。

assert_raise(TypeError) { (1.5...2).max }
assert_raise(TypeError) { (1...1.5).max }


Range#max の明確な定義が必要ですよね。
既に決まっているなら良いのですが、少なくとも RDoc には

Returns the maximum value in <i>rng</i>. The second uses
the block to compare values. Returns nil if the first
value in range is larger than the last value.

このようにしか書かれていませんから、明確に定義されてるようには思えません。

Range は Enumerable を include しているので Range#max は Enumerable#max なんだと思います。
そうすると、Range#each が下限が succ をサポートする事を要請しているので、
下限が Float だったら有無を言わさず TypeError になるべきです。従って、

assert_equal(nil, (2.0..1.0).max)

このアサーションは間違っていることになります。

また、上限が succ をサポートしている必要は無いようですから、
tarui さんが追加しようとしている

assert_raise(TypeError) { (1...1.5).max }

これも間違っています。TypeError ではなく 1 を返すはずです。


On 2011年4月21日木曜日 at 8:55, KOSAKI Motohiro wrote:


> わたしRubyをまったく知らないんですけど、rangeに対するmaxってようするに
> 
> 1) rangeの範囲に収まる整数値をすべて取り出す
> 2) その集合に対して、最大の数値を取り出す
> 

数値範囲の最大値を求めるだけなら下限が succ をサポートしている必要はないので、
小崎さんが言うように数値範囲を適切に扱いたくなるのはとても共感できます。
しかし、数値範囲としての振る舞いを考えようとすると範囲の下限が Float や BigDecimal
のような inexact 数の場合に難しくなります。

Float と BigDecimal は、それ自身が有限の広がりを持っているので、
範囲の境界がぼやけてしまいます。ですから

assert_raise(TypeError) { (1.0...2.0).max }

この振る舞いが正しいかどうか決めるためには、
整数の 1 (つまり 1 以外の何者でもない) が 1.0 ... 2.0 の範囲に含まれるかどうかを
定義する必要があります。

Float の 1.0 は、C の double が IEEE754倍精度の場合、半開区間 [1, 1 + 1/2^51) に含まれる
すべての実数を代表する数なので、範囲 1.0 ... 2.0 に整数 1 が含まれるかどうかは
基本的には文脈依存でしか判断できない問題になります。

# リテラルの 1.0 は基本的に 1 と等しいんでしょうけど、
# 何らかの計算過程で得られた 1.0 が 1 と等しいかどうかは値だけでは判断できませんから。

-- 
Kenta Murata
Sent with Sparrow