如何利用 \csname ... \endcsname 保存的内容？-论坛 github.com/C的回答

1条回答

2019-12-12 23:28 .采纳回答

你现在的写法，相当于执行了 ```tex \ppp\kkk ``` 你需要让 `\kkk` 再展开一次。例如 ```tex \documentclass{article} \begin{document} \expandafter\xdef\csname kkk\endcsname{{0}{1}}% \def\ppp#1#2{#1;#2;} \expandafter\expandafter \expandafter\ppp\csname kkk\endcsname \end{document} ``` 这篇[知乎文章](https://zhuanlan.zhihu.com/p/55749923)提到了一些介绍 `\expandafter` 的资料，可作为后续阅读。 ------ 补充 1. 以下两种定义方式无区别 ```tex \def\aaa{{1}{2}{3}} \expandafter\def\csname aaa\endcaname{{1}{2}{3}} ``` 2. `\csname ...\endcaname` 的展开一定是一个命令，是 `\` 的形式。 3. `\csname ...\endcaname` 的意义是，让使用名字中包含特殊符号的命令更方便（不需要修改 category code）、可以动态拼出命令名。例如 ```tex % 使用一个命令，它的命令中包含 "@" \csname abc@abc\endcsname % 使用一个命令，它的命令名中包含空格 \csname abc abc\endcsname % 定义一个命令，它的命令名（部分）由传入的参数决定 \def\specialCmd#1#2{% \expandafter\def\csname special@#1\endcsname{#2}% } % 这样，下面两组命令就实现了相同的功能 % - group 1 \specialCmd{abc}{xxx} % - group 2 \makeatletter \def\special@abc{xxx} \makeatother ``` 4. 回到你的例子 1. 从最简单的开始，直接使用 `\ppp` 命令。做法为：`\ppp{arg1}{arg2}` 1. 先把要传的参数定义成命令（`\def\kkk{{arg1}{arg2}}`），然后再传给 `\ppp`。此时，先写成 `\ppp\kkk`，有两个命令，需要先展开第二个、再展开第一个，所以在第一个命令前加上 `\expandafter`。变成了：`\expandafter\ppp\kkk` 1. 让 `\kkk` 由 `\csname kkk\endcsname` 展开得到。先写成 `\expandafter\ppp\csname kkk\endcsname`，看前三个命令 `\expandafter\ppp\csname`，需要先对第三个展开一次，所以给第一个（`\expandafter`）、第二个命令（`\ppp`）前都加一个 `\expandafter`。变成了：我最初回答内容中的样子。 1. 这全程，和 `\kkk` 里存了几个 token、几组大括号无关。有两组、四组、八组，都是三个 `\expandafter` 建议阅读本回答前半段提到的知乎文章中的参考资料，也可以去 tex.stackexchange.com 上搜索。多看一些内容、看靠谱的内容，附带看一些例子，还可以用 `unravel` 宏包提供的「在终端演示逐步展开」的功能帮助了解引擎是怎么展开的。 ------ 一个使用 `unravel` 宏包的例子 ```tex % main.tex \documentclass{article} \usepackage{unravel} \begin{document} \expandafter\xdef\csname kkk\endcsname{{0}{1}}% \def\ppp#1#2{#1;#2;} \unravel{% \expandafter\expandafter \expandafter\ppp\csname kkk\endcsname } \end{document} ``` 保存为 `main.tex`，终端执行 `pdflatex main` 进行编译，会在遇到 `\unravel` 命令时停下来，每按一次回车展开一步。连续按回车，能得到完整的展开步骤 ``` ======== Welcome to the unravel package ======== "<|" denotes the output to TeX's stomach. "||" denotes tokens waiting to be used. "|>" denotes tokens that we will act on. Press to continue; 'h' for help. || |> \expandafter \expandafter \expandafter \ppp \csname kkk\endcsname [===== Step 1 =====] \expandafter \expandafter || \expandafter \expandafter |> \expandafter \ppp \csname kkk\endcsname [===== Step 2 =====] \expandafter \ppp || \expandafter \expandafter || \expandafter \ppp |> \csname kkk\endcsname [===== Step 3 =====] \csname = \csname || \expandafter \expandafter || \expandafter \ppp || \csname |> kkk\endcsname [===== Step 4 =====] \csname kkk\endcsname =\kkk || \expandafter \expandafter || \expandafter \ppp |> \kkk [===== Step 5 =====] back_input: \expandafter \ppp || \expandafter \expandafter |> \ppp \kkk [===== Step 6 =====] back_input: \expandafter \expandafter || |> \expandafter \ppp \kkk [===== Step 7 =====] \expandafter \ppp || \expandafter \ppp |> \kkk [===== Step 8 =====] \kkk = macro:->{0}{1} || \expandafter \ppp |> {0}{1} [===== Step 9 =====] back_input: \expandafter \ppp || |> \ppp {0}{1} [===== Step 10 =====] \ppp = macro:#1#2->#1;#2; || |> 0;1; [===== Step 11 =====] 0= the character 0 : \everypar={} || |> 0;1; [===== Step 12 =====] 0 <| 0 || |> ;1; [===== Step 13 =====] ; <| 0; || |> 1; [===== Step 14 =====] 1 <| 0;1 || |> ; [===== Step 15 =====] ; <| 0;1; || |> [===== End =====] ```

作者追问:2019-12-12 23:28

非常感谢！我大体明白了 `\expandafter` 和 `\csname` 的用法。把 `\csname ... \endcsname` 多次展开的用法我是第一次遇到。我尝试了4次展开： ``` \documentclass{ctexart} \begin{document} \expandafter\xdef\csname savefourargs\endcsname{{0}{1}{2}{3}}% \def\showfouritem#1#2#3#4{#1;#2;#3;#4;+} \def\showtwoitem#1#2{#1;#2;+} \expandafter\expandafter \expandafter\showtwoitem\csname savefourargs\endcsname \expandafter%1 \expandafter%2 \expandafter%1 \expandafter%3 \expandafter%1 \expandafter%2 \expandafter%1 \expandafter%4 \expandafter%1 \expandafter%2 \expandafter%1 \expandafter%3 \expandafter%1 \expandafter%2 \expandafter%1 \showfouritem\csname savefourargs\endcsname \end{document} ``` 不知道是不是可以这样理解：`\csname ... \endcsname` 中保存了几个花括号就要展开几次。如果可以这样理解的话，那 `\csname ... \endcsname` 的行为真的是有点奇特。

作者追问:2019-12-12 23:28

还是有点不太明白，感觉 `\csname ... \endcsname` 有点像套娃玩具，打开外面的娃，里面还有娃，它不会一下子把所有的娃都释放出来。就像前面的例子，非要让它展开4次。这个例子： ```tex \def\aaa{{1}{2}{3}}% \def\bbb#1#2#3{#1;#2;#3;}% \expandafter\bbb\aaa ``` 只需要用 `\expandafter` 把`\aaa`展开一次，就可以。那么用`\def\aaa{{1}{2}{3}}%`定义的 `\aaa`，跟用`\expandafter\def\csname aaa\endcaname{{1}{2}{3}}%`定义的`\csname aaa\endcsname`本质上的区别是什么呢？