迭代参数包

Question

我有一个args...任意类型向量的参数包，对应于它有一个索引向量，v = {3,0,5...}其大小和顺序与 的成员数量相同args...。我想返回给出的索引处get_tuple的元素元组。args...v

这是到目前为止我所拥有的，但我一直在尝试迭代参数包的成员。

template<typename... Args>
auto get_tuple(const std::vector<size_t>& vector, const Args &... args) {
    return std::make_tuple(args[v[0]]...);
}

例如：

std::vector<std::string> v1 = {"a", "b"};
std::vector<int> v2 = {1,2};
std::vector<size_t> v = {0,1};
auto result = get_tuple(v, v1, v2); // ("a",2) expected

Answer 1

在 C++17 中，您需要额外的间接级别来获取一组索引，以获取这些索引处的一组元素：

template<typename... Args, std::size_t... Is>
auto get_tuple_impl(const std::vector<std::size_t>& indices,
                    std::index_sequence<Is...>,
                    const Args&... args) {
    return std::make_tuple(args[indices[Is]]...);
}

template<typename... Args>
auto get_tuple(const std::vector<std::size_t>& indices, const Args&... args) {
    return get_tuple_impl(indices, std::index_sequence_for<Args...>(), args...);
}

在 C++20 中，我们可以使用就地调用模板参数的 lambda 函数：

template<typename... Args>
auto get_tuple(const std::vector<std::size_t>& indices, const Args&... args) {
    return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
        return std::make_tuple(args[indices[Is]]...);
    }(std::index_sequence_for<Args...>());
}

您可能还想添加断言assert(indices.size() == sizeof...(Args));或使用std::array<std::size_t, N>类型。