引数を受け取るマクロを生成するマクロを定義する

Question 1

可能ですが、LaTeX でのプログラミングのモデルとして Python を採用すべきではありません。

LaTeX では引数は中括弧で囲まれており、コンマリストで置き換えることはできません。

とにかく、テンプレートに任意の数の引数を持つ実装を次に示します (ただし、必要な数を指定する必要があります)。

\documentclass{article}
\usepackage{amsmath}
\usepackage{xparse}

\ExplSyntaxOn

\NewDocumentCommand{\symb}{mmmm}
 {% #1=name of command to define, #2=number of args, #3=template, #4=default

  % define the internal version
  \cs_new_protected:cn { kelvin_symb_#1:\prg_replicate:nn{#2}{n} } { #3 }

  % define the external version
  \exp_args:Nc \NewDocumentCommand { #1 } { O{#4} }
   {
    \__kelvin_symb_do:nnx { #1 } { #2 } { \clist_map_function:nN { ##1 } \__kelvin_symb_brace:n }
   }
 }

\cs_new:Nn \__kelvin_symb_do:nnn
 {
  \use:c { kelvin_symb_#1:\prg_replicate:nn{#2}{n} } #3
 }
\cs_generate_variant:Nn \__kelvin_symb_do:nnn { nnx }

\cs_new:Nn \__kelvin_symb_brace:n { {#1} }

\ExplSyntaxOff

\symb{flow}{2}{f_{#1}^{#2}}{a,b}
\symb{foo}{4}{\int_{#1}^{#2}#3\,d#4}{0,1,x,x}

\begin{document}

$\flow$

$\flow[x,y]$

$\foo$

$\foo[a,b,f(x),x]$

\end{document}

コードについてもう少し説明します。まずは簡単なところから:

\exp_args:Nc \NewDocumentCommand { #1 } { O{#4} }

expl3のバージョンです

\expandafter\NewDocumentCommand\csname#1\endcsname { O{#4 } }

優先されるべきです。

次に、どのように動作するかを説明します。\symbまず、宣言された数の引数を持つ内部関数を定義します。その置換テキストは、指定されたテンプレートによって提供されます。\symb{flow}{2}{f_{#1}^{#2}}{a,b}

\kelvin_symb_flow:nn { f_{#1}^{#2} }

^{_注意。がのスコープ内の文字であるという事実は\ExplSyntaxOn、宣言\symb{flow}{2}{...}{...}が与えられているため、問題にならない。外その範囲。}

その後、\flowオプションの引数を持つユーザーレベルコマンドを定義します。そのデフォルトはの 4 番目の引数です\symb。このコマンドは、によって以前に定義された関数を間接的に呼び出します\__kelvin_symb_do:nnx。

この場合、最初の引数は、flow2 番目の引数は引数の数です。引数の目的は、内部関数を呼び出せるようにすることです。最後の引数はコンマリスト (デフォルトまたはのオプション引数として指定されたもの\flow) ですが、前処理されて中括弧で囲まれた項目のリストが生成されます。

通常のバージョンでは、\__kelvin_symb_do:nnn内部関数を形成し\kelvin_symb_flow:nn、3番目の引数を括弧で囲まないだけです。しかし、私たちはそのバリエーションを使用しています。

\clist_map_function:nN { #1 } \__kelvin_symb_brace:n

は完全に展開されており（変形のためx）、a,bこれに適用するととなる{a}{b}。したがって、

\kelvin_symb_flow:nn { a } { b }

そして、LaTeX は通常どおりまで拡張しますf_{a}^{b}。

Answer