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

在宏定义的注释中举例说明调用当然是个好主意。

至少有两种方法可以做到这一点。首先，您可以定义一个带有多个参数的宏：

#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编译器）。

简单的答案是，你做不到。这是<...>for模板参数选择的副作用；在<和>也出现在不平衡背景下这样的宏观机制无法扩展到处理他们喜欢它处理括号。（例如，有些委员会成员要求使用不同的令牌(^...^)，但是使用不能说服大多数问题<...>。）