カンマ/ C++のマクロ

Question

は、我々は

FOO(int, int_var); 

のように使用できますが、常にではないとして、単にそのようでした。この

#define FOO(type,name) type name 

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

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 

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

Answer 1

アングルブラケットは、 <,>,<=および>=のマクロ展開では、カッコ内のように山カッコ内のコンマを無視できません。 （これは、これらは通常、バランスの取れたペアを発生するにもかかわらず、また、角括弧と括弧のための問題です。）あなたは、括弧内のマクロ引数囲むことができます。

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); 

関数型を形成することは、余分な括弧を無視するため、このマクロを使用することができますまたはタイプ名がカンマ含まない括弧なし：タイプ名がかっこ外カンマを含めることができないので、Cで

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

が、もちろん、これは必須ではありません。だから、あなたが書くことができ、クロスランゲージマクロ用：

#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 

Answer 2

はあなたのプリプロセッサは、可変引数マクロをサポートしている場合：

#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); 

Answer 3

これを実行するには、少なくとも2つの方法があります。あなたが行う場合は、あなたがより多くの引数を処理するために、より多くのマクロを定義してしまうことがありますことを

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

：まず、あなたは複数の引数を取るマクロを定義することができます。

第二に、あなたは、引数の前後に括弧を挿入することができます

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

あなたは余分な括弧は、結果の構文を台無しにすることを見つけることを行った場合。

Answer 4

簡単な答えはできないということです。これは、テンプレート引数として<...>の選択の副作用です。 <と>もアンバランスなコンテキストで表示されるため、かっこを処理するようにマクロメカニズムを拡張することができませんでした。 （委員会メンバーの中には、別のトークン、例えば(^...^)と主張していた者もいたが、多くの問題を<...>で確信させることはできなかった）

Answer 5

これはP99で可能です：

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

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

Answer 6

あなたは括弧を使用することはできませんし、マイクの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"を印刷します。

Answer 7

ただ、例えば、型引数の周りにカッコで常にそれを呼び出すその後FOO

として

#define UNPACK(...) __VA_ARGS__ 

#define FOO(type, name) UNPACK type name 

を定義します

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

もちろん、マクロ定義に関するコメントで呼び出しを例示することをお勧めします。