C / C ++マクロのカンマ

このようなマクロがあるとしましょう

#define FOO(type,name) type name

どのように使用できますか

FOO(int, int_var);

しかし、必ずしもそれほど単純ではありません。

FOO(std::map<int, int>, map_var); // error: macro "FOO" passed 3 arguments, but takes just 2

もちろん、次のことができます。

 typedef std::map<int, int> map_int_int_t;
 FOO(map_int_int_t, map_var); // OK

人間工学的ではありません。プラスタイプの非互換性に対処する必要があります。これをマクロで解決する方法はありますか？

アングルブラケットも表す（又はで起こる）ことができるので、比較演算子は<、>、<=および>=それが括弧内にないように、マクロ展開は、角括弧内のカンマを無視することはできません。（大括弧と中括弧は、通常は対になったペアとして発生しますが、これも問題です。）マクロ引数を括弧で囲むことができます。

FOO((std::map<int, int>), map_var);

その場合、問題はパラメーターがマクロ展開内で括弧で囲まれたままになり、ほとんどのコンテキストで型として読み取られなくなることです。

これを回避するには、C ++では、関数の型を使用して、括弧で囲まれた型名から型名を抽出できます。

template<typename T> struct argument_type;
template<typename T, typename U> struct argument_type<T(U)> { typedef U type; };
#define FOO(t,name) argument_type<void(t)>::type name
FOO((std::map<int, int>), map_var);

関数の型を形成すると余分な括弧が無視されるため、型名にコンマが含まれていない場合に、括弧の有無にかかわらずこのマクロを使用できます。

FOO((int), int_var);
FOO(int, int_var2);

Cではもちろん、型名に括弧の外にコンマを含めることができないため、これは必要ありません。したがって、クロス言語マクロの場合は、次のように記述できます。

#ifdef __cplusplus__
template<typename T> struct argument_type;
template<typename T, typename U> struct argument_type<T(U)> { typedef U type; };
#define FOO(t,name) argument_type<void(t)>::type name
#else
#define FOO(t,name) t name
#endif

括弧を使用できず、MikeのSINGLE_ARGソリューションが気に入らない場合は、COMMAを定義するだけです。

#define COMMA ,

FOO(std::map<int COMMA int>, map_var);

これは、次のように、マクロ引数の一部を文字列化する場合にも役立ちます。

#include <cstdio>
#include <map>
#include <typeinfo>

#define STRV(...) #__VA_ARGS__
#define COMMA ,
#define FOO(type, bar) bar(STRV(type) \
    " has typeid name \"%s\"", typeid(type).name())

int main()
{
    FOO(std::map<int COMMA int>, std::printf);
}

印刷するstd::map<int , int> has typeid name "St3mapIiiSt4lessIiESaISt4pairIKiiEEE"。

プリプロセッサが可変個のマクロをサポートしている場合：

#define SINGLE_ARG(...) __VA_ARGS__
#define FOO(type,name) type name

FOO(SINGLE_ARG(std::map<int, int>), map_var);

それ以外の場合は、少し面倒です。

#define SINGLE_ARG2(A,B) A,B
#define SINGLE_ARG3(A,B,C) A,B,C
// as many as you'll need

FOO(SINGLE_ARG2(std::map<int, int>), map_var);

FOOとして定義する

#define UNPACK( ... ) __VA_ARGS__

#define FOO( type, name ) UNPACK type name

次に、常にタイプ引数を括弧で囲んで呼び出します。例えば、

FOO( (std::map<int, int>), map_var );

もちろん、マクロ定義のコメントで呼び出しを例示するのは良い考えです。

これを行うには、少なくとも2つの方法があります。最初に、複数の引数を取るマクロを定義できます。

#define FOO2(type1, type2, name) type1, type2, name

その場合、より多くの引数を処理するために、より多くのマクロを定義することになる場合があります。

次に、引数を括弧で囲むことができます。

#define FOO(type, name) type name
F00((std::map<int, int>) map_var;

その場合、余分な括弧が結果の構文を台無しにすることがあります。

これはP99で可能です。

#include "p99/p99.h"
#define FOO(...) P99_ALLBUTLAST(__VA_ARGS__) P99_LAST(__VA_ARGS__)
FOO()

上記のコードは、引数リストの最後のコンマのみを効果的に取り除きます。clang -E（P99にはC99コンパイラが必要です）で確認してください。

簡単な答えは、できないということです。これは、<...>テンプレート引数の選択の副作用です。マクロのメカニズムは、それは括弧を扱うようにそれらを扱うように拡張することができませんでしたので、また、アンバランスな状況に表示されます。（委員会のメンバーの中には、別のトークンについて主張した人もいますが、を使用して問題の大部分を納得させることができませんでした。）<>(^...^)<...>