以下代码按预期工作：
\NewDocumentCommand{\checker}{m}{\@ifmtarg{#1}{empty}{not empty}}
\checker{} % Prints "empty"
\checker{x} % Prints "not empty"
但是，当提供一个可能为空的宏作为参数时，如何使其工作：
\newcommand{\emptymacro}{}
\NewDocumentCommand{\checker}{m}{\@ifmtarg{#1}{empty}{not empty}}
\checker{\emptymacro} % Prints "not empty"
如何empty通过将空宏作为空参数处理来使其打印？
答案1
您想使用expl3递归扩展。
\ExplSyntaxOn
\NewExpandableDocumentCommand{\checker}{mmm}
{
\tl_if_empty:eTF { #1 } { #2 } { #3 }
}
\ExplSyntaxOff
完整示例：
\documentclass{article}
\ExplSyntaxOn
\NewExpandableDocumentCommand{\checker}{mmm}
{
\tl_if_empty:eTF { #1 } { #2 } { #3 }
}
\ExplSyntaxOff
\newcommand{\aaa}{\bbb}
\newcommand{\bbb}{\ccc}
\newcommand{\ccc}{}
\newcommand{\ddd}{\eee}
\newcommand{\eee}{e}
\begin{document}
\checker{}{empty}{not empty}
\checker{e}{empty}{not empty}
\checker{\aaa}{empty}{not empty}
\checker{\bbb}{empty}{not empty}
\checker{\ccc}{empty}{not empty}
\checker{\ddd}{empty}{not empty}
\checker{\eee}{empty}{not empty}
\end{document}
如果你想将“空”也视为空格序列，请将其替换为
\NewExpandableDocumentCommand{\checker}{mmm}
{
\tl_if_blank:eTF { #1 } { #2 } { #3 }
}
完整示例：
\documentclass{article}
\ExplSyntaxOn
\NewExpandableDocumentCommand{\checker}{mmm}
{
\tl_if_blank:eTF { #1 } { #2 } { #3 }
}
\ExplSyntaxOff
\newcommand{\aaa}{\bbb}
\newcommand{\bbb}{\ccc}
\newcommand{\ccc}{}
\newcommand{\ddd}{\eee}
\newcommand{\eee}{e}
\newcommand{\fff}{\space\space}
\begin{document}
\checker{}{empty}{not empty}
\checker{e}{empty}{not empty}
\checker{\aaa}{empty}{not empty}
\checker{\bbb}{empty}{not empty}
\checker{\ccc}{empty}{not empty}
\checker{\ddd}{empty}{not empty}
\checker{\eee}{empty}{not empty}
\checker{\fff}{empty}{not empty}
\end{document}
