Regular Expression(正規表現) Part16

レス数が1000を超えています。これ以上書き込みはできません。
0001デフォルトの名無しさん2021/11/03(水) 19:50:01.71ID:ebAE+z9+
Regular Expressionスレです。

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

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


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

0952デフォルトの名無しさん2023/11/06(月) 06:59:13.82ID:j6L5l5bH
異論はないってことで良いかな、おそらく既知の問題(仕様)だと思われる
この問題に長年気付かないとは考えられないから

本来動くべきサンプルを貼って>>949の件は終了とする

x2("(?:\\k<n>b|(?<n>a))+", "aab", 0, 3); // ERROR: undefined name <n> reference
x2("(?:(?<n>a)|\\k<n>b)+", "aab", 0, 2); // OK

x2("(?:\\1b|(a))+", "aab", 0, 3); // OK
x2("(?:(a)|\\1b)+", "aab", 0, 2); // OK

0953デフォルトの名無しさん2023/11/06(月) 19:00:47.89ID:j6L5l5bH
回避策
x2("(?<n>a){0}(?:\\k<n>b|\\g<n>)+", "aab", 0, 3); // OK

0954デフォルトの名無しさん2023/11/15(水) 17:50:43.57ID:Karf8A+O
文字列の頭に部分一致するパターンなんですが・・・

「abcdefg」にマッチするパターンですが、
/^a(?:b(?:c(?:d(?:e(?:f(?:g)?)?)?)?)?)?/
と書くしかないですか?
文字列が長大な場合、ちょっと無理なんですが・・・
(文字はアルファベットとは限らず)
WindowsのJScriptですが。

0955デフォルトの名無しさん2023/11/15(水) 18:12:27.94ID:ctqB5947
/^abcdefg/

0956デフォルトの名無しさん2023/11/15(水) 18:41:54.66ID:/mJ+eeiZ
無いんじゃないか?
^(?:abcdefg|abcdef|abcde|abcde|abcd|abc|ab|a)
とどっちがマシかな

0957デフォルトの名無しさん2023/11/16(木) 14:47:23.08ID:7i/8qZTv
/^m/ にマッチして map だけマッチして欲しくない
/^m[^a][^p]/ これだと man にマッチしてくれない
どう書けばいいですか

0958デフォルトの名無しさん2023/11/16(木) 14:53:22.83ID:4tHpE5Jq
>>957
否定先読みが使えるなら^m(?!ap)かな?

0959デフォルトの名無しさん2023/11/16(木) 15:59:06.48ID:7i/8qZTv
ありがとう

0960デフォルトの名無しさん2023/11/17(金) 04:25:56.84ID:gwXFy+9L
特定の文字列を検出したい場合、\Q~\Eの~に、その特定の文字列を入れておけば、どんな文字が来ても大丈夫でしょうか?

0961デフォルトの名無しさん2023/11/17(金) 06:13:31.18ID:28WV0iMa
\Eが来ると困る

0962デフォルトの名無しさん2023/11/28(火) 12:33:08.74ID:vIU65Zk5
正規表現スレがいいと聞いてきました
ここがいい正規表現すれですか?

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


なんで後ろにカッコが来るん?
.*に全部マッチするんだから
二個目の[]が来るなんてお菓子にゃん?

0963デフォルトの名無しさん2023/11/28(火) 13:42:04.64ID:EkqG9ePT
perlよく知らんがgとったら消える

0964デフォルトの名無しさん2023/11/28(火) 13:54:45.94ID:uy7CvN4q
推測だが、
1) .*にabcがマッチする -> [abc]
2) .*は0個でもいいので、末尾位置(NUL)にマッチする -> []

0965デフォルトの名無しさん2023/11/28(火) 14:25:52.10ID:uy7CvN4q
2回目は$a=""の場合と同じだと思えばいい
ヌル文字列でも.*だとマッチするでしょ?

