c++ - 将 std::apply 与可变参数包一起使用

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 时，我希望 apply 在 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

of 的第一个参数std::apply应该是一个与元组元素数量相同的函子，因此在您的情况下是可变的：

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);
    }
};

Answer 2

std::apply没有按照你的想法去做。它用于将参数元组传递给函数（可调用类型）。换句话说，元组本身没有一个名为base_function. 请参阅https://en.cppreference.com/w/cpp/utility/apply