匹配回溯

kk861123

以下是perlretut中讲解(?{code})中的一个例子:

1.     $x = "aaaa";
   
2.     $count = 0;  # initialize 'a' count
   
3.     $c = "bob";  # test if $c gets clobbered
   
4.     $x =~ /(?{local $c = 0;})         # initialize count
   
5.            ( a                        # match 'a'
   
6.              (?{local $c = $c + 1;})  # increment count
   
7.            )*                         # do this any number of times,
   
8.            aa                         # but match 'aa' at the end
   
9.            (?{$count = $c;})          # copy local $c var into $count
   
10.           /x;
    
11.     print "'a' count is $count, \$c variable is '$c'\n";

复制代码

结果为

1. 'a' count is 2, $c variable is 'bob'

复制代码

当把

1. (?{local $c = $c + 1;})

复制代码

替换成

1. (?{$c = $c + 1;});

复制代码

，结果为

1.   'a' count is 4, $c variable is 'bob'

复制代码

个人对匹配回溯的问题很模糊，对这个例子来说，大概是匹配从'a'开始，*会依次吃进全部的a，然后碰到最后的'aa'，再回溯到第二个'a'的位置，同时也回溯到 local $c为2的时候，匹配成功。
请教各位我的理解是否恰当，并想知道要了解下perl正则表达式引擎是如何工作的，去哪看？

jason680

你说的应该没错....
加入print实验结果为....
    $x =~ /(?{local $c = 0;}) # initialize count
           ( a # match 'a'
             (?{local $c=$c+1; print "a($c),";}) # increment count
           )* # do this any number of times,
           aa # but match 'aa' at the end
           (?{print "aa($c)\n";$count = $c;}) # copy local $c var into $count
          /x;

#1. 有local
$ perl re_code.pl
a(1),a(2),a(3),a(4),aa(2)
'a' count is 2, $c variable is 'bob'

#2. 没有local,  a*由aaaa回溯为aa,但$c还是等于4(只有一个$c)
$ perl re_code.pl
a(1),a(2),a(3),a(4),aa(4)
'a' count is 4, $c variable is 'bob'

kk861123

ths,LS