## Assertions

Une assertion est un test sur les caractères suivants ou précédents celui qui est en cours d'étude. Ce test ne consomme pas de caractères (ie, on ne déplace pas le pointeur de caractères). Les assertions simples sont codées avec `\b`, `\B`, `\A`, `\Z`, `\z`, `^` et `$`, et sont décrites dans les séquences d'échappement. Il existe cependant des types d'assertions plus complexes, codées sous la forme de sous-masques. Il en existe deux types : celles qui travaillent au-delà de la position courante, et celles qui travaillent en-deçà.

Une assertion se comporte comme un sous-masque, hormis le fait qu'elle ne déplace pas le pointeur de position. Les assertions avant commencent par `(?=` pour les assertions positives, et par `(?!`, pour les assertions négatives. Par exemple : `\w+(?=;)` s'assure qu'un mot est suivi d'un point-virgule, mais n'inclut pas le point virgule dans la capture et `foo(?!bar)` trouve toutes les occurrences de "foo" qui ne sont pas suivies par "bar". Notez que, `(?!foo)bar` en est proche, mais ne trouve pas une occurrence de "`bar`" qui soit précédée par quelque chose d'autre que "`foo`"; il trouve toutes les occurrences de "`bar`", quel que soit ce qui le précède, car l'assertion `(?!foo)` est toujours vraie quand les trois caractères suivants sont "`bar`". Une assertion arrière est ici nécessaire.

Les assertions arrières commencent par `(?<=` pour les assertions positives, et `(?<!` pour les assertions négatives. Par exemple : `(?<!foo)bar` trouve les occurrences de "`bar`" qui ne sont pas précédées par "`foo`". Le contenu d'une référence arrière est limité de telle façon que les chaînes qu'il utilise soient toujours de la même taille. Cependant, lorsqu'il y a plusieurs alternatives, elles n'ont pas besoin d'être de la même taille. Par exemple, `(?<=bullock|donkey)` est autorisé, tandis que `(?<!dogs?|cats?)` provoque une erreur de compilation. Les alternatives qui ont des longueurs différentes ne sont autorisées qu'au niveau supérieur des assertions arrière. C'est une amélioration du fonctionnement de Perl 5.005, qui impose aux alternatives d'avoir toute la même taille. Une assertion telle que `(?<=ab(c|de))` n'est pas autorisée, car l'assertion de bas niveau (la deuxième, ici) a deux possibilités de longueurs différentes. Pour la rendre acceptable, il faut écrire `(?<=abc|abde)` L'implémentation des assertions arrière déplace temporairement le pointeur de position vers l'arrière, et cherche à vérifier l'assertion. Si le nombre de caractères est différent, la position ne sera pas correcte, et l'assertion échouera. La combinaison d'assertions arrière avec des sous-masques peut être particulièrement pratique à fin des chaînes. Un exemple est donné à la fin de cette section.

Plusieurs assertions peuvent intervenir successivement. Par exemple, le masque `(?<=\d{3})(?<!999)foo` recherche les chaînes "`foo`" précédées par trois chiffres qui ne sont pas "999". Notez que chaque assertion est appliquée indépendamment, au même point de la chaîne à traiter. Tout d'abord, il est vérifié que les trois premiers caractères ont tous des chiffres, puis on s'assure que ces trois caractères ne sont pas "`999`". Le masque précédant n'accepte pas "`foo`" précédé de 6 caractères, les trois premiers étant des chiffres et les trois suivants étant différents de "`999`". Par exemple, ce masque n'acceptera pas la chaîne "`123abcfoo`". Pour ce faire, il faut utiliser le masque suivant : `(?<=\d{3}...)(?<!999)foo`.

Dans ce masque, la première assertion vérifie les six premiers caractères, s'assure que les trois premiers sont des entiers, et la deuxième assertion s'assure que les trois derniers caractères ne sont pas "`999`".

De plus, les assertions peuvent être imbriquées : `(?<=(?<!foo)bar)baz` recherche les occurrences de "`baz`" qui sont précédées par "`bar`", qui, à son tour, n'est pas précédé par "`foo`". Au contraire, `(?<=\d{3}...(?<!999))foo` est un autre masque, qui recherche les caractères "`foo`", précédés par trois chiffres, suivis de trois autres caractères qui ne forment pas "`999`".

Les assertions ne sont pas capturantes, et ne peuvent pas être répétées. Si une assertion contient des sous-masques capturants en son sein, ils seront compris dans le nombre de sous-masques capturants du masque entier. La capture est réalisée pour les assertions positives, mais cela n'a pas de sens pour les assertions négatives.

200 assertions au maximum sont autorisées.