本文介绍了从任意嵌套的元组类型获取展平的元组类型的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
我希望有一个类型特征flatten_tuple_t，它可以从任意嵌套类型创建平面化元组类型。以下代码片段说明了flatten_tuple_t的预期内容。
template <typename T>
struct flatten_tuple {
using type = T;
};
// The real implementation goes here
// ...
// ...
template <typename T>
using flatten_tuple_t = typename flatten_tuple<T>::type;
// Dummy classes
struct C1 {};
struct C2 {};
struct C3 {};
struct C4 {};
struct C5 {};
struct C6 {};
int main(int argc, char* argv[]) {
static_assert(
std::is_same_v<flatten_tuple_t<std::tuple<C6, C5, std::tuple<C4, std::tuple<C3>, C2>, C1>>,
std::tuple<C6, C5, C4, C3, C2, C1>>);
static_assert(std::is_same_v<flatten_tuple_t<std::tuple<std::tuple<std::tuple<C3>, C2>, C1>>,
std::tuple<C3, C2, C1>>);
}
推荐答案
您可以让std::tuple_cat()为您完成繁重的工作。
std::tuple<>中。但是，由于我们需要使用部分专门化来提取类型，因此我们可以只使用基本模板，而不是将其保留为未定义。
template <typename T>
struct flatten_tuple {
using type = std::tuple<T>;
};
template <typename T>
using flatten_tuple_t = typename flatten_tuple<T>::type;
template <typename... Ts>
struct flatten_tuple<std::tuple<Ts...>> {
using type = decltype(
std::tuple_cat(std::declval<flatten_tuple_t<Ts>>()...)
);
};
如果基例中的using type = T;是绝对必须的，则重命名结构flatten_tuple_helper并委托给它相当简单。
这篇关于从任意嵌套的元组类型获取展平的元组类型的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！
本站部分内容来源互联网,如果有图片或者内容侵犯您的权益请联系我们删除！