包的模板包

C++中没有... ...可以做你想做的事。

你必须编写更复杂的元编程来配对。

template<class T0, class...Ts>
struct pack_concat;
template<class T0>
struct pack_concat<T0> { using type=T0; };
template<template<class...>class C0, template<class...>class C1, class...T0s, class...T1s, class Ts...>
struct pack_concat< C0<T0s...>, C1<T1s...>, Ts... >:
pack_concat< C0<T0s..., T1s...>, Ts... >
{};
template<class T0, class...Ts>
using pack_concat_t = typename pack_concat<T0, Ts...>::type;

因此，您的代码变为：

template<
template<class...>class Container,
class... Pack,
class... Rest
>
auto Concatinate(Container<Pack...> c0, Rest...)
-> pack_concat_t< Container<Pack...>, Rest... >;

(请注意，这是 O(n^2( 总实例化"名称"长度;O(n lg n( 解决方案是可能的，但过于复杂。 这是我在说话。

使用std::tuple_cat()怎么样？

我的意思是。。。下面这样的事情呢？

template <template <typename ...> class Cnt, typename ... Ts>
std::tuple<Ts...> to_tuple (Cnt<Ts...>);
template <typename ... Ts>
auto concatinate (Ts ... ts)
-> decltype ( std::tuple_cat(to_tuple(ts)...) );

前面的concatinate()返回一个std::tuple，其中包含所有Ts...类型容器中包含的所有类型(假设所有Ts...都是容器类型(，但如果你想要另一个返回容器，则构造from_tuple()函数(所以-> decltype ( from_tuple(std::tuple_cat(to_tuple(ts)...)) );(是微不足道的

以下是完整的编译示例

#include <tuple>
#include <iostream>
#include <functional>
template <template <typename ...> class Cnt, typename ... Ts>
std::tuple<Ts...> to_tuple (Cnt<Ts...>);
template <typename ... Ts>
auto concatinate (Ts ... ts)
-> decltype ( std::tuple_cat(to_tuple(ts)...) );

template <typename...> struct cnt1 { };
template <typename...> struct cnt2 { };
template <typename...> struct cnt3 { };
int main()
{
using pack1 = cnt1<int, long, long long>;
using pack2 = cnt2<long, long long, long>;
using pack3 = cnt3<long long, long, int>;
using expected_tuple = std::tuple<int, long, long long,
long, long long, long,
long long, long, int>;
using final_tuple = decltype(concatinate(std::declval<pack1>(),
std::declval<pack2>(),
std::declval<pack3>()));
static_assert( std::is_same_v<expected_tuple, final_tuple>, "!" );
}