ruby-dev

成瀬です。

Yukihiro Matsumoto wrote:
> まつもと ゆきひろです
> 
> In message "Re: [ruby-dev:39622] Re: [Bug #2323] "Z".."Z".succが空"
>     on Tue, 3 Nov 2009 22:22:58 +0900, Hiro Asari <asari.ruby@gmail.com> writes:
> 
> 
> |個人的には"Z".succが"AA"であるならば、二つ以上の要素を持つ"Z"から始まるRangeは"AA"を含むべきだと考えます。
> |Rangeを半順序集合に定義するのも可能とは思いますが、特別な動きをする事があるのならば、
> |それは明確に書かれていないと混乱を招くと思います。
> 
> 文字列のRangeについては、
> 
>   * 文字列の順序の定義が複数ある(辞書順とsuccによるもの)
>   * Rangeはsuccを使うが、これは半順序集合でいろいろ面倒
> 
> という事情があります。で、現在、ちょっと中途半端な状態になっ
> てます。最終的な仕様を検討する時間(とやる気)が取れなくて。
> 
> 現状
> 
>   * 両端ともすべてASCII数字である場合には、数的な順序
>   * 両端ともASCII1文字である場合には、ASCII文字コード的な順序
> 
> になってます。で、このいずれにもあてはまらないケースの仕様は
> 正直確定してません。苦労してもあんまり使われなさそうだし。

念のため補足しておきますと、
Range#each のマニュアルには succ を用いると書いてありますが、
String や Symbol の場合は実際には upto を呼んでおり、
String#upto は常には String#succ を呼んでいません。
上記のまつもとさんの説明は String#upto の説明になります。

言い換えると、Range#to_a から Range#eachが呼ばれ、
range_each 経由で String#upto に行っているので、
この問題は以下のように書き換えることが出来ます。

 % ruby19 -ve'"Z".upto("AA"){|x|p x}'
 ruby 1.9.2dev (2009-11-02 trunk 25632) [x86_64-freebsd8.0]

> あとは、ある文字列から別の
> 文字列にsuccの連鎖で到達できるかどうか簡易に判定できるのであ
> れば、それに従って順序を処理すると良いと思うのですけど、でき
> るんだっけか。

ちょっと簡易とは言いづらい気がします。
先の中田さんのパッチだと "0 0" から到達できない "0 00" に対して、
upto が微妙に動いたりしています。
 "0 0".upto("0 00"){|x|p x}

英数の間に非英数がはさまったり、非英数が繰り上がって英数に突入するケースは
なかなか難しいように思います。
一度きっちり考えて文書化しさえすれば、あとは実装するだけではありますが。


代替案として、常に succ を使うようにして、なんとなく動くようにしつつ、
とりあえず確実に停止するようにするという方法もありますかね。
中田さんのパッチはそのような趣旨であるようにみえます。

-- 
NARUSE, Yui  <naruse@airemix.jp>

Thread

Prev Next

In This Thread

Prev Next

