Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
2_programmation:macros:cette_commande_est_elle_definie [2018/05/24 22:02] joseph.wright |
2_programmation:macros:cette_commande_est_elle_definie [2021/01/07 18:07] jejust Ancienne révision (2020/12/09 20:57) restaurée |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | --- | + | ====== Is this command defined? ====== |
- | section: Macro programming | + | |
- | subsection: '' | + | |
- | permalink: / | + | |
- | date: 2014-06-10 | + | |
- | --- | + | |
- | # Is this command defined? | ||
Macro sets from the earliest days of TeX programming may be | Macro sets from the earliest days of TeX programming may be | ||
observed to test whether commands exist by using | observed to test whether commands exist by using | ||
- | `\ifx` `\``_command_` `\undefined` & | + | '' |
- | (which of course actually tests that the command | + | (which of course actually tests that the command |
exist). | exist). | ||
- | `ifundefined{cmd name}{action1}{action2}` | + | '' |
- | which executes | + | which executes |
- | `action2` if it is defined | + | '' |
- | (_cmd name_ is the command name only, omitting the `\` character). | + | (//cmd name// |
- | The `ifundefined` command is based on the sequence | + | The '' |
- | ```latex | + | |
+ | < | ||
\expandafter \ifx \csname cmd name\endcsname \relax | \expandafter \ifx \csname cmd name\endcsname \relax | ||
- | ``` | + | </ |
- | which relies on the way `\csname` works: if the command doesn' | + | which relies on the way '' |
- | exist, it simply creates it as an alias for `\relax`. | + | exist, it simply creates it as an alias for '' |
So: what is wrong with these techniques? | So: what is wrong with these techniques? | ||
- | Using `\undefined` blithely assumes that the command is indeed not | + | Using '' |
defined. | defined. | ||
improbable, but that may simply make it more difficult to spot a | improbable, but that may simply make it more difficult to spot a | ||
problem when things go wrong. | problem when things go wrong. | ||
- | technique will typically employ | + | technique will typically employ |
level of obscurity. | level of obscurity. | ||
- | The `ifundefined` mechanism | + | The original '' |
polluting the name space: each test that turns out undefined adds a | polluting the name space: each test that turns out undefined adds a | ||
- | name to the set TeX is holding, and often all those `\relax` | + | name to the set TeX is holding, and often all those '' |
- | names serve no purpose whatever. Even so (sadly) there are places in | + | names serve no purpose whatever. |
- | the code of LaTeX where the existence of the `\relax` is relied | + | |
- | upon, after the test, so we can't get away from `ifundefined` | + | |
- | altogether. | + | |
David Kastrup offers the (rather tricky) | David Kastrup offers the (rather tricky) | ||
- | ```latex | + | |
+ | < | ||
{\expandafter}\expandafter\ifx \csname cmd name\endcsname\relax ... | {\expandafter}\expandafter\ifx \csname cmd name\endcsname\relax ... | ||
- | ``` | + | </ |
- | which '' | + | which "creates" the '' |
- | `\expandafter`, therefore forgets it again once the test is done. | + | '' |
The test is about as good as you can do with macros. | The test is about as good as you can do with macros. | ||
- | The [& | + | The [[FAQ-etex|ε-TeX system]] system comes to our help here: it |
defines two new primitives: | defines two new primitives: | ||
| | ||
- | - `\ifdefined`, which tests whether a thing is defined (the | + | * '' |
- | | + | |
- | - `\ifcsname` `cmd name``\endcsname`, which does the | + | |
- | | + | |
- | | + | |
- | So, in an ε-TeX-based system, the following two conditional clauses do | + | So, in an < |
the same thing: | the same thing: | ||
- | ```latex | + | |
+ | < | ||
\ifdefined\foo | \ifdefined\foo | ||
\message{\string\foo\space is defined}% | \message{\string\foo\space is defined}% | ||
Ligne 74: | Ligne 65: | ||
\message{no command \string\foo}% | \message{no command \string\foo}% | ||
\fi | \fi | ||
- | ``` | + | </ |
- | However, after using the LaTeX | + | However, after using the original |
- | `ifundefined{foo}`& | + | '' |
- | command as '' | + | command as "existing" |
so it is important not to mix mechanisms for detecting the state of a | so it is important not to mix mechanisms for detecting the state of a | ||
command. | command. | ||
- | Since most distributions nowadays | + | In the 2018 < |
- | for most packages, these two primitives may be expected appear widely | + | to use the $\epsilon$-TeX '' |
- | in new macro packages. | + | without the side effect of defining undefined commands to '' |
+ | |||
+ | ----- | ||
+ | //Source:// [[faquk> | ||
+ | {{htmlmetatags> | ||
+ | metatag-og: | ||
+ | metatag-og: | ||
+ | }} | ||