Barre verticale

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

Si certains caractères de cet article s’affichent mal (carrés vides, points d’interrogation…), consultez la page d’aide Unicode.

La barre verticale, le tube ou le pipe (mot anglais) est le nom du caractère ASCII 124, symbolisé par une barre verticale | ou une barre verticale brisée en son milieu ¦. En Unicode, la barre verticale se trouve au point U+007C, tandis que la « barre brisée » est un caractère à part, U+00A6. En HTML, la barre brisée peut être codée ¦.

[modifier] Utilisation

[modifier] Mathématiques

La barre verticale est utilisée dans la table des symboles mathématiques pour

la valeur absolue : $| x |$ , se lit « la valeur absolue (ou module)de x ».
la norme : $| | (x 1, x 2) | |$ , se lit « la norme de x indice un, x indice deux » ; bien qu'Unicode fournisse également le symbole spécial à double barre verticale U+2016: ‖x‖
définition : ${x | x < 2}$ , se lit « Soit x tels que x est plus petit que deux ». Souvent la définition s'écrit avec un double-point':' plutôt qu'une barre verticale.
probabilité conditionnelle: $P (X | Y)$ , se lit « la probabilité de X sachant Y ».
divisibilité : $a | b$ , se lit « a divise b ».
le symbole de Sheffer où $a | b$ signifie $\neg(a \wedge b)$ , c'est-à-dire non(a et b), encore appelé NAND.

[modifier] Curseur

Dans un texte qui ne peut être édité mais qui peut être sélectionné, par exemple une page Web, le curseur est souvent une barre verticale (comprenant parfois des empattements en haut et en bas).

[modifier] Langage de balisage Wiki

La barre verticale est utilisé dans la syntaxe wiki des liens internes pour séparer le lien du texte affiché. Par exemple, « [[article|texte]] » s'affiche « texte » mais lie vers « article ».

[modifier] Forme de Backus-Naur

Dans cette forme, les expressions sont constituées de séquences de symboles et/ou de séquences séparées par des caractères « | », indiquant un choix, le tout pouvant être substitué au symbole à gauche. Par exemple,

[modifier] Unix

Un pipe est une fonctionnalité de certains systèmes d'exploitations utilisée notamment dans Unix et qui permet de rediriger la sortie standard d'un processus vers l'entrée standard d'un autre. Dans les interpréteurs de commande, le pipe est représenté par une barre verticale. Cette fonctionnalité se trouve aussi sous DOS et Windows.

[modifier] Expressions régulières

Dans les expression régulières, le pipe indique l'alternative (l'opérateur de choix). Par exemple, grep 'foo|bar' retournera 'foo' ou 'bar'.

[modifier] Shell

Dans les shells UN*X le pipe permet de diriger la sortie d'une commande (par exemple dmesg) vers une autre commande (grep par exemple). Par exemple,

dmesg | grep firewire

… redirigera la sortie de dmesg sur grep qui ne sortira que les lignes contenant le mot "firewire".

[modifier] Disjonction

Dans de nombreux langages de progammation, cela désigne la fonction logique OU, que ce soit le ou bit à bit ou le ou logique.

Ainsi, dans le langage de programmation C et d'autres langages utilisant la syntaxe du C comme le Perl et le Java, (a | b) signifie ou bit à bit ; tandis que la double barre verticale (a || b) signifie le OU logique.

[modifier] Concaténation

En PL/I et SQL, l'opérateur "||" dénote la concaténation de deux chaînes de caractères.

[modifier] Délimitation

Bien que moins rencontré que les virgules ou les tabulations, le symbole "|" peut être utilisé dans un fichier texte représentant des données tabulaires, comme par exemple le format LEDES 1998B.

[modifier] Orthographe Khoïsan

Dans la famille de langues khoïsannes, le "|" est utilisé pour transcrire le clic.

[modifier] Étymologie

Le nom pipe (prononciation anglophone) pour le caractère "|" provient d'un usage commun dû au fait qu'il était utilisé dans le Bourne_shell pour rediriger le flux de sortie d'un programme vers l'entrée d'un autre, comme s'ils étaient raccordés par un tube. Le mot pipe a alors, adapté à l'informatique, le même sens que dans pipeline.

Signes de ponctuation
Accolades ({ }) · Apostrophe (') · Barre oblique (/) · Barre oblique inversée (\) · Chevrons (< >) · Crochets ([ ]) · Deux-points (:) · Espace · Guillemets (« », “ ”) · Parenthèses ( ) · Point (.) · Points de suspension (…) · Point d'exclamation (!) · Point d'interrogation (?) · Point exclarrogatif (‽) · Point d'ironie () · Point médian (·) · Point-virgule (;) · Trait d'union (-) · Tiret (—) · Virgule (,)
Autres signes
Arrobe (@) · Astérisque () · Astérisme (⁂) · Barre verticale* (\| ¦) · Croisillon (#) · Degré (°) · Esperluette (&) · Obèle († ‡) · Paragraphe (§) · Pied de mouche (¶) · Prime (′) et Seconde (″) · Puce (•) · Tilde (~) · Tiret bas (_)
Symboles mathématiques
Plus (+) · Moins (-) · Multiplié (×) · Divisé (÷) · Égal (=) · Plus ou moins (±)
Symboles monétaires
Symbole monétaire (¤) · Dollar ($), cent (¢) · Euro (€) · Livre (£) · Yen (¥)