Regular Expression(正規表現) Part16

**デフォルトの名無しさん** · 2021/11/03(水) 19:50:01.71

Regular Expressionスレです。

質問する場合は必ず実装言語や処理系ソフトウェア名を示してください。

前スレ
Regular Expression(正規表現) Part15
https://mevius.5ch.net/test/read.cgi/tech/1568640311/

次スレは>>980宜しく
天ぷら等>>2以降

**デフォルトの名無しさん** · 2023/11/28(火) 16:21:19.02

$ perl -e '$a="abc"; $a =~ s/(.*)$/[$1]/g; print $a . "\n"'
[abc][]

$ perl -e '$a="abc"; $a =~ s/(.*$)/[$1]/g; print $a . "\n"'
[abc][]

後ろに$入れても同じ
行末以降の何にマッチしてんのこれ？

**デフォルトの名無しさん** · 2023/11/28(火) 16:22:48.63

Rubyのコードも持ってきた。持ってきただけだから意味は知らん。

ruby -e 're=/(.*)/; puts %Q(abc).sub(re){ %Q([#$1]) }'
[abc]

ruby -e 're=/(.*)/; puts %Q(abc).gsub(re){ %Q([#$1]) }'
[abc][]

**デフォルトの名無しさん** · 2023/11/28(火) 16:44:51.01

ググってみたがperlのそういう”仕様”として定着してるみたいだな
引っかかったことなかったわ

**デフォルトの名無しさん** · 2023/11/28(火) 16:47:59.11

>>968
1回目の.*で文字列全体がマッチ、2回目でNUL文字列にマッチするのは
どの正規表現環境でも同じだと思うよ

**デフォルトの名無しさん** · 2023/11/28(火) 16:49:01.41

0文字と一致させたくなければ.*ではなく.+と書けよ

**デフォルトの名無しさん** · 2023/11/28(火) 16:59:51.73

>>972
Perlの文字列はNull Terminatedされてないよ
/gだとマッチできないか再度確かめるからzero-lengthのempty stringにマッチするんだとさ
でも同じ位置でempty stringに2回はマッチしないようなチェックが入ってるからそこで抜けるんだとさ

個人的にはバグだと思うけどPCRE準拠でみんな作ってるから同じ動きをさせたんだろうね
regex101で試すとRustだけが一般に期待する動作をしてる

**デフォルトの名無しさん** · 2023/11/28(火) 17:02:27.57

/(.*)$/みたいに末尾のアンカー入れても結果変わらないから余計におかしい
^を入れたら当然防げるけど

**デフォルトの名無しさん** · 2023/11/28(火) 17:09:04.46

>>971
探したけど見つからんかった。
どこにあった？ or どうやって探した？
キーワードがわからん

**デフォルトの名無しさん** · 2023/11/28(火) 18:08:10.66

これは長さゼロでマッチした直後に長さゼロにマッチしてposが進まなかったときにマッチを終了するという、頭の悪い正規表現を書くマヌケのために配慮された動作が例外的なんだよ
そのおかげで頭の悪い正規表現を書いても無限ループさせずに済んだことにむしろ感謝するべきだね

**デフォルトの名無しさん** · 2023/11/28(火) 18:30:16.15

（ﾊｸｼｮﾝ！

**デフォルトの名無しさん** · 2023/11/28(火) 19:16:57.98

単に便利だからゼロ幅マッチさせてるん
$str =~ s/()/$1,/g; やってみるといいのん

**デフォルトの名無しさん** · 2023/11/29(水) 13:08:47.77

正規表現検索は失敗しないかぎり終わらないって話では

abcに対して(.*)$が検索される→「abc+末尾」がマッチ、この時点での位置はcの後ろのゼロ幅
残りの部分に対して再度(.*)$が検索される→「ゼロ幅+末尾」がマッチ、cの後ろのゼロ幅が消費される
残りの部分に対して再度(.*)$が検索される→対象を消費しきっているので失敗→検索終了

**デフォルトの名無しさん** · 2023/11/29(水) 14:41:21.44

そういうもんだと思って使ってたわ
それをバグだと思ってる人がいてびっくりぽんや
しかしこういうことに疑問を持つ人は今後伸びるで

**デフォルトの名無しさん** · 2023/11/29(水) 17:53:32.44

>>980
その理屈で言えば1回目で対象を消費しきってるから2回目が失敗するべき

