確かに "" は文字列の先頭に「存在する」と思うことができるから、この仕様でいいと思います。 ちなみに正規表現でも "" は先頭にマッチしますよ