一般フォーラム

事故レスです。

> 展開可能なようにしたつもりです。
なわけはないですよね。
\newcommand でオプション引数つきにしてるのに。

北見さんが解説なさっておられているので、それで十分だと思うのですが、
微力ながらも、実際に動く例を以下に貼り付けます。
何かのご参考になればと存じます。

%#!lualatex

% やりたいこと] \Aと書いたら、何も表示しない。
% \A[hoge]と書いたら、A+hogeと表示する。
% マクロが欲しい。
% [ソース]
% \newcommand{\A}[1][]{\if#1 {A+#1} \else \fi}
%
% [本文とその結果]
% (本文) \A[hoge], \A
% (結果) h A+hoge,

\documentclass{jlreq}
\makeatletter
%% 通常の用途で、この\foo程度で十分だと、個人的に思います
% \newcommand*{\foo}[1][]{\bgroup
%  \edef\foo@arg{#1}%
%  \ifx\foo@arg\@empty\else
%    foo+\foo@arg\relax
%  \fi
% \egroup}

\newcommand*{\foo}[1][]{\bgroup
  % \ifx#1\@empty\else
  \edef\foo@arg{#1}%
  \def\relax@sp{\relax }%
% (\meaning\foo@arg)
  \ifx\foo@arg\@empty\else
    \ifx\foo@arg\relax@sp\else
      foo+\foo@arg\relax
  \fi\fi
\egroup}

\def\fooopt#1{%
  \ifx#1e\else\ifx#1r\relax\fi\fi}

% \renewcommand{\foo}[1][\relax]{\if#1\relax{}\else{foo+#1}\fi}%%=> NGでは？
% \renewcommand{\foo}[1][\relax]{\ifx#1\relax{}\else{foo+#1}\fi}%%=> NGでは？
% \renewcommand*{\foo}[1][\@empty]{\ifx\@empty#1{}\else{foo+#1}\fi}%%=> これでもNGでは？
\makeatother
\begin{document}

\begin{enumerate}
%%普通の空だけを想定する→\@empty
\item わたしの名前は\foo です。

\item わたしの名前は\foo[taro]です。

%%あまり使わないけど、\relaxも想定する
\def\tmp{\relax}

\item わたしの名前は\foo[\tmp]です。

\makeatletter\def\tmp{\@empty}\makeatother

\item わたしの名前は\foo[\tmp]です。

\item わたしの名前は\foo[\fooopt{e}]です。

\item わたしの名前は\foo[\fooopt{r}]です。

\item わたしの名前は\foo[\fooopt{o}]です。
\end{enumerate}

\end{document}

> マクロ定義を眺めているだけだと「"#1" と " "（半角スペース) を比較している」ような気がしてしまいますが、
> 実際には「マクロ展開時に #1 のところに取り込まれた引数トークン列から得られる文字列の先頭２文字」が比較されます。
> なので例えば、引数の先頭文字をだぶらせて \A[hhoge] としても true になってしまうことに注意が必要ですね。

完全に失念していました。
何かが理由で \ifx を使うようにしていたような気がしていたのでしたが，これでした。
今回のような用途では \ifx は基本的に不向きですね。

> この問題は \if#1\relax ではなくて \if\relax#1 の順番にするだけである程度緩和されますね。

そのようですね。例外的に \if でも（想定通りではないが）期待通り動いている例が

\newcommand{\A}[1][\relax]{\if\relax#1{}\else{A+#1}\fi}%

\relax と１文字目を比較し，\relax でなかった時点で２文字目から \else まで読み飛ばすため，
結果的に期待通り動いているように見えます。もちろん，１文字目しか比較していないので
\A[\relax T] とかは失敗します。

> 25行目> マクロに登録してから比較（一番堅実）
> 26行目> \newcommand{\A}[1][\relax]{\def\tmpA{#1}\def\tmpB{\relax}\if\tmpA\tmpB{}\else{A+#1}\fi}% ○
> 27行目> \newcommand{\A}[1][\relax]{\def\tmpA{#1}\def\tmpB{\relax}\ifx\tmpA\tmpB{}\else{A+#1}\fi}% ○
>
> \ifx のほうは良いですが、\if のほうは上記と同じ問題があります。
> \if\tmpA\tmpB のところで \tmpA が展開されてしまうので
> #1に取り込まれるトークンから生成される文字列の先頭２文字が同じであれば
> \if の判定は true になりますから、「○」とは言い切れないかと。

そうですね，\if の方は正しくないです。


> 以上です。細かくてすみません。お気を悪くなされないことを願います。

お陰様で根本的な勘違い（というか，典型的な「やりがちな間違い」で恥ずかし・・）に気付きました。
テストケースも不十分でしたね。

時間をかけて検証いただき，ありがとうございました。

# どこにぶら下げるべきか迷いますが，北見さんにお楽しみいただければ幸いです．
\if でやろうとすると，誤動作する場合の対処が厄介ですね（\if は「展開」してしまうので）．

「展開したあとで空であるか」を気にするとしても，いったん \edef（もしくは \protected@edef）
でマクロに収めてから \ifx で \empty と比較すれば充分だとは思います．
もっとも，次のような処理は可能です．

\documentclass{article}
\makeatletter
\newcommand*\A[1][]{%
   %%% \remove@to@nnil をつけているのは，下記の例の 4 のような
   %%% 最初の \if での比較が「true」になってしまう場合に残るゴミを
   %%% 始末するため．
   \expandafter\remove@to@nnil
   \if\relax#1\relax\@nnil
      %%% 上の比較のみでは，引数#1の展開結果が \relax をはじめとする
      %%% たいていのコントロール・シークェンス(*)で始まる場合に
      %%% #1 が空と誤認識される(**)が……
      %%% (*)  \let\sp=^ のように何らかの文字のコピーにしたり，
      %%%      \chardef で定義したりされる「何らかの文字の別名」は例外
      %%% (**) \if は \ifx とは異なり，コントロール・シークェンスどうしは
      %%%      基本的には区別しないので．
      \if @#1@%%% もう1つ別の比較を入れればよい
      \else
         A+#1%
      \fi
   \else
     \@nnil%%% \remove@to@nnil の始末をつける
     A+#1%
   \fi}
\makeatother

\begin{document}

\begingroup
1: \A, %%% 何も出ない
2: \A[\empty], %%% \empty を展開すると空文字列なので，何も出ない
3: \A[\relax], %%% A+\relax で，「A+」のみ見える
4: \A[\def\zzz{}], %%% A+\def\zzz{} で「A+」のみ見える
5: \A[arere], %%% もちろん，「A+arere」
6: \A[zzz]    %%% もちろん，「A+zzz」
\endgroup

\end{document}

元々の投稿が2008年のものであることは完全に無視して、今のLaTeXにおいて
「オプション引数を完全展開して空になるかという条件にしたもの」
を実装してみました。

\documentclass{article}
%% \A[<text>]
% <text> を完全展開した結果が空ならば何も出力せず,
% 空でなければ“A+<text>”を出力する.
\newcommand*\A[1][]{%
  \if\relax\detokenize\expandafter{\expanded{#1}}\relax\else
    A+#1%
  \fi}

% おまけ
%% \Ax[<text1>]{<text2>} (完全展開可能)
% <text1> を完全展開した結果が空ならば空に展開され,
% 空でなければ“<text2>+<text1>”に展開される.
\NewExpandableDocumentCommand\Ax{O{}m}{%
  \if\relax\detokenize\expandafter{\expanded{#1}}\relax\else
    #2+#1%
  \fi}
%※最終引数がオプションである命令は完全展開可能にできない.
\begin{document}
\begingroup
1: \A, %空
2: \A[\empty], %空
3: \A[\relax],
% 4: \A[\def\zzz{}], % 引数が完全展開可能でない
5: \A[arere],
6: \A[\iftrue\relax\fi],
7: \A[\iftrue\else\fi], %空
8: \A[zzz]
\endgroup

\begingroup
\edef\Result{%
1: \Ax{A}, %空
2: \Ax[\empty]{A}, %空
3: \Ax[\relax]{A},
% 4: \Ax[\def\zzz{}]{A},
5: \Ax[arere]{A},
6: \Ax[\iftrue\relax\fi]{A},
7: \Ax[\iftrue\else\fi]{A}, %空
8: \Ax[zzz]{A}
}\typeout{\meaning\Result}
\endgroup

\end{document}

---

ちなみに、元々の仕様である
「オプション引数が存在するかという条件のもの」
は次のように書けます。

\documentclass{article}
%% \A[<text>]
% <text> 引数が存在すれば“A+<text>”を出力し,
% しなければ何も出力しない.
% (もちろん完全展開可能でない.)
\NewDocumentCommand\A{o}{%
  \IfValueT{#1}{A+#1}}
\begin{document}
\begingroup
1: \A, %引数無し
2: \A[\empty],
3: \A[\relax],
4: \A[\def\zzz{}],
5: \A[arere],
6: \A[\iftrue\relax\fi],
7: \A[\iftrue\else\fi],
8: \A[zzz]
\endgroup
\end{document}