模板化模板的多重继承

Question

我想通过模板参数进行多重继承，并在每个基 class 中传递对 this 的引用，这样我就可以从每个基 class 中调用顶级对象的方法方法。我可以通过手动继承来做到这一点，但我希望能够通过模板参数来做到这一点。

#include <cstdio>

template <typename T>
struct Foo {
    Foo(T &t)
        : t_(t) {

    }

    void foo() {
        t_.call("foo");
    }

    T &t_;
};

template <typename T>
struct Bar {
    Bar(T &t)
        : t_(t) {

    }

    void bar() {
        t_.call("bar");
    }

    T &t_;
};

template <template<typename> typename... Methods>
struct Impl : public Methods<Impl>... {
    Impl() 
        : Methods<Impl>(*this)... {

    }

    void call(const char *m) {
        printf(m);
    }
};

int main() {
    auto t = Impl<Foo, Bar>();

    t.foo();
    t.bar();
}

我试过这种方法，但它给出了 type/value mismatch at argument 1 in template parameter list for 'template<class> class ... Methods'

Answer 1

感谢@Nicol Bolas，他建议为此使用 static_cast 和 CRTP

#include <cstdio>

template <typename T>
struct Foo {
    void foo() {
        static_cast<T*>(this)->call("foo");
    }
};

template <typename T>
struct Bar {
    void bar() {
        static_cast<T*>(this)->call("bar");
    }
};

template <template<typename> typename... Methods>
struct Impl : public Methods<Impl<Methods...>>... {
    Impl() {

    }

    void call(const char *m) {
        printf(m);
    }
};

int main() {
    auto t = Impl<Foo, Bar>();

    t.foo();
    t.bar();
}

模板化模板的多重继承

Multiple inheritance with templated template

c++

templates

metaprogramming

variadic-templates

c++20