0966デフォルトの名無しさん2023/11/28(火) 16:18:10.81ID:vIU65Zk5
>>963
gとったら消える。Rubyも同じらしい。

>>964
[]が出るってことはなにかにマッチしてるってことでしょ?

>>965
それなら最初の.*にもマッチするじゃん?
一回目にマッチしなくて、二回目にマッチする理由がわからんのよ

0967デフォルトの名無しさん2023/11/28(火) 16:18:30.67ID:JJPCdnVt
仮に2回目でマッチする何かがあったとしても
.*はgreedyなんだから1回目で消費してないとお菓子イイ

0968デフォルトの名無しさん2023/11/28(火) 16:20:34.59ID:JJPCdnVt
でもなぁ
バグなら今までこんなん気が付かないはずないと思うからどうなんだろ

0969デフォルトの名無しさん2023/11/28(火) 16:21:19.02ID:vIU65Zk5
$ perl -e '$a="abc"; $a =~ s/(.*)$/[$1]/g; print $a . "\n"'
[abc][]

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

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

0970デフォルトの名無しさん2023/11/28(火) 16:22:48.63ID:vIU65Zk5
Rubyのコードも持ってきた。持ってきただけだから意味は知らん。

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

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

0971デフォルトの名無しさん2023/11/28(火) 16:44:51.01ID:wVUnEJO+
ググってみたがperlのそういう”仕様”として定着してるみたいだな
引っかかったことなかったわ

0972デフォルトの名無しさん2023/11/28(火) 16:47:59.11ID:uy7CvN4q
>>968
1回目の.*で文字列全体がマッチ、2回目でNUL文字列にマッチするのは
どの正規表現環境でも同じだと思うよ

0973デフォルトの名無しさん2023/11/28(火) 16:49:01.41ID:CppHkuHl
0文字と一致させたくなければ.*ではなく.+と書けよ

0974デフォルトの名無しさん2023/11/28(火) 16:59:51.73ID:fB6/42vV
>>972
Perlの文字列はNull Terminatedされてないよ
/gだとマッチできないか再度確かめるからzero-lengthのempty stringにマッチするんだとさ
でも同じ位置でempty stringに2回はマッチしないようなチェックが入ってるからそこで抜けるんだとさ

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

0975デフォルトの名無しさん2023/11/28(火) 17:02:27.57ID:fB6/42vV
/(.*)$/みたいに末尾のアンカー入れても結果変わらないから余計におかしい
^を入れたら当然防げるけど

0976デフォルトの名無しさん2023/11/28(火) 17:09:04.46ID:vIU65Zk5
>>971
探したけど見つからんかった。
どこにあった? or どうやって探した?
キーワードがわからん

0977デフォルトの名無しさん2023/11/28(火) 18:08:10.66ID:waKUlTL5
これは長さゼロでマッチした直後に長さゼロにマッチしてposが進まなかったときにマッチを終了するという、頭の悪い正規表現を書くマヌケのために配慮された動作が例外的なんだよ
そのおかげで頭の悪い正規表現を書いても無限ループさせずに済んだことにむしろ感謝するべきだね

