Afirmações

Uma afirmação é um teste nos caracteres posteriores ou anteriores ao ponto atual de correspondência que efetivamente não consome nenhum caractere. As afirmações simples codificadas como \b, \B, \A, \Z, \z, ^ e $ estão descritas na seção sobre sequências de escape. Afirmações mais complexas são codificadas como sub-expressões. Existem dois tipos: aquelas que olham para frente da posição atual na string de entrada e aquelas que olham para trás dela.

Uma sub-expressão de afirmação é correspondida da maneira usual, exceto que ela não faz com que a posição atual de correspondência seja alterada. Afirmações que olham para frente iniciam com (?= para afirmações positivas e com (?! para afirmações negativas. Por exemplo, \w+(?=;) corresponde a uma palavra seguida por ponto-e-vírgula, mas não inclui o ponto-e-vírgula na correspondência, e foo(?!bar) corresponde a qualquer ocorrência de "foo" que não seja seguida por "bar". Observe que a expressão aparentemente similar (?!foo)bar não encontra uma ocorrência de "bar" que seja precedida por algo além de "foo"; ela encontra qualquer ocorrência de "bar" de todo modo, porque a afirmação (?!foo) é sempre true quando os três próximos caracteres são "bar". Uma afirmação que olha para trás é necessária para conseguir este efeito.

Afirmações que olham para trás iniciam com (?<= para afirmações positivas e (?<! para afirmações negativas. Por exemplo, (?<!foo)bar encontra uma ocorrência de "bar" que não seja precedida por "foo". O conteúdo de uma afirmação que olha para trás é restrito de modo que todas as strings às quais ela corresponde precisam ter um comprimento fixo. No entanto, se houver várias alternativas elas não precisam ter todas o mesmo comprimento fixo. Assim, (?<=bullock|donkey) é permitido, mas (?<!dogs?|cats?) causa um erro no momento da compilação. Ramos que correspondem a strings de comprimento diferente são permitidas somente no nível mais alto de uma afirmação que olha para trás. Isto é uma extensão quando comparado com o Perl 5.005, que requer que todos os ramos correspondam ao mesmo comprimento de string. Uma afirmação como (?<=ab(c|de)) não é permitida, porque seu ramo único no nível mais alto pode corresponder a dois comprimentos diferentes, mas é aceitável se for re-escrita para usar dois ramos no nível mais alto: (?<=abc|abde) A implementação de afirmações que olham para trás é, para cada alternativa, mover temporariamente a posição atual para trás pela largura fixa e então tentar a correspodência. Se houver caracteres insuficientes antes da posição atual, a correspondência falhará. Afirmações que olham para trás em conjunção com sub-expressões de ocorrência única podem ser particularmente úteis para ter correspondência nos finais de strings; um exemplo é mostrado no final da seção sobre sub-expressões de ocorrência única.

Várias afirmações (de qualquer tipo) podem ocorrer sucessivamente. Por exemplo, (?<=\d{3})(?<!999)foo corresponde a "foo" precedida por três dígitos que não são "999". Note que cada afirmação é aplicada independentemente no mesmo ponto da string de entrada. Primeiro é verificado se os três caracteres anteriores são todos dígitos e depois é verificado se os mesmos três caracteres não são "999". Esta expressão não corresponde a "foo" precedida por seis caracteres, os primeiros três dos quais são dígitos e os últimos três deles não são "999". Por exemplo, ela não corresponde a "123abcfoo". Uma expressão para fazer isso é (?<=\d{3}...)(?<!999)foo

Agora a primeira afirmação olha para os seis caracteres precedentes, verificando se os primeiros três são dígitos e depois a segunda afirmação verifica se os três caracteres precedentes não são "999".

Afirmações podem ser aninhadas em qualquer combinação. Por exemplo, (?<=(?<!foo)bar)baz corresponde a uma ocorrência de "baz" que é precedida por "bar" que por sua vez não é precedida por "foo", enquanto que (?<=\d{3}...(?<!999))foo é outra expressão que corresponde a "foo" precedida por três dígitos e quaisquer três caracteres que não sejam "999".

Sub-expressões de afirmação não são sub-expressões de captura, e podem não ser repetidas, porque não faz sentido afirmar a mesmo coisa várias vezes. Se qualquer tipo de afirmação coniver sub-expressões de captura dentro dela, estas são contadas para os propósitos de numeração dos grupos de captura em toda a expressão. Porém, a captura de substring acontece somente para afirmações positivas, porque não faz sentido para afirmações negativas.

Afirmações contam até o máximo de 200 sub-expressões entre parênteses.