嵌套大写命令不起作用

Question 1

你想要这样的东西吗？

\documentclass[border=10pt]{standalone}
\usepackage{xparse}
\begin{document}
\ExplSyntaxOn
\NewDocumentCommand \optcap { +m +m }
{
  \tl_if_eq:nnTF { #2 } { cap }
  {
    \tl_mixed_case:n { #1 }
  }{
    #1
  }
}
\ExplSyntaxOff
\optcap{asdf}{} 
\optcap{\optcap{asdf}{}}{cap}
\end{document}

请注意，如果您输入 N/Y，则嵌套结果将意味着添加的字符是第一个，我认为这似乎不是您想要的。但我不确定我是否理解了，所以如果我应该删除它，请告诉我。

Answer

你想要这样的东西吗？

\documentclass[border=10pt]{standalone}
\usepackage{xparse}
\begin{document}
\ExplSyntaxOn
\NewDocumentCommand \optcap { +m +m }
{
  \tl_if_eq:nnTF { #2 } { cap }
  {
    \tl_mixed_case:n { #1 }
  }{
    #1
  }
}
\ExplSyntaxOff
\optcap{asdf}{} 
\optcap{\optcap{asdf}{}}{cap}
\end{document}

请注意，如果您输入 N/Y，则嵌套结果将意味着添加的字符是第一个，我认为这似乎不是您想要的。但我不确定我是否理解了，所以如果我应该删除它，请告诉我。

Question 2

如果您愿意使用 LuaTeX（即使用lualatex而不是进行编译pdflatex），那么您可能可以省去一些宏扩展的麻烦。例如，您可以将以下内容放入中foo.lua：

-- The string s, with its first character converted to uppercase
function firstUpper(s)
   first = unicode.utf8.upper(unicode.utf8.sub(s, 1, 1))
   rest = unicode.utf8.sub(s, 2, -1)
   return first .. rest
end

function optCap(s, opt)
   if opt == 'cap' then
      return firstUpper(s)
   else
      return s
   end
end

您的.tex文件可以是：

\documentclass{scrartcl}

\directlua{dofile('foo.lua')}
% \newcommand{\firstUpper}[1]{\directlua{tex.print(firstUpper('#1'))}}
\newcommand{\optcap}[2]{\directlua{tex.print(optCap('#1', '#2'))}}

\begin{document}
\optcap{asdf}{}

\optcap{asdf}{cap}

\optcap{\optcap{asdf}{}}{cap}
\end{document}

（如果您给它提供复杂的宏，这可能会失败，但我认为这是一个功能。）

至于为什么你最初的尝试失败了，这在第 3.2 节中有记录xstring 文档：

此包的宏不是纯粹可扩展的，即它们不能放在的参数中\edef。嵌套宏也是不可能的。

要理解这里的“可扩展”是什么意思，你可以阅读这个网站上的答案，比如这，这，这和这。基本上，（等）的操作并非全部\StrLeft发生在“嘴巴”（输入扩展处理器/语法例程）中；它会扩展为一些不可扩展的命令，需要在“胃”（执行处理器/语义例程）中处理。如果您真的想用宏来做，您可以使用来自的“可扩展”宏expl3，如@cfr 的回答中所述。

Answer