1回目で消費しきっているにも関わらず2回目のゼロ幅マッチが成功するなら3回目のゼロ幅マッチだって成功するはず
そうならないのは対象を消費しきってるかどうかを確認せずにマッチを実施しており最終的には2回連続同一箇所でのゼロ幅マッチという失敗条件に合致してはじかれているから

**デフォルトの名無しさん** · 2023/11/29(水) 18:01:27.70

確かにその通りやな、１度目で消費しきっとるはずや

**デフォルトの名無しさん** · 2023/11/29(水) 18:06:42.76

分かったつもりになってるだけで全然分かってへんのがおるから
ちゃんと本か何かで学習したほうがええで、今までそういう学習をしてへんやろ

**デフォルトの名無しさん** · 2023/11/29(水) 20:04:08.42

/(.*)$(.*)$((.*)$){999}/

**デフォルトの名無しさん** · 2023/11/29(水) 22:25:25.39

>>985
えーと、つまり
・ゼロ幅は消費されない。パーマネントにゼロであり続ける。なので無限にマッチ可能
・無限にマッチ可能→同じゼロ幅に2回連続マッチしたからといってposを進めたり終了するわけではない
てことかな？

2回目以降が発生するかどうかは、、どうなんだろう
前回と完全に同じマッチになるときは試行せず終わる、っぽいけど

**デフォルトの名無しさん** · 2023/12/01(金) 02:37:28.94

sedの基本正規表現と拡張正規表現だとゼロ幅にマッチしないね
元はPerlのバグだったのが仕様ってことになったのでは？

$ printf 'abc' | sed 's/$.*$/[\1]/g'
[abc]

$ printf 'abc' | sed -E 's/(.*)/[\1]/g'
[abc]

**デフォルトの名無しさん** · 2023/12/01(金) 08:09:57.11

/^\w+|$/[$&]/

これが[abc][]になるのはおかしいと感じないよね？
前半が末尾まで食い尽くすから$はマッチしないはずだと思う？

**デフォルトの名無しさん** · 2023/12/02(土) 00:36:44.31

挙動を仕様書で厳密に定義しているJavaScriptではこうなってた
https://tc39.es/ecma262/multipage/text-processing.html#sec-regexp.prototype-@@replace

・1回目のマッチが "abc" すべてを消費する
・2回目のマッチは文字列末尾から始まるけど正規表現が.*なのでマッチングに成功する
　ただし空文字にマッチした場合、先へ進まなくなることを回避するために
　次回開始位置を一つ後ろへずらす処理が入る (12.c.iii.2以下)
　これにより3回目のマッチは文字列の終端+1という範囲外の位置から始まることになり失敗に終わる

**デフォルトの名無しさん** · 2023/12/07(木) 23:24:41.69

KEEPのKはあるのにPが無い、何故？

**デフォルトの名無しさん** · 2023/12/07(木) 23:31:35.71

(?<=uma)musu(?=me) 柿憎い
uma\Kmusu\Pme 柿安い

**デフォルトの名無しさん** · 2023/12/10(日) 09:57:52.47

>>988
思うよ
+の後に$を置けば余計にそう思う

**デフォルトの名無しさん** · 2023/12/10(日) 13:04:54.79

$は「後ろが終端である位置」の指定であって「最後まで全部」という意味ではない
なので.+$で文字列を末尾まで消費した後でも再度末尾のゼロ幅にマッチできることはバグでもなんでもない

**デフォルトの名無しさん** · 2023/12/10(日) 14:15:57.63

実装上のバグではなく仕様バグだろって話をしてるのがわからないのか？

**デフォルトの名無しさん** · 2023/12/10(日) 15:43:26.80

.*と$でマッチするものが異なるのに.*と.*|$でマッチするものが変わらないのは明らかにバクってるな
正規表現のパターンを変えるだけでperlでは[abc][]にも[abc]にもできるのにsedではこのバグのせいで[abc][]には絶対にできなくなってる

$ printf 'abc' | sed -E 's/.*|$/[&]/g'
[abc]

**デフォルトの名無しさん** · 2023/12/10(日) 15:44:52.66

s/バク/バグ/

**デフォルトの名無しさん** · 2023/12/13(水) 11:48:29.08

ただの仕様だよ、あほらし

次スレよろ

**デフォルトの名無しさん** · 2023/12/16(土) 09:00:59.04

次スレ
https://mevius.5ch.net/test/read.cgi/tech/1702684760/

**デフォルトの名無しさん** · 2023/12/16(土) 09:36:31.90

天地無用

**デフォルトの名無しさん** · 2023/12/16(土) 10:49:04.16

>>998
ほめてつかわす

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 772日 14時間 59分 3秒