[#39604] [Bug #2323] "Z".."Z".succが空 — Hiro Asari <redmine@...>

[#39606] [Feature:trunk] Dir instance methods for relative path — Nobuyoshi Nakada <nobu@...>

[#39626] [Bug #2327] String#upto で beg が非英数の時破壊的変更がその後に影響する — Yui NARUSE <redmine@...>

[#39629] [Bug #2327](Closed) String#upto で beg が非英数の時破壊的変更がその後に影響する — Yui NARUSE <redmine@...>

[#39632] [Feature #2328] malloc_limit の肥大化を防ぎたい — _ wanabe <redmine@...>

[#39635] [Bug #2331] Kernel#system の第一引数が書き換えられる — Kimura Yoshihiro <redmine@...>

[#39636] [Feature #2328] malloc_limit の肥大化を防ぎたい — _ wanabe <redmine@...>

[#39637] [Bug #2334] 大きなFixnumを値にもつHash#hashが呼び出しごとに変わる — Wataru Kimura <redmine@...>

[#39639] [Bug #2335] Windows 環境下の Dir.glob で Segmentation Fault が発生する — Kenta Murata <redmine@...>

[#39641] [Feature #2328] malloc_limit の肥大化を防ぎたい — _ wanabe <redmine@...>

[#39642] [Bug #2338] 大きなFixnumを値にもつHash#hashが呼び出しごとに変わる — Yuki Sonoda <redmine@...>

[#39646] [Bug #2331](Closed) Kernel#system の第一引数が書き換えられる — Usaku NAKAMURA <redmine@...>

[#39650] [Feature #2341] CGIMultipartTest#_read のモードをバイナリモードに — _ wanabe <redmine@...>

[#39653] [Bug #2342] bootstraptest/test_thread.rb がまれに失敗する — _ wanabe <redmine@...>

[#39655] RVALUEからはみ出した領域の大きさに関して — Masanori OTA <ota.m.ac@...>

[#39657] [bug:trunk] Invalid read by ./ruby -v — Tanaka Akira <akr@...>

[#39659] stack area in blocking region with -O0 — Tanaka Akira <akr@...>

[#39660] [Bug:trunk] Enumerator.new {|y| y << 1 << 2 << 3 } — Yusuke ENDOH <mame@...>

[#39662] [Bug #825](Assigned) Gem::Installer#generate_windows_script の引数の順番が他と一致しない — Yui NARUSE <redmine@...>

[#39669] メンテナ確認プロセス終了。メンテナ募集 — "Yugui (Yuki Sonoda)" <yugui@...>

[#39671] [Feature:trunk] hide the internal of anonymous Enumerator — Yusuke ENDOH <mame@...>

[#39679] [Feature #2060] DLをCからRubyに変換する事を勧めます — Aaron Patterson <redmine@...>

[#39680] [Feature #2060] DLをCからRubyに変換する事を勧めます — Yui NARUSE <redmine@...>

[#39681] [Feature #2060](Closed) DLをCからRubyに変換する事を勧めます — Aaron Patterson <redmine@...>

[#39684] [bug:trunk] configure: WARNING: unrecognized options: --with-opt-dir — Tanaka Akira <akr@...>

[#39685] [Feature #2366] private constant — Yusuke Endoh <redmine@...>

[#39687] [Bug:trunk] memory leak of Class#dup — Yusuke ENDOH <mame@...>

[#39690] [Bug #2368] URI.regexp にマッチする文字列が URI.parse できないことがある — Kouhei Yanagita <redmine@...>

[#39691] [Bug #2368](Rejected) URI.regexp にマッチする文字列が URI.parse できないことがある — Yui NARUSE <redmine@...>

[#39692] [Bug #2369] ENV's strange behavior on WinXP — _ wanabe <redmine@...>

[#39693] String#split の第1引数の省略時の値 — "KISHIMOTO, Makoto" <ksmakoto@...4u.or.jp>

[#39694] [Bug #2368] URI.regexp にマッチする文字列が URI.parse できないことがある — Kouhei Yanagita <redmine@...>

[#39696] [Feature #2372] read_all() with buffering — _ wanabe <redmine@...>

[#39697] [Bug #2368] URI.regexp にマッチする文字列が URI.parse できないことがある — Yui NARUSE <redmine@...>

[#39703] [Bug #2373] URI.parse は hier-part が空である URI をパースできない — Kouhei Yanagita <redmine@...>

[#39704] [Bug #2374] URI.regexp('http') が 'http://' にマッチする — Kouhei Yanagita <redmine@...>

[#39709] [Bug #2381] Math.gammaの挙動がx86_64とia64で異なる — Mitsuhiro TAKANO <redmine@...>

[#39714] Net::FTP で upload の resume ができない — Tomoyuki Chikanaga <chikanag@...>

[#39716] ruby 1.9.1p339がtest-allでsegv — akira yamada / やまだあきら <akira@...>

[#39720] hidden objectって? — keiju@... (Keiju ISHITSUKA)

[#39722] NKF の MIME エンコード・デコード — "KISHIMOTO, Makoto" <ksmakoto@...4u.or.jp>

[#39723] [Bug:1.8] Re: Ruby:r25230 (ruby_1_8, trunk): * marshal.c (struct {dump,load}_arg): manage with dfree, instead — Urabe Shyouhei <shyouhei@...>

[#39725] [Bug #2369] ENV's strange behavior on WinXP — Usaku NAKAMURA <redmine@...>

[#39739] [Bug #2369] ENV's strange behavior on WinXP — Usaku NAKAMURA <redmine@...>

[#39740] [Bug #2369] ENV's strange behavior on WinXP — Usaku NAKAMURA <redmine@...>

[#39741] [Bug #2387] test/mkmf/base.rb は RbConfig::CONFIG['cppflags'] が nil のとき例外で止まる — Kenta Murata <redmine@...>

[#39742] [Bug #2388] test-all 中に popen で ruby.exe が落ちる — Kenta Murata <redmine@...>

[#39743] String::gsubにおけるinvalid byte sequenceの検出について — TAKEGAWA Hiroshi <takegawa@...>

[#39744] [Bug #2390] Marshal.dump pass a hidden object — _ wanabe <redmine@...>

[#39751] build error if PTHREAD_STACK_MIN is a function call — Yusuke ENDOH <mame@...>

[#39755] RbConfig.rubybin — Tanaka Akira <akr@...>

[#39757] [Bug #2393] NoMethodError's message change in second time — _ wanabe <redmine@...>

[#39760] [Bug #2395] 可視性の変更による alias されたメソッドの無効化 — _ wanabe <redmine@...>

[#39763] [Bug #2369] ENV's strange behavior on WinXP — Usaku NAKAMURA <redmine@...>

[#39767] [Bug:trunk] cannot call public'ed method via public_method — Yusuke ENDOH <mame@...>

[#39768] [Bug:trunk] race condition of /#{ foo }/o — Yusuke ENDOH <mame@...>

[#39769] require 'dbi' でうまくゆかないときがあります。 — Nobuyuki Inaba <nobuyuki.inaba@...>

[#39771] [Bug #2401] Array splat bug: a=[1,2]; p [*a] #=> [] — Akinori MUSHA <redmine@...>

[#39772] [Bug #2402] super in instance_eval — Shugo Maeda <redmine@...>

[#39789] [Bug #2388] test-all 中に popen で ruby.exe が落ちる — Usaku NAKAMURA <redmine@...>

[#39790] [Bug #2387](Closed) test/mkmf/base.rb は RbConfig::CONFIG['cppflags'] が nil のとき例外で止まる — Nobuyoshi Nakada <redmine@...>

[#39792] [Bug #2405] Test::Unit.runの条件判定が逆? — Sho Hashimoto <redmine@...>

[#39793] Re: [ruby-cvs:32310] Ruby:r25092 (trunk): * win32/win32.c, include/ruby/win32.h (rb_w32_access): new function to — "Yugui (Yuki Sonoda)" <yugui@...>

[#39794] [Bug #2338](Assigned) 大きなFixnumを値にもつHash#hashが呼び出しごとに変わる — Yui NARUSE <redmine@...>

[#39796] バグ? ブロック引数で to_ary が呼ばれる必要のない場面で呼ばれる — keiju@... (Keiju ISHITSUKA)

[#39798] [Bug #2407] numeric literal without digits — Shyouhei Urabe <redmine@...>

[#39810] [Backport #2338](Closed) 大きなFixnumを値にもつHash#hashが呼び出しごとに変わる — Yuki Sonoda <redmine@...>

[ruby-dev:39631] Re: [Bug #2323] "Z".."Z".succが空

Thread

In This Thread

[#39769] require 'dbi'　でうまくゆかないときがあります。 — Nobuyuki Inaba <nobuyuki.inaba@...>