如何使用可变参数模板来实现默认参数的效果

Question

我遇到这个问题已经有一段时间了，但我不知道如何解决。上下文是c++中的反射系统。这个问题的简单解释是这样的。我有那两个结构。一个是表示 ClassType 类型的多个父级，另一个表示孤儿类（ClassType 类型且没有父级的类）

template<typename ClassType, typename... ParentTypeList>
struct Parents 
{
};

template<typename ClassType>
struct Parents<ClassType>
{        
};

然后在要反映的类的声明中我使用这个宏，类 ReflectionHelper::Parents 是上面的类

#define DEFINE_METACLASS(className, ...) \
private: \
typedef className SelfType; \
typedef ReflectionHelper::Parents<SelfType, __VA_ARGS__ > ParentList \

孤儿类的用法是：

class TestMetaClassDefine
{
DEFINE_METACLASS(TestMetaClassDefine);     
};

现在的问题是 __VA_ARGS__ 是空的，

typedef ReflectionHelper::Parents<SelfType, __VA_ARGS__ > ParentList;

因此无效。

我想到解决这个问题的一种方法是使用默认模板参数，但可变参数模板不允许这样做。

有人有解决这个问题的技术吗？

多谢

Answer 1

GCC 预处理器允许使用一种特殊语法，如果列表为空，则可以省略可变宏参数列表中的最后一个逗号：

#define MACRO(arg, ...) foo(arg, ##__VA_ARGS__)

这扩展了：

MACRO(a,b)   ->  foo(a, b)
MACRO(a)     ->  foo(a )

您可以将其用于 DEFINE_METACLASS 宏，以一次性涵盖所有情况。

更新：正如@Dennis所说，您可以在MSVC++中使用原始语法，它甚至不会产生尾随逗号。