如何将元素中的数据分组为元组向量

Question

我想将元素中的元素数据分组为室内的元组。 给定的是包含数据的元组元组。有多种重复类型，该数据应分组为每种唯一类型的向量。

到目前为止 boost :: mp11 是我发现的最优雅的方式 std :: tuple＆lt; std :: vector＆lt; t1＆gt;，std :: tuple＆lt; std :: vector＆lt; t2＆gt;，...＆gt; 基于传入参数包 std :: tuple＆lt; std :: tuple＆lt; some_data＆gt;，std :: tuple＆lt＆lt; std :: tuple＆lt; some_more_more_data＆gt;，... 使用 mp_unique 和 mp_transform 获取每种唯一类型的向量。

如果您知道 std :: ish替代方案（可选），请开心。

我被困在寻找一种将元组元素填充到匹配矢量中的方法吗？ 我很兴奋，找到一种折叠的表达方式。

这个示例应该有助于更好地了解我的想法。

template <typename T> using vector_of = std::vector<T>;

static constexpr auto tuple_to_vector(auto&&... Vs) noexcept {
    // merged_tuple = std::tuple<int, double, int, char, int, float, char, float, double>
    auto merged_tuple = std::tuple_cat(std::forward<decltype(Vs)>(Vs)...);
  
    // vector_t = std::tuple<std::vector<int>, std::vector<double>, std::vector<char>, std::vector<float>>
    using vector_t = boost::mp11::mp_transform<vector_of, boost::mp11::mp_unique<decltype(merged_tuple)>>; 
    vector_t vec;

    // how to add merged_tuple elements to vec
    // resulting in
    // std::tuple< std::vector<int>{1,3,2}, std::vector<double>{2.0,3.0}, std::vector<char>{'b','c'}, std::vector<float>{3.0f,2.0f}>
  
    return std::move(vec);
    
};

int main() {
    constexpr auto vec = tuple_to_vector(
        std::make_tuple(1,2.0,3),
        std::make_tuple('b',2,3.0f),
        std::make_tuple('c',2.0f,3.0)
    );
    // expecting
    // vec = std::tuple<
    //  std::vector<int>{1,3,2},
    //  std::vector<double>{2.0,3.0},
    //  std::vector<char>{'b','c'},
    //  std::vector<float>{3.0f,2.0f}
    // >
    return 42;
}

Answer 1

您可以使用 std :: apply MERGED_TUPLE 的元素，并使用 std :: get 根据该类型提取相应的 vector 在 vector_t 中根据该类型该元素的内容，然后通过 vector 通过 push_back

std::apply([&vec](auto... args) {
   (std::get<std::vector<decltype(args)>>(vec).push_back(args), ...);
}, merged_tuple);

demo

请注意， vec 不能 constexpr 即使在C ++ 20中，由于其分配是非传播的。如果您真的想构造 constexpr 元组，则可以使用 std ::数组，因为可以在编译时获得数组的大小。这是 demo 将结果转换为相应的 vec std ::数组类型。