&Anders.Lund; &Anders.Lund.mail;
&traducteurJoelleCornavin;

# Expressions rationnelles

    Cette annexe contient une introduction brève mais, nous l'espérons, suffisante et
    complète à l'univers des expressions rationnelles. Elle
    documente les expressions rationnelles sous la forme disponible dans &kate;, qui
    n'est pas compatible avec les expressions rationnelles de Perl ni avec celles par exemple de
    grep.

## Introduction

Les expressions rationnelles offrent un moyen de décrire certains contenus possibles d'une chaîne de texte d'une manière comprise par une petite partie de logiciel, de sorte qu'il peut examiner si une chaîne correspond et, également dans le cas d'applications avancées, avec la possibilité d'enregistrer certaines parties ou le texte correspondant.

Un exemple : supposons que vous vouliez rechercher dans un texte des paragraphes qui commencent par l'un des noms « Henri » ou « Pernille » suivi d'une certaine forme du verbe « dire ».

Lors d'une recherche normale, vous commenceriez par rechercher le premier nom, « Henri », éventuellement suivi de « di » comme ceci : `Henri di` et tout en cherchant des correspondances, vous auriez à écarter celles qui ne sont pas au début d'un paragraphe, ainsi que celles dans lesquelles le mot commençant par les lettres « di » n'était ni « dit », « disait » ou similaire. Puis, naturellement à répéter tout cela avec le nom suivant...

Grâce aux expressions rationnelles, ce pourrait être chose faite en une seule recherche et avec un degré de précision supérieur.

Pour ce faire, les expressions rationnelles définissent des règles pour spécifier en détail la généralisation d'une chaîne à faire correspondre. Notre exemple, que nous pourrions littéralement exprimer ainsi : « une ligne commençant soit par « Henri », soit par « Pernille » (en suivant le cas échéant jusqu'à 4 blancs ou tabulations) suivie d'une espace, suivie de « di », puis soit de « t » soit de « sait » », pourrait être spécifiée par l'expression rationnelle suivante :

`^[ \t]{0,4}(Henri|Pernille) di(t|sait)`

L'exemple ci-dessus démontre la totalité des quatre concepts majeurs des expressions rationnelles modernes, à savoir :

- Motifs

- Assertions

- Quantificateurs

- Références arrière

Le signe (`^`) commençant l'expression est une assertion, qui n'est vraie que si la chaîne correspondante suivante est au début d'une ligne.

Les chaînes « `[ \t]` » et « `(Henri|Pernille) di(t|sait)` » sont des motifs. Le premier est une classe de caractères qui correspond soit à un blanc, soit à une tabulation (horizontale) ; l'autre motif contient d'abord un sous-motif correspondant soit à « `Henri` » soit à « `Pernille` », puis un élément correspondant à la chaîne exacte « `di` » et, pour finir, un sous-motif correspondant soit à « `t` » soit à « `sait` ».

La chaîne `{0,4}` est un quantificateur indiquant « n'importe quel endroit de 0 à 4 de la précédente ».

