<pre>
＞\newcommand*\A[1][]{%
＞ \if\relax\detokenize\expandafter{\expanded{#1}}\relax\else
＞ A+#1%
＞ \fi}
最近の処理系では，そういう手もあるようですね．
メリットは
・代入処理を伴わず，「展開可能」にできている
・\detokenize で文字列化しているため，
展開結果の先頭が文字トークンでない場合に
気を遣う必要がなくなっている
というところでしょうか．
# サンプルの 4 の場合がうまくいかないのは
# 残念ですが仕方のないところです．
メリットは
・代入処理を伴わず，「展開可能」にできている
・\detokenize で文字列化しているため，
展開結果の先頭が文字トークンでない場合に
気を遣う必要がなくなっている
というところでしょうか．
# サンプルの 4 の場合がうまくいかないのは
# 残念ですが仕方のないところです．
</pre>