末尾の条件に忖度してくれたのか

Question

555555555という数字の羅列に、正規表現を使って三桁ごとにコンマを挿入したいとき、
s/(?<=\d)(?=(\d\d\d)+$)/,/
のように記述することで、555,555,555となります。
これは、既に読んだ部分に数字があって、まだ読んでない部分に三つの数字の羅列のカタマリが一つ以上在って且つそれが文の末尾でもあるときにマッチするものです。
ここで疑問なのですが、なぜ、5,555,555,55とならないのでしょうか。後読みの部分は、量指定子が無いため"数字(\d)が一つ"であって数字が一つ"以上"とはならないように思います。
しかし、マッチしたものをみると555,5...と5が三つ並んでいます。指定した文字が一つ以上を意味する「+」が無いのになぜ三つの5のあとにコンマが入ったのだろうと疑問に思っております。

今考える限りだと、位置指定の「$」が指定してあるためコンマから見て末尾が三の倍数の数値でなければならないので量指定子「+」が無くても555,555,555となったのかと推測したのですがどうなのでしょうか。
つまり、末尾に三の倍数個だけ数が無いとマッチしないので、量指定子「+」がないが555,555,555にしてやろうとPCが忖度してくれたのでしょうか。

Answer 1

先頭に ^ がありませんので、正規表現は任意の位置からマッチします。
お察しの通り $ があるため、末尾から3の倍数個の位置にマッチすることになります。

555555555
  ^~~~~~~
  |     |
(?<=\d) `- (?=(\d\d\d)+$)

雑に AA にするとこんな感じです。

Answer 2

肯定後読みと肯定先読みの性質さえ理解すれば
単純に左から評価しているのがわかります
(?<=.)(?=.+$)を使って置換すれば各文字の間にカンマがはいるのがわかりますよね？
何かの文字と何かの文字の間に,を挿入（置換)している

仮に123456789を命題の通り変換するとして
(?<=\d)で1より右側が指示され、(\d\d\d)+で
234、567と評価され89があまります。
(\d\d\d)+$で、ケツまで評価してますから89の2文字ではマッチしません

つぎに23456789に対して2より右側を評価、345、678と評価され9一文字ではマッチしない

つぎに3456789に対して3より右側を評価、456、789と評価されケツが$でマッチします
したがって3の後ろにカンマがきます。

引き続き、4だとNG、5だとNG、6でマッチするので6の後ろにカンマ、その後はマッチしません

Answer 3

(?<=\d)(?=(\d\d\d)+$)
これを基準にして、要素を消します。

(?=(\d\d\d)+$)
555555
↓
,555,555

となります。(数字が3の倍数の個数の場合だけおかしくなる)
つまり、最初の(?<=\d)は、先頭が数字であることを確かめているだけです。

(\d\d\d)+$
これは、末尾$から3つずつ数字\dを数えるというものです。
それを先読みしているので、文字と文字の間がマッチします。

改良しました。末尾が文字でも動くやつ
(?<=\d)(?=(\d\d\d)+([^\d]|$))