Du fait qu'un logiciel d'expressions rationnelles prenant en charge le concept de références arrière enregistre la partie entière correspondante de la chaîne ainsi que des sous-modèles entourés de parenthèses, ce qui fournit un moyen d'accès à ces références, nous pourrions obtenir soit l'entière correspondance (lors de la recherche d'un document texte dans un éditeur avec une expression rationnelle qui est souvent marquée comme sélectionnée), soit le nom trouvé, soit la dernière partie du verbe.

Tout compte fait, l'expression correspondra là où nous le voulions, et seulement là.

Les sections suivantes vont décrire en détail la manière de construire et d'utiliser des motifs, des classes de caractères, des assertions, des quantificateurs et des références arrière ; la dernière section donnera quelques exemples utiles.

## Motifs

Les motifs consistent en chaînes littérales et en classes de caractères. Les motifspeuvent contenir des sous-motifs, qui sont des motifs entourés de parenthèses.

### Échapper des caractères

Dans les motifs ainsi que dans les classes de caractères, certains caractères ont une signification particulière. Pour faire correspondre littéralement n'importe lequel de ces caractères, ils doivent être marqués ou échappés pour faire savoir au logiciel d'expressions rationnelles qu'il devra interpréter de tels caractères dans leur signification littérale.

Ceci est effectué en ajoutant au début du caractère une barre oblique inverse (`\`).

Comme le logiciel d'expressions rationnelles ignorera silencieusement l'échappement d'un caractère qui n'a aucune signification spéciale dans le contexte, l'échappement par exemple d'un « j » (`\j`) est fiable. Si vous doutez qu'un caractère puisse avoir une signification spéciale, vous pouvez donc l'échapper en toute sécurité.

L'échappement de la cause inclut le caractère barre oblique inverse lui-même, pour obtenir une telle correspondance, vous devrez écrire `\\`.

### Classes de caractères et abréviations

Une classe de caractères est une expression qui correspond à l'un des ensembles définis de caractères. Dans les expressions rationnelles, les classes de caractères sont définies en plaçant les caractères licites de la classe entre crochets, `[]`, ou en utilisant une des classes abrégées décrites ci-dessous.

Les classes de caractères simples contiennent juste un ou plusieurs caractères littéraux, par exemple `[abc]` (correspondant soit aux lettres « a », « b » soit à « c »), soit à `[0123456789]` (correspondant à n'importe quel chiffre).

Du fait que lettres et chiffres ont un ordre logique, vous pouvez les abréger en en spécifiant des plages : `[a-c]` est égal à `[abc]` et `[0-9]` est égal à `[0123456789]`. La combinaison de ces structures (constructs), par exemple `[a-fynot1-38]` est totalement licite (le dernier correspondrait bien sûr soit à « a », « b », « c », « d », « e », « f », « y », « n », « o », « t », « 1 », « 2 », « 3 », soit à « 8 »).

Comme les majuscules sont des caractères différents de leurs équivalents en minuscules, pour créer une classe de caractères sans casse correspondant à un « a » ou à un « b », de toute façon, vous devez l'écrire `[aAbB]`.

Il est bien sûr possible de créer une classe « négative » correspondant à « tout sauf ». Pour placer un caractère (`^`) au début de la classe :

`[^abc]`correspondra à n'importe quel caractère sauf à « a » ,« b » ou « c ».

En plus des caractères littéraux, certaines abréviations sont définies, ce qui facilite encore un peu plus les choses :

`\a`

  Correspond au caractère ASCII du bip (BEL, 0x07).

`\f`

  Correspond au caractère ASCII de saut de page (FF, 0x0C).

`\n`

  Correspond au caractère ASCII de retour à la ligne (LF, 0x0A, interligne Unix).

`\r`

  Correspond au caractère ASCII de retour chariot (CR, 0x0D).

`\t`

  Correspond au caractère ASCII de tabulation horizontale (HT, 0x09).

`\v`

  Correspond au caractère ASCII de tabulation verticale (VT, 0x0B).

`\xhhhh`

  Correspond au caractère Unicode équivalant au nombre hexadécimal hhhh (entre 0x0000 et 0xFFFF). \0ooo (&cad;, \zéro ooo) correspond au caractère ASCII/Latin-1 équivalant au nombre octal ooo (entre 0 et 0377).

`.` (point)

  Correspond à n'importe quel caractère (dont le saut de ligne).

`\d`

  Correspond à un chiffre. Égal à `[0-9]`.

`\D`

  Correspond à un caractère autre qu'un chiffre. Égal à `[^0-9]` ou à `[^\d]`.

`\s`

  Correspond à un caractère d'espacement. Pratiquement égal à `[\t\n\r]`.

`\S`

  Correspond à un caractère autre qu'un caractère d'espacement. Pratiquement égal à `[^ \t\r\n]` et égal à`[^\s]`.

`\w`

  Correspond à n'importe quel « caractère mot » — dans ce cas, une lettre ou un chiffre quelconque. Notez que le soulignement (`_`) n'est pas concordant comme c'est le cas avec les expressions rationnelles Perl. Égal à `[a-zA-Z0-9]`.

`\W`

  Correspond à n'importe quel caractère autre qu'un mot - à n'importe quoi sauf des lettres ou des nombres. Égal à `[^a-zA-Z0-9]` ou `[^\w]`.

Les classes abrégées peuvent être placées à l'intérieur d'une classe personnalisée, par exemple pour correspondre à un caractère mot, un blanc ou un point, vous pourriez écrire `[\w \.]`.

La notation POSIX des classes, `[:<nom classe>:]` n'est actuellement pas prise en charge.

#### Caractères ayant des significations particulières à l'intérieur des classes de caractères

Les caractères suivants ont une signification spéciale à l'intérieur de la structure (construct) de classe de caractères « [ ] » et doivent être échappés pour être littéralement inclus dans une classe :

`]`

  Termine la classe de caractères. Doit être échappé à moins qu'il ne soit le tout premier caractère dans la classe (peut suivre un caret ^ non échappé).

`^` (caret)

  Désigne une classe négative s'il s'agit du premier caractère. Doit être échappé pour correspondre littéralement s'il s'agit du premier caractère dans la classe.

`-` (tiret)

  Désigne une plage logique. Doit toujours être échappé au sein d'une classe de caractères.

`\` (barre oblique inverse)

  Le caractère d'échappement. Doit toujours être échappé.

### Alternatives : correspond à « un parmi »

Si vous souhaitez faire correspondre un motif parmi un ensemble de motifs de substitution, vous pouvez les séparer à l'aide de `|` (caractère barre verticale).

Par exemple, pour trouver soit « Jean » soit « Henry », vous utiliserez une expression `Jean|Henry`.

### Sous-motifs

Les sous-motifs sont des motifs entourés de parenthèses ils ont plusieurs utilisations dans le monde des expressions rationnelles.

#### Spécification d'alternatives

Vous pouvez utiliser un sous-motif pour grouper un ensemble d'alternatives au sein d'un motif plus grand. Les alternatives sont séparées par le caractère « | » (barre verticale).

Par exemple, pour faire correspondre l'un des mots « int », « float » ou « double », vous pouvez utiliser le motif `ent|flottant|double`. Lorsque vous voulez seulement en trouver un s'il est suivi d'un caractère d'espacement et ensuite de certaines lettres, placez les alternatives à l'intérieur d'un sous-motif : `(int|float|double)\s+\w+`.

#### Capture des correspondances de texte (références arrière)

Si vous voulez employer une référence arrière, faites appel à un sous-motif pour avoir la partie souhaitée du motif en mémoire.

Par exemple, si vous souhaitez trouver deux occurrences du même mot séparées par une virgule et le cas échéant d'un caractère d'espacement, vous pouvez écrire `(\w+),\s*\1`. Le sous-motif `\w+` trouvera une partie des caractères du mot et l'expression entière correspondra si ceux-ci étaient suivis d'une virgule, de 0 ou plusieurs caractères d'espacement et ensuite une partie égale de caractères mots (la chaîne `\1` référence le premier sous-motif entouré de parenthèses).

#### Assertions avant

Une assertion avant est un sous-motif commençant soit par `?=`, soit par `?!`.

Par exemple, pour faire correspondre la chaîne littérale « Jean » mais seulement si elle n'est pas suivie de « XIII », vous pourriez utiliser cette expression : `Jean(?! XXIII)`. (Celle-ci trouverait « Jean Bart » ainsi que « Jean Sans Peur », mais ignorerait les autres correspondances.)

Les sous-motifs utilisés pour les assertions ne sont pas capturés.

Reportez-vous également à la section Assertions.

### Caractères ayant une signification spéciale à l'intérieur des motifs

Les caractères suivants ont une signification à l'intérieur d'un motif et doivent être échappés si vous voulez les faire correspondre littéralement :

`\` (barre oblique inverse)

  Le caractère d'échappement.

`^` (caret)

  Déclare le début de la chaîne.

`$`

  Déclare la fin de la chaîne.

`()` (parenthèses gauche et droite)

  Désigne des sous-motifs.

`{}` (accolades gauche et droite)

  Désigne des quantificateurs numériques.

`[]` (crochets gauche et droit)

  Désigne des classes de caractères.

`|` (barre verticale)

  OU logique. Sépare des alternatives.

`+` (signe plus)

  Quantificateur, 1 ou plus.

`*` (astérisque)

  Quantificateur, 0 ou plus.

`?` (point d'interrogation)

  Un caractère optionnel. Peut être interprété comme un quantificateur, 0 ou 1.

## Quantificateurs

Les quantificateurs permettent à une expression rationnelle de faire correspondre un nombre ou une plage spécifiés de nombres soit d'un caractère, soit d'une classe de caractères, soit d'un sous-motif.

Les quantificateurs sont entourés d'accolades (`{` et `}`) et ont la forme générale `{[minimum-occurrences][,[maximum-occurrences]]}`

L'usage est mieux expliqué par l'exemple :

`{1}`

  Exactement 1 occurrence.

`{0,1}`

  Zéro ou 1 occurrence.

`{,1}`

  La même chose, avec moins de travail ;).

`{5,10}`

  Au moins 5 mais 10 occurrences au maximum.

`{5,}`

  Au moins 5 occurrences, aucun maximum.

De plus, il y a quelques abréviations :

`*` (astérisque)

  Similaire à `{0,}`, trouve n'importe quel nombre d'occurrences.

`+` (signe plus)

  Similaire à `{1,}`, au moins 1 occurrence.

`?` (point d'interrogation)

  Similaire à `{0,1}`, zéro ou 1 occurrence.

### Avidité

Lors de l'utilisation de quantificateurs sans aucun maximum, les expressions rationnelles tentent par défaut de correspondre à la chaîne recherchée autant qu'il est possible ; ce comportement est communément qualifié d'avide.

Les logiciels modernes d'expressions rationnelles fournissent le moyen d'«invalider l'avidité », bien que dans un environnement graphique, ce soit à l'interface de vous assurer l'accès à cette fonctionnalité. Par exemple, une boîte de dialogue de recherche offrant une recherche d'expressions rationnelles pourrait être dotée d'une case à cocher étiquetée « Correspondance minimale », tout comme elle devrait indiquer si l'avidité est le comportement par défaut.

### Dans des exemples de contexte

Voici quelques exemples d'utilisation de quantificateurs :

`^\d{4,5}\s`

  Correspond aux chiffres dans « 1234 aller » et « 12345 maintenant », mais ni dans « 567 onze » ni dans « 223459 quelque_part ».

`\s+`

  Correspond à un ou plusieurs caractères d'espacement.

`(bla){1,}`

  Correspond à tous les « blablabla » et les « bla » dans « blancheur » ou « embla ».

`/?>`

  Fait correspondre « /> » dans « <élément_fermé/> » ainsi que « > » dans « <élément_ouvert> ».

## Assertions

Les assertions permettent à une expression rationnelle de ne correspondre que sous certaines conditions contrôlées.

Une assertion n'a pas besoin d'un caractère pour correspondre, elle étudie plutôt le cadre d'une correspondance possible avant de la reconnaître. Par exemple, l'assertion limite de mot n'essaie pas de trouver un caractère autre qu'un mot par rapport à un mot un à sa position, elle s'assure au contraire qu'il n'y a aucun caractère mot. Cela signifie que l'assertion peut correspondre là où il n'y a aucun caractère, &cad; aux extrémités d'une chaîne recherchée.

Certaines assertions ont réellement besoin d'un motif auquel correspondre, sauf la partie de la chaîne concordante qui ne fera pas partie du résultat de la correspondance de l'expression entière.

Les expressions rationnelles telles qu'elles sont documentées ici prennent en charge les assertions suivantes :

`^` (caret : début de chaîne)

  Correspond au début de la chaîne recherchée.

  L'expression `^Pierre` correspondra à « Pierre » dans la chaîne « Pierre, bonjour ! », mais non dans « Bonjour, Pierre ! ».

`$` (fin de chaîne)

  Correspond à la fin de la chaîne recherchée.

  L'expression `pas\?$` correspondra au dernier « vous » dans la chaîne « Vous n'avez pas fait cela, n'est-ce pas ? », mais nulle part dans « Vous n'avez pas fait cela, n'est-ce pas ? ».

`\b` (limite de mot)

  Correspond s'il y a un caractère mot d'un côté et aucun caractère mot de l'autre.

  Ceci est utile pour trouver des fins de mots, par exemple les deux extrémités pour trouver un mot entier. L'expression `\ben\b` correspondra au « en » isolé dans la chaîne « Il est entré en cassant un carreau », mais non au « en » de « entré ».

`\B` (limite autre qu'un mot)

  Correspond partout où « \b » ne correspond pas.

  Cela signifie qu'elle correspondra par exemple à l'intérieur des mots : l'expression `\Ben\B` correspondra dans « rentier » mais non dans « entré » ni dans « Je suis en France ».

`(?=MOTIF` (assertion avant positive)

  Une assertion avant examine la partie de la chaîne suivant une correspondance possible. L'assertion avant positive empêche la chaîne de correspondre si le texte suivant la correspondance possible ne concorde pas avec le MOTIF de l'assertion, mais le texte mis en correspondance par celui-ci ne sera pas inclus dans le résultat.

  L'expression `pratique(?=\w)` correspondra à « pratique » dans « pratiquement » mais non dans « C'était très pratique ! ».

`(?MOTIF)` (assertion avant négative)

  L'assertion avant négative empêche une correspondance possible d'être reconnue si la partie suivante de la chaîne recherchée ne correspond pas à son MOTIF.

  L'expression `const \w+\b(?!\s*&)` correspondra à « const char » dans la chaîne « const char* foo », alors qu'elle ne pourra pas correspondre à « const QChaîne » dans « const QChaîne& barre », du fait que l'entité « & » correspond au motif d'assertion avant négative.