使用可变参数模板模拟多重继承的语法问题

想要实现一个模板类InheritFrom，让自定义类继承它后，就能间接继承所有传入的模板参数类，期望用法如下：

class MyClass : public InheritFrom<ClassA, ClassB, ...> {
};

所有传入的类都具备默认构造函数，无需处理特殊构造逻辑。尝试了如下实现，但编译器报错，提示第二个InheritFrom是单参数重声明，而非单类参数的特化：

template <class A, class ... Args> class InheritFrom : public A, public InheritFrom<Args...> {
    // ...
};

template <class A> class InheritFrom : public A {
    // ...
};

你的代码问题在于：第二个模板定义并非对原可变参数模板的特化，而是重新声明了一个全新的单参数模板，导致编译器识别为重声明冲突。

修复递归版本（兼容C++11及以上） #

将单参数版本定义为原可变参数模板的偏特化即可解决语法问题：

// 主模板：递归处理多个基类
template <class First, class... Rest>
class InheritFrom : public First, public InheritFrom<Rest...> {
public:
    // 继承基类的构造函数（可选，若需要支持基类的非默认构造）
    using First::First;
    using InheritFrom<Rest...>::InheritFrom;
};

// 偏特化：递归终止条件，处理单个基类
template <class Only>
class InheritFrom<Only> : public Only {
public:
    using Only::Only;
};

C++17+ 简洁版本（无需递归） #

如果你的编译器支持C++17及以上，可以利用折叠表达式直接展开所有基类，写法更简洁：

template <class... Bases>
class InheritFrom : public Bases... {
public:
    // 继承所有基类的构造函数
    using Bases::Bases...;
};

这种方式直接将所有模板参数作为基类继承，无需编写递归终止的特化代码，语法更直观。

内容的提问来源于stack exchange，提问作者markt1964