根据参数包值定义模板

Question

此类中的方法使用一个索引序列，该索引序列包含覆盖整个data元组的索引序列（参数包中传递的每个参数的索引）。根据我看到的其他答案，我目前正在对我的方法进行模板化：

#include <tuple>
#include <memory>
#include <vector>

using std::tuple;

template <typename... Args>
class Foo
{
    protected:
        tuple<std::shared_ptr<std::vector<Args>>...> data;

    private:

        template<size_t...Is>
        void _clear_(std::index_sequence<Is...>) {
            (std::get<Is>(data)->clear(), ...);
        };

    public:

        void clear()
        { _clear_(std::index_sequence_for<Args...>()); };
};

不过，这看起来很混乱。我想知道是否有一种方法可以Is在类级别范围内定义（或者，更一般地说，是否有更好的方法来做到这一点）。

Answer 1

使用 C++17，您可以简单地使用std::apply：

void clear()
{
    std::apply([](auto&... vs){ (vs.clear(), ...); }, data);
}

我想知道是否有一种方法可以Is在类级别范围内定义

有额外的层：

template <typename Seq, typename...> class FooImpl;

template <std::size_t... Is, typename... Ts>
class FooImpl<std::index_sequence<Is...>, Ts...>
{
protected:
    std::tuple<std::shared_ptr<std::vector<Ts>>...> data;

public:
    void clear() { (std::get<Is>(data).clear(), ...); };
};

template <typename... Ts>
using Foo = FooImpl<std::make_index_sequence<sizeof...(Ts)>, Ts...>;