php undertsanding vs tham lam nongreedy phù hợp với

Question

này:

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

mang lại cho tôi điều này:

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

Tôi kinda bối rối về việc này. Tôi nhận được rằng nhóm 1 là cho tôi một chuỗi rỗng, bởi vì nó là một trận đấu lười biếng. Nhưng không nên (bar)? được tham lam và do đó cho tôi chụp nhóm 2?

Có vẻ hợp lý với tôi rằng những gì tôi nên được nhận là

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

nơi [1] là một không gian. Chưa hết .. điều này không xảy ra. Tại sao?

Answer 1

Câu trả lời ở đây đáng ngạc nhiên là đơn giản. Nhóm đầu tiên không khớp với nhau (vào lần đầu tiên), thậm chí không phải là không gian. Nhóm thứ hai cố gắng khớp không gian với "bar", tất nhiên là không thành công. Nếu có bất kỳ thứ gì phía sau mà HAS khớp, động cơ sẽ quay lại và mở rộng nhóm chụp đầu tiên để phù hợp với không gian. Nhưng nó hoàn toàn tốt đẹp như bây giờ (nhóm thứ hai thực sự có thể được emtpy), vì vậy nó chỉ ở lại theo cách đó.

Để sản xuất những gì bạn mong đợi, hãy thử này:

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

---

Trong chỉnh sửa của bạn, bạn có thêm một nhóm chụp. (. *) bây giờ là 2. Nó phù hợp cho đến khi kết thúc của chuỗi, như bạn nghĩ nó sẽ. Vì vậy, bạn đang ở ngay trên đó, bạn chỉ cần thay đổi ví dụ ^^

Answer 2

Không, hành vi này là chính xác. Từ documentation on lazy matching:

nếu một lượng hóa được theo sau bởi một dấu hỏi, sau đó nó trở nên lười biếng, và thay vào đó phù hợp với số lần tối thiểu có thể

Kể từ (bar)? là không bắt buộc, (.*?) không cần phải khớp với bất kỳ thứ gì để biểu thức chính quy thành công. Vì khoảng cách giữa foo và thanh không được chụp, biểu thức không thể tiếp tục và khớp với thanh.

Answer 3

Mục nhập '0' luôn là kiểu đối sánh đầy đủ trong trường hợp này là foo. Tuy nhiên, Nhóm kết hợp đầu tiên sẽ không khớp với *. Nhóm thứ hai là tùy chọn.