Wyrażenie regularne, które pasuje do ciągów znaków z taką samą liczbą liter a, jak z i b jako y

Question

Obecnie pracuję nad książką na temat wyrażeń regularnych, a jednym z problemów praktycznych jest napisanie wyrażenia regularnego pasującego do ciągów znaków, które mają taka sama liczba a, jak z i b, jak y. Wcześniej wypowiadałem następujące regularne wyrażenie.

^(?=[^az]*([az][^az]*[az][^az]*)*$)(?=[^by]*([by][^by]*[by][^by]*)*$).*$ 

Problem polega na tym, że nieprawidłowo mecze gdy A i oo są równe i B i Y są równe (tj AZZZ będzie pasować, ale ma więcej, niż się z tych). Czy istnieje sposób modyfikowania mojego wyrażenia regularnego, aby pasował poprawnie lub czy stosuję niewłaściwe podejście?

Answer 1

W przypadku niektórych silników wyrażeń regularnych można użyć predefiniowanego subroutines do (niezgrabnie) define context-free grammars, chociaż składnia różni się w zależności od silnika i nie jest ustandaryzowana. Obserwować (wciąż niekompletne, ale dotarcie tam):

(?(DEFINE) 
    (?'all'(?&az)|(?&by)|(?&abzy)|(?&bayz)) 
    (?'az'a(?&all)*z|z(?&all)*a) 
    (?'by'b(?&all)*y|y(?&all)*b) 
    (?'abzy' 
     a(?&all)*b(?&all)*z(?&all)*y| 
     a(?&all)*y(?&all)*z(?&all)*b| 
     z(?&all)*b(?&all)*a(?&all)*y| 
     z(?&all)*y(?&all)*a(?&all)*b 
    ) 
    (?'bayz' 
     b(?&all)*a(?&all)*y(?&all)*z| 
     b(?&all)*z(?&all)*y(?&all)*a| 
     y(?&all)*a(?&all)*b(?&all)*z| 
     y(?&all)*z(?&all)*b(?&all)*a 
    ) 
) 

^(?&all)+$ 

Demo on Regex101

Co to jest określenie zestawu podwzorów i stosuje je rekurencyjnie. Korzystanie z kotwic ^ iw rzeczywistym "wzorze" zapewnia, że ​​cały ciąg pasuje do nich. Prostota sama w sobie.

Chociaż, jeśli faktycznie robisz coś takiego w środowisku produkcyjnym, ktoś może cię zastrzelić, kiedy go znajdzie.