可变参数模板复合继承生成

variadic template complex inheritance generation

本文关键字：继承 复合 变参 参数      更新时间：2023-10-16

玩了一下可变参数模板，试图看看可以用它们做什么，我发现自己想知道一些事情：

假设我有一个类，它可以将其他几个类作为模板参数，每个类都有一个嵌套类（我们称之为nested_class）：

template<typename... Classes> class MyClass {
    class InnerClass { ... };
};

我想实现的是 MyClass 内部，创建一个继承自每个参数类嵌套类的类。

例如：

class A1 {
public:
    struct nested_class {
        do_stuff() { ... }
    };
};
class A2 {
public:
    struct nested_class {
        do_other_stuff() { ... }
    };
};
using C = MyClass<A1, A2>;

这个想法是C有它的嵌套类InnerClass，它继承了A1：：nested_class和A2：：nested_class。

有什么东西可以做到这样的事情吗？我个人想不出办法，但也许有可能。像亚历山德雷斯库的层次结构生成器（可以在洛基：http://loki-lib.sourceforge.net/html/a00653.html 中找到）这样的继承层次结构构建器会有所帮助吗？

如果有人有想法，提前感谢。

要使InnerClass派生自所有nested_class es，您应该使用Classes::nested_class...模式：

#include <iostream>
#include <type_traits>
template <class... Classes>
class Myclass
{
public:
    class InnerClass: public Classes::nested_class...
    {
    };
};
class A1 {
public:
    struct nested_class {
        void do_stuff() { /*...*/ }
    };
};
class A2 {
public:
    struct nested_class {
        void do_other_stuff() { /*...*/ }
    };
};
int main()
{
    using Class = Myclass<A1, A2>;
    std::cout << std::is_base_of<A1::nested_class, Class::InnerClass>::value << std::endl;
    std::cout << std::is_base_of<A2::nested_class, Class::InnerClass>::value << std::endl;
    return 0;
}
相关文章：