NOM

regex – Expressions rationnelles POSIX.2

DESCRIPTION

Les expressions rationnelles (« ER »), définies par POSIX.2 existent sous deux formes : les ER modernes (en gros, celles de egrep(1) que POSIX.2 appelle expressions rationnelles « étendues ») et les ER obsolètes (en gros, celles de ed(1) — les ER « basiques » pour POSIX.2) (N.d.T. : le terme « officiel » pour la traduction de « regular expression » est « expression rationnelle » et c'est celui employé ici, mais consultez https://fr.wikipedia.org/wiki/Expression_régulières). Les ER obsolètes existent surtout à titre de compatibilité avec d'anciens programmes et elles seront abordées à la fin. POSIX.2 laisse de côté certains aspects syntaxiques et sémantiques des ER ; un signe « (!) » indique une interprétation qui peut ne pas être totalement portable sur d'autres implémentations de POSIX.2.

Une ER (moderne) est une(!) ou plusieurs branches non vides(!), séparées par « | ». Elle correspond à tout ce qui correspond à l'une des branches.

Une branche est une(!) ou plusieurs pièces concaténées. Elle correspond à ce qui correspond à la première pièce, suivi de ce qui correspond à la seconde, et ainsi de suite.

Une pièce est un atome suivi éventuellement d'un unique(!) « * », « + », « ? » ou d'un encadrement. Un atome suivi de « * » correspond à une séquence de zéro ou plusieurs correspondances pour l'atome. Un atome suivi d'un « + » correspond à une séquence d’une ou plusieurs correspondances pour l'atome. Un atome suivi d'un « ? » correspond à une séquence de zéro ou une correspondance pour l'atome.

Un encadrement est un « { » suivi d'un entier décimal non signé, suivi éventuellement d'une virgule, suivie éventuellement d'un autre entier décimal non signé, toujours suivis d'un « } ». Les entiers doivent être entre 0 et RE_DUP_MAX (255(!)) compris et, s'il y en a deux, le second ne doit pas être plus petit que le premier. Un atome suivi d'un encadrement contenant un entier i et pas de virgule correspond à une séquence de i correspondances pour l'atome exactement. Un atome suivi d'un encadrement contenant un entier i et une virgule correspond à une séquence d'au moins i correspondances pour l'atome. Un atome suivi d'un encadrement contenant deux entiers i et j correspond à une séquence de i à j (compris) correspondances pour l'atome.

An atom is a regular expression enclosed in "()" (matching a match for the regular expression), an empty set of "()" (matching the null string)(!), a bracket expression (see below), '.' (matching any single character), '^' (matching the null string at the beginning of a line), '$' (matching the null string at the end of a line), a '\' followed by one of the characters "^.[$()|*+?{\" (matching that character taken as an ordinary character), a '\' followed by any other character(!) (matching that character taken as an ordinary character, as if the '\' had not been present(!)), or a single character with no other significance (matching that character). A '{' followed by a character other than a digit is an ordinary character, not the beginning of a bound(!). It is illegal to end an RE with '\'.

Une expression entre crochets est une liste de caractères encadrés par « [] ». Elle correspond normalement à n'importe quel caractère de la liste (mais voir ci-après). Si la liste débute par « ^ », elle correspond à n'importe quel caractère sauf ceux de la liste (mais voir ci-après). Si deux caractères de la liste sont séparés par un « - », ils représentent tout l'intervalle de caractères entre eux (compris). Par exemple « [0-9] » en ASCII représente n'importe quel chiffre décimal. Il est illégal(!) d'utiliser la même limite dans deux intervalles, comme « a-c-e ». Les intervalles dépendent beaucoup de l'ordre de classement des caractères et les programmes portables doivent éviter de les utiliser.

To include a literal ']' in the list, make it the first character (following a possible '^'). To include a literal '-', make it the first or last character, or the second endpoint of a range. To use a literal '-' as the first endpoint of a range, enclose it in "[." and ".]" to make it a collating element (see below). With the exception of these and some combinations using '[' (see next paragraphs), all other special characters, including '\', lose their special significance within a bracket expression.

Dans une expression entre crochets, un élément de classement (un seul caractère ou une séquence de caractères qui se comporte comme un seul, ou un nom de séquence de classement pour l’un ou l’autre) entre « [. » et « .] » correspond à la séquence des caractères de cet élément de classement. Une séquence est un seul élément de la liste d'expressions entre crochets. Une expression entre crochets contenant un élément de classement multicaractère peut donc correspondre à plus d'un caractère. Par exemple, si la séquence inclut un élément de classement « ch », alors l'ER « [[.ch.]]*c » correspond aux cinq premiers caractères de « chchcc ».

Dans une expression entre crochets, un élément de classement encadré par « [= » et « =] » est une classe d'équivalence, correspondant aux séquences de caractères de tous les éléments de classement équivalents à celui-ci, y compris lui-même (s'il n'y a pas d'autres éléments équivalents, le fonctionnement est le même que si l'encadrement était « [. » et « .] »). Par exemple, si o et ô sont membres d'une classe équivalence, alors « [[=o=]] », « [[=ô=]] », et « [oô] » sont tous synonymes. Une classe d'équivalence ne doit(!) pas être une borne d'intervalle.

Dans une expression entre crochets, le nom d'une classe de caractères encadré par « [: » et « :] » correspond à la liste de tous les caractères de la classe. Les noms des classes standard sont :

Ces classes correspondent aux classes de caractères définies pour wctype(3). Une localisation peut en fournir d'autres. Une classe de caractères ne doit pas être utilisée comme borne d'intervalle.

Dans le cas où une ER peut correspondre à plusieurs sous-chaînes d'une chaîne donnée, elle correspond à celle qui commence le plus tôt dans la chaîne. Si l'ER peut correspondre à plusieurs sous-chaînes débutant au même point, elle correspond à la plus longue sous-chaîne. Les sous-expressions correspondent aussi à la plus longue sous-chaîne possible, à condition que la correspondance complète soit la plus longue possible, avec les sous-expressions débutant le plus tôt dans l'ER ayant priorité sur celles débutant plus loin. Notez que les sous-expressions de haut niveau ont donc priorité sur les sous-expressions de bas niveau les composant.

La longueur des correspondances est mesurée en caractères, pas en éléments de classement. Une chaîne vide est considérée comme plus longue qu'aucune correspondance. Par exemple « bb* » correspond aux trois caractères du milieu de « abbbc », « (wee|week)(knights|nights) » correspond aux dix caractères de « weeknights », quand « (.*).* » est mis en correspondance avec « abc », la sous-expression entre parenthèses correspond aux trois caractères, et si « (a*)* » est mis en correspondance avec « bc », l'ER entière et la sous-ER entre parenthèses correspondent toutes deux avec la chaîne vide.

Si une correspondance sans distinction de casse est demandée, toutes les différences entre capitales et minuscules disparaissent de l'alphabet. Quand un symbole alphabétique existant dans les deux casses apparait hors d'une expression entre crochets, il est remplacé par une expression contenant les deux casses (par exemple « x » devient « [xX] »). Lorsqu'il apparaît dans une expression entre crochets, tous ses équivalents sont ajoutés (« [x] » devient « [xX] » et « [^x] » devient « [^xX] »).

Aucune limite particulière n'est imposée sur la longueur des ER(!). Les programmes destinés à être portables devraient limiter leurs ER à 256 octets, car une implémentation peut refuser les expressions plus longues pour demeurer compatible avec POSIX.

Obsolete ("basic") regular expressions differ in several respects. '|', '+', and '?' are ordinary characters and there is no equivalent for their functionality. The delimiters for bounds are "\{" and "\}", with '{' and '}' by themselves ordinary characters. The parentheses for nested subexpressions are "\(" and "\)", with '(' and ')' by themselves ordinary characters. '^' is an ordinary character except at the beginning of the RE or(!) the beginning of a parenthesized subexpression, '$' is an ordinary character except at the end of the RE or(!) the end of a parenthesized subexpression, and '*' is an ordinary character if it appears at the beginning of the RE or the beginning of a parenthesized subexpression (after a possible leading '^').

Finally, there is one new type of atom, a back reference: '\' followed by a nonzero decimal digit d matches the same sequence of characters matched by the dth parenthesized subexpression (numbering subexpressions by the positions of their opening parentheses, left to right), so that, for example, "\([bc]\)\1" matches "bb" or "cc" but not "bc".

BOGUES

Utiliser deux sortes d'ER est une ineptie.

La norme POSIX.2 actuelle dit que « ) » est un caractère ordinaire en l'absence de la « ( » correspondante. C'est dû à une erreur d'interprétation et cela changera probablement. Évitez d'en tenir compte.

Back references are a dreadful botch, posing major problems for efficient implementations. They are also somewhat vaguely defined (does "a\(\(b\)*\2\)*d" match "abbbd"?). Avoid using them.

Les spécifications de POSIX.2 sur les correspondances sans distinction de casse sont assez vagues. La définition « une casse implique toutes les casses » donnée plus haut est le consensus actuel parmi les implémentations comme étant la bonne interprétation.

AUTEUR

Cette page est tirée du paquet regex de Henry Spencer.

VOIR AUSSI

grep(1), regex(3)

POSIX.2, section 2.8 (Regular Expression Notation).

TRADUCTION

La traduction française de cette page de manuel a été créée par Christophe Blaess https://www.blaess.fr/christophe/, Stéphan Rafin <stephan.rafin@laposte.net>, Thierry Vignaud <tvignaud@mandriva.com>, François Micaux, Alain Portal <aportal@univ-montp2.fr>, Jean-Philippe Guérard <fevrier@tigreraye.org>, Jean-Luc Coulon (f5ibh) <jean-luc.coulon@wanadoo.fr>, Julien Cristau <jcristau@debian.org>, Thomas Huriaux <thomas.huriaux@gmail.com>, Nicolas François <nicolas.francois@centraliens.net>, Florentin Duneau <fduneau@gmail.com>, Simon Paillard <simon.paillard@resel.enst-bretagne.fr>, Denis Barbier <barbier@debian.org>, David Prévot <david@tilapin.org>, Frédéric Hantrais <fhantrais@gmail.com> et Jean-Paul Guillonneau <guillonneau.jeanpaul@free.fr>

Cette traduction est une documentation libre ; veuillez vous reporter à la GNU General Public License version 3 concernant les conditions de copie et de distribution. Il n'y a aucune RESPONSABILITÉ LÉGALE.

Si vous découvrez un bogue dans la traduction de cette page de manuel, veuillez envoyer un message à debian-l10n-french@lists.debian.org.