0978デフォルトの名無しさん2023/11/28(火) 18:30:16.15ID:mMoqXMUf
(ハクション!

0979デフォルトの名無しさん2023/11/28(火) 19:16:57.98ID:6l9rHssS
単に便利だからゼロ幅マッチさせてるん
$str =~ s/()/$1,/g; やってみるといいのん

0980デフォルトの名無しさん2023/11/29(水) 13:08:47.77ID:yvH2v9xT
正規表現検索は失敗しないかぎり終わらないって話では

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

0981デフォルトの名無しさん2023/11/29(水) 14:41:21.44ID:lw8jVmFR
そういうもんだと思って使ってたわ
それをバグだと思ってる人がいてびっくりぽんや
しかしこういうことに疑問を持つ人は今後伸びるで

0982デフォルトの名無しさん2023/11/29(水) 17:53:32.44ID:AoutXZD6
>>980
その理屈で言えば1回目で対象を消費しきってるから2回目が失敗するべき

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

0983デフォルトの名無しさん2023/11/29(水) 18:01:27.70ID:lw8jVmFR
確かにその通りやな、1度目で消費しきっとるはずや

0984デフォルトの名無しさん2023/11/29(水) 18:06:42.76ID:lw8jVmFR
分かったつもりになってるだけで全然分かってへんのがおるから
ちゃんと本か何かで学習したほうがええで、今までそういう学習をしてへんやろ

0985デフォルトの名無しさん2023/11/29(水) 20:04:08.42ID:x7bR/xfi
/(.*)$(.*)$((.*)$){999}/

0986デフォルトの名無しさん2023/11/29(水) 22:25:25.39ID:yvH2v9xT
>>985
えーと、つまり
・ゼロ幅は消費されない。パーマネントにゼロであり続ける。なので無限にマッチ可能
・無限にマッチ可能→同じゼロ幅に2回連続マッチしたからといってposを進めたり終了するわけではない
てことかな?

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

0987デフォルトの名無しさん2023/12/01(金) 02:37:28.94ID:07OBAnmr
sedの基本正規表現と拡張正規表現だとゼロ幅にマッチしないね
元はPerlのバグだったのが仕様ってことになったのでは?

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

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

0988デフォルトの名無しさん2023/12/01(金) 08:09:57.11ID:RWimeGTM
/^\w+|$/[$&]/

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

0989デフォルトの名無しさん2023/12/02(土) 00:36:44.31ID:/f7jnFb0
挙動を仕様書で厳密に定義しているJavaScriptではこうなってた
https://tc39.es/ecma262/multipage/text-processing.html#sec-regexp.prototype-@@replace

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

0990デフォルトの名無しさん2023/12/07(木) 23:24:41.69ID:Ug9Hn2aN
KEEPのKはあるのにPが無い、何故?

0991デフォルトの名無しさん2023/12/07(木) 23:31:35.71ID:Ug9Hn2aN
(?<=uma)musu(?=me) 柿憎い
uma\Kmusu\Pme 柿安い

0992デフォルトの名無しさん2023/12/10(日) 09:57:52.47ID:8JqB6SG/
>>988
思うよ
+の後に$を置けば余計にそう思う

0993デフォルトの名無しさん2023/12/10(日) 13:04:54.79ID:t3u5G9tC
$は「後ろが終端である位置」の指定であって「最後まで全部」という意味ではない
なので.+$で文字列を末尾まで消費した後でも再度末尾のゼロ幅にマッチできることはバグでもなんでもない

0994デフォルトの名無しさん2023/12/10(日) 14:15:57.63ID:ayXeZXuA
実装上のバグではなく仕様バグだろって話をしてるのがわからないのか?

0995デフォルトの名無しさん2023/12/10(日) 15:43:26.80ID:e6Tz3fj/
.*と$でマッチするものが異なるのに.*と.*|$でマッチするものが変わらないのは明らかにバクってるな
正規表現のパターンを変えるだけでperlでは[abc][]にも[abc]にもできるのにsedではこのバグのせいで[abc][]には絶対にできなくなってる

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

0996デフォルトの名無しさん2023/12/10(日) 15:44:52.66ID:e6Tz3fj/
s/バク/バグ/

0997デフォルトの名無しさん2023/12/13(水) 11:48:29.08ID:wzNHEkEB
ただの仕様だよ、あほらし

次スレよろ

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

0999デフォルトの名無しさん2023/12/16(土) 09:36:31.90ID:pgUnJUCg
天地無用

1000デフォルトの名無しさん2023/12/16(土) 10:49:04.16ID:faoSWywL
>>998
ほめてつかわす

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

10021002Over 1000Thread
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。

▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login

レス数が1000を超えています。これ以上書き込みはできません。