[ruby-dev:16886] Re: sharing sub-regexp

In article <[e-mail]>,
  "K.Kosako" <[e-mail]> writes:

> すいません。前のメールで置換と書いたのは誤記で、Rubyスクリプト上での参照
> の意味でした。これは正規表現の中で議論する必要はありませんでした。
> 置換というのはどんな機能でしょうか？
> Pythonのマニュアルの中で見付けられなかったので。

String#sub や String#gsub の第2引数の中で capture した文字列を参照する
記法を意図しています。つまり、Rubyスクリプト上での参照の意味です。

Python なら http://www.python.org/doc/current/lib/node99.html#l2h-722
.NET なら http://msdn.microsoft.com/library/en-us/cpgenref/html/cpconsubstitutions.asp
に相当します。

というわけでパターン自体の話ではありません。でも、私はこのへんも考慮し
た上で記法を設計したほうがいいと思っています。Python のように、名前つ
きグループをパターンの中で参照する時は (?=name) で、置換文字列中で参照
する時は \g<name> というように異なるのは覚えにくいと思いますし。

> 再帰は許そうと思っていました。

おぉ、素晴らしいです。

> 検索に関する最適化情報を求める場合には、完全な情報を求める必要はないので、
> 適当な深さで止めればよいのではないかと思います。

なるほど。

> しかし、マッチングが永遠に停止しないような再帰パターンを書かれたときに、
> それを検出することまではやる気が起きませんので、ユーザ自身が注意して書く
> ということでは駄目ですか。

そうすると perl の (??{ code }) で同様のことをやったのと同じ挙動になり
ますね。許容範囲だと思います。

ただ、せっかく perl と違って静的に判断可能なのにぃ、という残念な気持ち
はあります。

> あと、|[^\s\S] (?<non-terminal-1>... というのは、もうちょっと何とかしたい
> 気がします。
> マッチングには関係しないが、名前定義としては有効になるという表記を追加して。
> (具体的には考えていませんが)

lex では header 部分で正規表現に名前をつけて定義できますが、そんな感じ
になるんでしょうかね。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)