一般フォーラム

別のディスカッショントピックとしてご質問をさせていただきました：

　　\noexpand の動作は、どのように考えるとよいか
　　2023年 03月 31日(金曜日) 13:54 - ut の投稿
　　https://okumuralab.org/tex/mod/forum/discuss.php?d=3563

について考えてみるに際しては、以下のページを参考にしていました：

--------------------------------------------------------------------------------
　　Tralics: a LaTeX to XML translator
　　http://www-sop.inria.fr/marelle/tralics/

というページにある：

　　HTML documentation of all TeX commands, in alphabetic order

の中の "N" のページの \noexapnd の説明：

　　http://www-sop.inria.fr/marelle/tralics/doc-n.html#cmd-noexpand

--------------------------------------------------------------------------------
このページでは、\noexpand の説明をするのに、例を 10 パターン列挙しているのですが、
そのうちの 7 番目 ～ 10 番目が、実はよく理解できませんでした。

該当箇所には以下のようにあります（勝手に番号を振り、例を説明文のすぐ後ろに移動し
ました．また、to と spread には引用符を付けました）：

--------------------------------------------------------------------------------
(7) In the line that follows, expansion is inhibited while scanning the "to" keyword.
Hence \foo is expanded again and is considered as an opening brace.

　　\def\foo{\bgroup}\hbox\noexpand\foo x\egroup 

(8) In the line that follows, the second \noexpand is eaten by scanning the "spread"
keyword. So it requires three \noexpand in order to discard \foo.

　　\hbox\noexpand\noexpand\foo y\egroup
　　\hbox\noexpand\noexpand\noexpand\foo{z}

(9) In the two lines that follow, the non-expanded \foo terminates scanning of
the number, and becomes part of the unit of measure.

　　\def\foo{pt} \dimen0=2\noexpand\foo
　　\def\foo{.5pt} \dimen0=2\noexpand\foo  % error

(10) Consider the last line: how many \noexpand tokens are needed to effectively
suppress expansion (and provoke an error)?. Quite a lot: ... and 15 in TeX.
The syntax of a dimension is quite complicated (see scandimen) and each time
an optional thing is tried, one \noexpand is eaten. For instance, one could
have em, ex or true. After that ... TeX scan eleven keywords, one after the other.

　　%\def\foo{sp} \dimen0=2\noexpand\noexpand...\foo 

--------------------------------------------------------------------------------

質 問

(7) と (8) を素朴に読みますと、\hbox の後ろでは、まず "to" があるかどうかがスキ
ャンされて、次に "spread" があるかどうかがスキャンされていて、その度に \noexpand が
一旦呑み込まれる、ということのようなのですが、そういう理解でよいのでしょうか。

(9) と (10) についても、ディメンションを確定するには、単位の keyword が必要で、
pt, em, ex, in, pc, cm, mm, bp, dd, cc, sp の 11 個のうちのどれかがちゃんとあるか
どうかが順番にスキャンされていって、その度ごとに \noexpand が一旦呑み込まれる、と
いうことなのでしょうか。
（あと 4 つは、何？　true?, mu?, by?, minus?, plus?, fil?）


※ 興味本位での質問ですので、格別今、何か困っているというわけではありません。