使用std :: apply和variadic包

Question

我正在尝试创建一个泛型类,它接受一组类型,将它们存储在元组中,并可以对它们应用函数.

到目前为止我尝试的是以下内容:

#include <tuple>
struct Base{
    virtual void base_function() = 0;
};

template<typename ...T>
struct A : public Base{
    std::tuple<T...> as;
    A(T... pack):as(pack...){};
    void base_function(){
        std::apply([](auto t){t.base_function();}, as);
    }
};

struct B : public Base{
    void base_function(){};
};


struct C : public Base{
    void base_function(){};
};

struct D : A<B, C>{
    D():A(B(),C()){};
};

我期望在D上调用base_function时从类B和C调用base_function但是编译器会生成以下错误:

错误:没有匹配函数来调用
' __invoke(A<T>::base_function() [with T = {B, C}]::<lambda(auto:1)>, std::__tuple_element_t<0, std::tuple<B, C> >&, std::__tuple_element_t<1, std::tuple<B, C> >&)'

Answer 1

第一个参数std::apply应该是一个具有相同arity的仿函数,即元组的元素数,所以在你的情况下是variadic:

template <typename ...Ts>
struct A : public Base{
    std::tuple<Ts...> as;
    A(Ts... pack) : as(pack...){}

    void base_function(){
        std::apply([](auto&... ts){(ts.base_function(), ...);}, as);
    }
};