c++ 在宏中使用的模板参数有问题

我正在尝试编译下面的代码段,我在std :: vector专门的行上收到一个错误,似乎被传入的一个参数被假定为两个参数.这是否可能与尖括号有关？

有没有一种特殊的方法/机制,通过这样的参数可以正确地传递给宏？

#include <vector>

template<typename A>
struct AClass {};

#define specialize_AClass(X)\
template<> struct AClass<X> { X a; };


specialize_AClass(int) //ok

specialize_AClass(std::vector<int,std::allocator<int> >) //error

int main()
{
   return 0;
}

我得到的错误如下：

1 Line 55: error: macro "specialize_AClass" passed 2 arguments, but takes just 1
2 Line 15: error: expected constructor, destructor, or type conversion before 'int'
3 compilation terminated due to -Wfatal-errors.

链接： http://codepad.org/qIiKsw4l

你有两个选择.其中一个已经提到了：使用__VA_ARGS__.然而,这具有在严格C 03中不起作用的缺点,但是需要足够的C99 / C 0x兼容的预处理器.

另一个选项是括号化类型名称.但是不像另一个答案所说,它并不像括号化类型名称那么容易.如下撰写专业化形式不明

// error, NOT valid!
template<> struct AClass<(int)> { X a; };

我已经解决了这个问题(并且boost可能在引擎盖下使用相同的方式),通过将类型名称传递给括号,然后从其中构建一个函数类型

template<typename T> struct get_first_param;
template<typename R, typename P1> struct get_first_param<R(P1)> {
  typedef P1 type;
};

因此,get_first_param<void(X)> :: type表示类型X.现在可以将宏重写为

#define specialize_AClass(X) \
template<> struct AClass<get_first_param<void X>::type> { 
  get_first_param<void X>::type a; 
};

而你只需要传递包含在括号中的类型.