[ruby-dev:41254] Re: Regexpの仕様について

成瀬です。

(2010/05/10 20:39), Masaya TARUI wrote:
> 2010年5月10日13:23 Tanaka Akira<[e-mail]>:
>> 2010年5月10日12:36 Masaya TARUI<[e-mail]>:
>>>
>>> [ruby-dev:41246] からで、Regexpの仕様についてですが、どこをみればいいのか分からず、
>>> 以下について仕様なのかバグなのか判断が付きません。
>>
>> 現状、Regexp.union は後方参照を考慮していません。
>>
>> 私の知る限り、それを考慮するようにする計画はありません。
>>
>> それを考慮するには、少なくても正規表現の中身をある程度理解しないといけない
>> ので、なかなかたいへんな気がします。
> 
> 計画はないとして、仕様なのでしょうか？バグなのでしょうか？
> 
> 1) バグである。がWONTFIXもしくはパッチ歓迎?
> =>  バグのままリリースする(している)ならドキュメントに注釈
> 
> 2) 後方参照を許さないのが仕様
> =>  ドキュメントバグ。さらに後方参照を含む時に例外を出すべき？
> 
> 3) 後方参照が入ると動作未定義が仕様
> =>  ドキュメントバグ
> 
> 前述しましたが個人的には1が好ましいと思っています。

結論から言えば 3) かと思います。
そもそもの「MRI の仕様」とは何かというのは難しい問題だと思いますが、
コードや rdoc の背景にある意図としましょうか。
その場合、「特に意図はないが現状はそうなっている」なので翻訳すると、
「動作未定義」になるような気もします。
もっとも、実装互換性もたまに考慮したりするので、今の変な動きが
「仕様」と言えなくもありません。

一方で、MRI の場合動作未定義に対しては仕様バグであるという主張が通りやすい
気もするので、1) に近い場合もあります。(実装互換性を守る必要がなさそうな場合)

今回の場合、誰かがそれっぽいユースケースとパッチを用意すれば、
1.9.3 から変わるというのはありそうな話です。

-- 
NARUSE, Yui  <[e-mail]>