php undertsanding vs. avido nongreedy corrispondenza

Question

questo:

preg_match('~foo(.*?)(bar)?~','foo bar',$m); 

mi dà questo:

Array 
(
    [0] => foo 
    [1] => 
) 

Sono un po 'confuso su questo. Ho capito che il gruppo 1 mi sta dando una stringa vuota, perché è una partita pigra. Ma non dovrei (bar)? essere goloso e quindi darmi il gruppo di cattura 2?

mi sembra ragionevole che quello che dovrei essere preliminari è

Array 
(
    [0] => foo 
    [1] => 
    [2] => bar 
) 

dove [1] è uno spazio. Eppure ... non sta succedendo. Perché?

Answer 1

La risposta qui è sorprendentemente semplice. Il primo gruppo non corrisponde a nulla (al primo passaggio), nemmeno lo spazio. Il secondo gruppo cerca di abbinare lo spazio con "bar", che, naturalmente, fallisce. Se ci fosse qualcosa dietro a ciò che HAS doveva corrispondere, il motore ora tornerebbe indietro ed espanderebbe il primo gruppo di cattura per abbinarlo allo spazio. Ma è perfettamente a posto ora (il secondo gruppo in realtà può essere emtpy), quindi rimane così.

per produrre ciò che ci si aspetta, provate questo:

preg_replace('~foo(.*?)(bar)?_~', 'foo bar_', $m); 

---

In tua modifica, si è aggiunto un altro gruppo di cattura. (. *) ora è 2. Si abbina alla fine della stringa, come pensavate. Quindi hai ragione su quello, hai appena cambiato l'esempio ^^

Answer 2

No, questo comportamento è corretto. Dal documentation on lazy matching:

se un quantificatore è seguito da un punto interrogativo, allora diventa pigro, e invece corrisponde al numero minimo di volte possibili

Dal (bar)? è facoltativo, (.*?) non lo fa è necessario abbinare qualsiasi cosa affinché l'espressione regolare abbia successo. Poiché lo spazio tra foo e bar non è stato catturato, l'espressione non può continuare e corrisponde a bar.

Answer 3

Entry '0' è sempre pieno gli abbinamenti che in questo caso è foo. Tuttavia, il primo gruppo corrispondente non corrisponde a nulla come * usato. Il secondo gruppo è facoltativo.