正規表現で検索パターンを空("//")にした場合、何にマッチしているのか？

Question

質問内容
PCRE(Perl互換正規表現)を検索パターンとして受け取る関数を呼び出すとき、
検索パターンを「"//"」とした場合、正規表現として何にマッチすると説明できるのでしょか？

質問の詳細
PHPマニュアルの「preg_split」の使用例に、文字列を文字要素に分割する例があります。
preg_split — 正規表現で文字列を分割する

このコードでは、検索パターンとして「"//"」を渡しています。
正規表現を記述する際("/pattern/")のpatternを空にすると正確には何にマッチしているのでしょうか。

検証コード1

<?php
$arr = preg_split("//", "abc", NULL, PREG_SPLIT_NO_EMPTY);
print_r($arr);

出力結果1

Array
(
    [0] => a
    [1] => b
    [2] => c
)

一見文字の間にマッチしているように見えます。
しかし、フラグとして「PREG_SPLIT_NO_EMPTY」を指定しない場合、次の結果になります。

検証コード2

<?php
$arr = preg_split("//", "abc", NULL);
print_r($arr);

出力結果2

Array
(
    [0] => 
    [1] => a
    [2] => b
    [3] => c
    [4] => 
)

前後に空要素があり、PREG_SPLIT_NO_EMPTYにより削除されていたようです。

ここで、疑問なのですが前後の要素は何によって区切られた結果なのでしょうか？

検証として同じ正規表現を使用できる「preg_replace」で対象となった区切りを
文字に置き換えてみました。

検証コード3

<?php
$str = preg_replace("//", "-", "abc");
print($str);

出力結果3

-a-b-c-

この結果から、preg_splitの処理として前後の空要素が追加されたのではなく、
文字の間以外に、文字列の前後にもマッチしています。
これはマッチ処理の実装の結果なのか、正規表現として処理結果なのでしょうか？

Answer 1

「空文字列」にマッチします。
結果的に、文字列先頭、文字列末尾、文字の間、にマッチすることになります。

Comments

[StupidDog]

回答ありがとうございます。

「空文字列(くうもじれつ)」を初めて知りました。
正規表現の考えで「何も文字を含まない文字列」と言うことですね。

これで、明確に何にマッチングさせているかを説明できます。