PHPのregexで^$と$^は同じですか？

Question

PHPでコードを書いています。

下記のコード2つのregexは完璧に一致するのでしょうか？

if(preg_match_all('/$^/m',"",$array))

if(preg_match_all('/$^\n$/m',"\n",$array))

Answer 1

$ と ^ はどちらもゼロ幅のメタ文字です。

1回に1文字ずつしか一致しない「.」のようなメタ文字(修飾子なしで使われる場合のみ)とは違い、この種はリテラル文字と一致しません。

だから、regex(区切り文字なし)に2文字あるのに、空ストリングには0文字であっても、^$は空の文字列("")と一致するのです。

また、これは空の文字列に文字がなくても一緒です。始まるポイントと終わるポイントがあることには変わりませんが、この場合文字列は空なので、始まりも終わりも同じ点にあります。よって、^や$の順番や数に関係なく、順列は全て空の文字列と一致するはずです。

二番目のケースの方が若干難しいですが、同じ原理を使って説明することができます。

m修飾子 (PCRE_MULTILINE) は、PCREエンジンに次の指示を出します。「改行の有無に関係なく、文字列全体を一回で送り込むように」という指示です。

しかし、文字列の中には"複数の行"が含まれています。これにより、^と$をそれぞれ"文の始まり"と"文の終わり"というように認識します。

"\n"文字列は、厳密に言えば3パートに分けることができます。 ""と ""\n"" と ""です。

続いて下記のマッチが出てきます。

最初の空の文字列は、開始$^と一致します(上記の通り)
。
\nはregex内の\nと合致します。

2番目の空の文字列は、終了$と一致します。

このようにして、2番目のケースも結果が一致するのです。