Un Grup Atomic (scris cu sintaxa (?>pattern)) este o structură de grupare specială care izolează o porțiune din șablon: odată ce textul din interiorul grupului s-a potrivit cu succes, toate punctele interne de revenire (backtrack points) sunt aruncate ireversibil. Dacă restul expresiei regulare de după grupul atomic eșuează, motorul nu va încerca niciodată să reintre în grupul atomic pentru a căuta variante alternative.
// Text de test: "abc"
// Șablon standard (fără grup atomic): (a|ab)c
// 1. Prima ramură 'a' se potrivește. Motorul salvează un punct de revenire la 'ab'.
// 2. Urmează 'c' din șablon, dar în text este 'b' -> Nepotrivire!
// 3. Backtracking: Motorul revine și încearcă a doua ramură 'ab'.
// 4. 'ab' se potrivește, apoi 'c' se potrivește -> Succes!
// Șablon cu Grup Atomic: (?>a|ab)c
// 1. Prima ramură 'a' se potrivește.
// 2. GRUPUL SE ÎNCHIDE: Punctul de revenire la 'ab' este ȘTERS DIN MEMORIE!
// 3. Urmează 'c', dar în text este 'b' -> Nepotrivire!
// 4. Deoarece nu mai există puncte de revenire salvate, meciul eșuează imediat!Relația dintre Grupurile Atomice și Cuantificatorii Posesivi
Cuantificatorii posesivi sunt de fapt o prescurtare sintactică pentru un grup atomic care conține un cuantificator lacom. Următoarele două expresii sunt 100% identice ca logică de execuție:
\d++ # Cuantificator posesiv
(?>\d+) # Grup atomic echivalentCaz Practic de Producție: Parsarea Sigură a Antetelor HTTP
Dacă validați antete de tipul Nume-Antet: Valoare, o expresie simplă (?>[a-zA-Z0-9-]+): previne scanările repetitive inutile atunci când textul conține zeci de mii de caractere fără două puncte (:) la final.