使用可变参数模板模拟多个 inheritance

Question

我不完全确定这是否可行，或者如果可行的话我需要使用什么语法，但我想制作一个 class 公开派生自可变参数 arguments 中提供的所有类，以便我可以从该单一派生class，从而派生自提供给它的所有类。

我想要做的是声明如下内容：

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

因此 InheritFrom 模板 class 有效地公开派生自所有列出的类。 在我的用例中，提供的每个 class 都有一个默认构造函数，因此不需要调用特殊的构造函数。

我试图做的是：

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

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

并有效地将本来是多个 inheritance 的东西变成单个 inheritance 层次结构，但编译器抱怨第二个InheritFrom声明，它应该是一个专门化，其中只给出一个 class，因为它是一个带有一个参数的重新声明。 这些类中的每一个的主体最终都会有更多的细节，但现在我只是想弄清楚如何获得正确的语法。

Answer 1

在 c++17 你只需要扩展包，仅此而已。

#include<iostream>
#include<type_traits>

template <class ...T> class InheritFrom : public T... {
};

struct Foo {};

struct Bar {};

struct Baz : InheritFrom<Foo, Bar> {};

int main(){
    std::cout << std::is_base_of_v<Foo, Baz> << std::is_base_of_v<Bar, Baz>;
}