À quoi sert la « protection »? [FAQ LaTeX]

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
====== À quoi sert la « protection »? ======

Parfois, <latex>\LaTeX</latex> enregistre des données qu'il relira plus tard. Ces données se retrouvent souvent dans l'argument d'une commande et elles sont, par extension, dénommées « arguments mouvants » (//moving arguments//). Le terme « mouvant » vient de l'idée que l'enregistrement des données les déplace. Les cas les plus courants sont :
  * les arguments qui peuvent entrer dans la table des matières, la liste des figures, etc. à savoir les données écrites dans un fichier auxiliaire et lues ultérieurement ;
  * les données qui peuvent apparaître dans les titres ou les bas de page. Les titres de section et les légendes des figures sont les exemples les plus marquants.

Une liste complète de ces arguments mouvants est donnée dans le livre de Leslie Lamport (voir « [[1_generalites:documentation:livres:documents_sur_latex|Que lire sur LaTeX ?]] »).

===== Ce qui se passe dans les coulisses =====

Les commandes dans les arguments mouvants sont normalement développées pendant le processus de sauvegarde. Parfois, ce développement génère un code <latex>\TeX</latex> invalide qui s'affiche soit pendant ce développement, soit lorsque le code est à nouveau traité. Protéger une commande, en utilisant ''\protect\cmd'' dit à <latex>\LaTeX</latex> de sauvegarder ''\cmd'' sous la forme ''\cmd'', sans le développer du tout. Dès lors, se définissent deux types de commandes :
  * une « commande fragile » se développe en code <latex>\TeX</latex> invalide pendant le processus de sauvegarde ;
  * une « commande robuste » se développe en code <latex>\TeX</latex> valide pendant le processus de sauvegarde.

===== La fragilité... de la fragilité =====

Le livre de Lamport indique pour chaque commande <latex>\LaTeX</latex> si elle est « robuste » ou « fragile ». Il précise également que chaque commande avec un argument optionnel est fragile. Toutefois, la liste donnée n'est pas fiable, pas plus que l'assertion sur les arguments optionnels : ces indications peuvent avoir été vraies dans les premières versions de <latex>\LaTeXe</latex> mais ne le sont plus nécessairement :

  * certaines commandes fragiles, telles que ''\cite'', ont été rendues robustes dans les révisions ultérieures de <latex>\LaTeX</latex> ;
  * certaines commandes, telles que ''\end'' et ''\nocite'', sont fragiles même si elles n'ont pas d'arguments optionnels ;
  * la création de commande avec un argument optionnel par le biais de ''\newcommand'' ou de ''\newcommand*'' aboutit désormais à une commande robuste (bien que les commandes sans arguments optionnels puissent toujours être fragiles si elles font des actions elles-mêmes fragiles) ;
  * un auteur d'extension peut toujours créer des commandes robustes avec des arguments optionnels dans le cadre de son extension ;
  * certaines commandes robustes sont redéfinies par des extensions pour devenir fragiles (telle la commande ''\cite'').

Par ailleurs, « cacher » une commande fragile dans une autre commande n'a aucun effet sur la fragilité. Donc, si ''\truc'' est fragile, et que vous écrivez :

<code latex>
\newcommand{\machin}{\truc}
</code>

alors ''\machin'' est aussi fragile. Il existe cependant une variante de ''\newcommand'', à savoir ''\DeclareRobustCommand'', qui //crée toujours// une commande robuste (qu'elle ait ou non des arguments optionnels). La syntaxe de ''\DeclareRobustCommand'' est quasiment identique à celle de ''\newcommand'', et si vous effectuez l'astuce d'encapsulation ci-dessus comme :

<code latex>
\DeclareRobustCommand{\machin}{\truc}
</code>
alors ''\machin'' est robuste.

Enfin, l'extension [[ctanpkg>makerobust|makerobust]] définit ''\MakeRobustCommand'' pour rendre une commande en robuste. Avec cette extension, l'encapsulation ci-dessus peut simplement être remplacée par :

<code latex>
\MakeRobustCommand\truc
</code>

Ceci fait, ''\truc'' est robuste.  L'utilisation de cette extension peut être envisagée si vous avez beaucoup de commandes fragiles à utiliser dans des arguments mouvants.

===== En conclusion =====

Au final, la situation actuelle est assez déroutante. Personne ne la trouve satisfaisante : l'équipe <latex>\LaTeX</latex> elle-même a d'ailleurs commencé à supprimer le besoin de protection de certaines fonctionnalités. Cependant, les méthodes disponibles actuellement dans <latex>\LaTeX</latex> rendent ces modifications coûteuses. L’objectif d’éliminer tout besoin de « protection » reste donc un objectif de long terme.

-----
//Source:// [[faquk>FAQ-protect|What's the reason for "protection"?]]

{{htmlmetatags>metatag-keywords=(LaTeX,commandes,protection,fragile,robuste,argument mouvant)
metatag-og:title=(À quoi sert la « protection »)
metatag-og:site_name=(FAQ LaTeX francophone)
}}