如何將值的元組中的對應值附加到相同類型的向量的元組中？

Question

我有一個數組類的結構

template <typename... Ts>
class soa {
    std::tuple<std::vector<Ts>...> vectors;
    void push_back(std::tuple<Ts...> values);
}

我希望push_back將值的元組推到每種類型的每個對應向量上。 我當時正在考慮使用index_sequences做些事情，但我不太確定如何正確進行包擴展。

這就是我的想法，但是擴展無法正常工作。 我應該如何正確進行擴展？

template <typename... Ts>
class soa {
    std::tuple<std::vector<Ts>...> vectors;

    template <std::size_t... Is>
    void push_back_impl(std::tuple<Ts...> values, std::index_sequence<Is...>) {
        // Some kind of pack expansion here
        // This doesn't work, but is kinda what I want
        //std::get<Is>(vectors).push_back(std::get<Is>(values))...;
    }

    void push_back(std::tuple<Ts...> values) {
        push_back_impl(values, std::index_sequence_for<Ts...>{});
    }
};

如果我使用的index_sequence錯誤，也請糾正我。 元編程讓我有點頭暈。

Answer 1

在C ++ 17之前的版本中，您可以使用eater ：

template<class... Ts> void eater(Ts... ts) {}

然后該函數可以是：

template <std::size_t... Is>
void push_back_impl(std::tuple<Ts...> values, std::index_sequence<Is...>) {
    eater((std::get<Is>(vectors).push_back(std::get<Is>(values)), 0)...);
}

在C ++ 17中，只需使用逗號運算符：

template <std::size_t... Is>
void push_back_impl(std::tuple<Ts...> values, std::index_sequence<Is...>) {
    (std::get<Is>(vectors).push_back(std::get<Is>(values)),...);
}