perl 最短マッチについて

以下のコードを実行すると ab が出力されますが理由が分かりません。

if('aabc' =~ /a(.*?)c/){print $1;}

$1の部分は最短マッチなので期待値としては b が帰ってくるべきだと思うのですが、
何故このようなことになるのでしょう。（最短マッチは後方のみ有効?）

暇な方よろしくお願いします。

No.4 回答者： entree 回答日時： 2013/04/24 10:17

他の方も言われていますが、正規表現で文字列を探索するときは、

先頭から行なってマッチした時点で結果を返します。

文字列が'aabc' の場合、まずの１つ目の「a」でマッチするかどうかチェックします。
a ab c ( $1 eq 'ab' )でマッチするのでこれで打ち切りです。
確かに２つ目の「a」でもマッチしますが、そこまでチェックされません。

なので、「最短マッチは後方のみ有効?」ということになります。

ちなみに、期待されている動作にしたい場合は下記のように書く必要があるでしょう。

if('aabc' =~ /a([^a]*?)c/){print $1;}

これなら１つ目の「a」ではマッチしませんから、$1 eq 'b' となります。

No.3 回答者： ORUKA1951 回答日時： 2013/04/23 08:03

あるいは、

$ perl
if('aabc'=~/a([^a]*?)c/){print "$1\n";}
if('aabc'=~/a([^a]*?)c/){print "$1\n";}

要は
if('aabc' =~ /a(.*?)c/){print $1;}
だと、aが見つかった時点で.*にマッチするものを探すという事です。当然aは.に含まれますから、期待通りabが出力される。

if('aabcaabbc' =~ /a(.*)c/){print $1;}
と
if('aabcaabbc' =~ /a(.*?)c/){print $1;}
を比較するとよいかな

No.2 回答者： ORUKA1951 回答日時： 2013/04/23 01:03

私のperlはbが出力されますが？ただし、

if('aabc' =~ /a(.*?)c/){print $1;}
じゃだめ。aがひとつと決めているから

No.1 回答者： Tacosan 回答日時： 2013/04/23 00:13

なるべく文字列の先頭に近い位置でマッチする場合を優先するから.