c++ - 模板包包

Question

例如，我们有类型容器 <强> Container1< Pack1...> , Container2< Pack2...>等 如果我们写:

template <template <typename... Pack>
          typename ...Containers,

          typename... Pack
          >
auto Concatinate(Container<Pack...>...)
    -> Container<Pack...>;

这不适用于不同类型模板参数的容器。也就是说， 无法使用这些容器实例化函数: <强> Container1<Pack1...> , Container2<Pack2...>等 如果 Pack1... != Pack2...等等

但我想要一个像这个这样的小函数，它可以将模板参数的类型组合到一个容器中。

有没有

typename ... ... PackOfPack

?

(类型容器是指元组的结构类型)

Answer 1

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) 的解决方案是可能的，但过于复杂。这就是我在说。)