获取包包
Obtaining a pack of packs
这是一个非常艰难的过程(至少对我而言)。我将从讨论我已经解决的更简单的任务开始。 ExpandPacks<Packs...>::type
是在Packs...
中从每个包中取出一个类型得到的所有包的包。例如
ExpandPacks<P<int, char>, P<bool, double, long>>::type
是
P< P<int, bool>, P<int, double>, P<int, long>, P<char, bool>, P<char, double>, P<char, long> >
我已经编写了对任意数量的包执行此操作的代码:
#include <iostream>
#include <type_traits>
template <typename T, typename Pack> struct Prepend;
template <typename...> struct Merge;
template <typename T, template <typename...> class P, typename... Ts>
struct Prepend<T, P<Ts...>> {
using type = P<T, Ts...>;
};
template <typename Pack>
struct Merge<Pack> {
using type = Pack;
};
template <template <typename...> class P, typename... Ts, typename... Us>
struct Merge<P<Ts...>, P<Us...>> {
using type = P<Ts..., Us...>;
};
template <typename First, typename... Rest>
struct Merge<First, Rest...> : Merge<First, typename Merge<Rest...>::type> {};
template <typename... Packs> struct ExpandPacks;
template <typename T, typename Pack> struct ExpandPacksHelper;
template <typename T, typename PackOfPacks> struct ExpandPacksHelper2;
template <typename Pack, typename PackOfPacks> struct ExpandPacksHelper3;
template <template <typename...> class P, typename T, typename... Ts>
struct ExpandPacksHelper<T, P<Ts...>> {
using type = P<P<T, Ts>...>;
};
template <template <typename...> class P, typename T, typename... Packs>
struct ExpandPacksHelper2<T, P<Packs...>> {
using type = P<typename Prepend<T, Packs>::type...>;
};
template <template <typename...> class P, typename... Ts, typename... Packs>
struct ExpandPacksHelper3<P<Ts...>, P<Packs...>> : Merge<typename ExpandPacksHelper2<Ts, P<Packs...>>::type...> {};
template <template <typename...> class P, typename... Ts, typename Pack>
struct ExpandPacks<P<Ts...>, Pack> : Merge<typename ExpandPacksHelper<Ts, Pack>::type...> {};
template <typename First, typename... Rest>
struct ExpandPacks<First, Rest...> : ExpandPacksHelper3<First, typename ExpandPacks<Rest...>::type> {};
// Testing
template <typename...> struct P;
int main() {
std::cout << std::boolalpha << std::is_same<
typename ExpandPacks<P<int, char>, P<bool, double, long>>::type,
P< P<int, bool>, P<int, double>, P<int, long>, P<char, bool>, P<char, double>, P<char, long> >
>::value << '\n'; // true
std::cout << std::is_same<
typename ExpandPacksHelper3<P<short, float>, P< P<int, bool>, P<int, double>, P<int, long>, P<char, bool>, P<char, double>, P<char, long> >>::type,
P< P<short, int, bool>, P<short, int, double>, P<short, int, long>, P<short, char, bool>, P<short, char, double>, P<short, char, long>, P<float, int, bool>, P<float, int, double>, P<float, int, long>, P<float, char, bool>, P<float, char, double>, P<float, char, long> >
>::value << '\n'; // true
std::cout << std::is_same<
typename ExpandPacks<P<short, float>, P<int, char>, P<bool, double, long>>::type,
P< P<short, int, bool>, P<short, int, double>, P<short, int, long>, P<short, char, bool>, P<short, char, double>, P<short, char, long>, P<float, int, bool>, P<float, int, double>, P<float, int, long>, P<float, char, bool>, P<float, char, double>, P<float, char, long> >
>::value << '\n'; // true
std::cout << std::is_same<
typename ExpandPacks<P<int, bool>, P<short, float>, P<int, char>, P<bool, double, long>>::type,
P< P<int, short, int, bool>, P<int, short, int, double>, P<int, short, int, long>, P<int, short, char, bool>, P<int, short, char, double>, P<int, short, char, long>, P<int, float, int, bool>, P<int, float, int, double>, P<int, float, int, long>, P<int, float, char, bool>, P<int, float, char, double>, P<int, float, char, long>,
P<bool, short, int, bool>, P<bool, short, int, double>, P<bool, short, int, long>, P<bool, short, char, bool>, P<bool, short, char, double>, P<bool, short, char, long>, P<bool, float, int, bool>, P<bool, float, int, double>, P<bool, float, int, long>, P<bool, float, char, bool>, P<bool, float, char, double>, P<bool, float, char, long> >
>::value << '\n'; // true
}
但现在我想概括一下。不是总是从每个包中选择一种类型,而是必须从每个包中选择 N 种类型,其中 N 是模板参数。如果 N 超过某个包的大小,则只需从该包中取出所有类型。应保留每个包中类型的顺序。但我完全被困在这里。此外,我没有指定输出包的任何特定顺序,这也使测试更加困难。这是一个例子:
ExpandPacks<2, P<int, char, short>, P<bool, double, long>>::type
是,根据包装顺序,
P< P<int, char, bool, double>, P<int, char, bool, long>, P<int, char, double, long>,
P<int, short, bool, double>, P<int, short, bool, long>, P<int, short, double, long>,
P<char, short, bool, double>, P<char, short, bool, long>, P<char, short, double, long> >
通过从 P<int, char, short>
中取出 2 个和从 P<bool, double, long>
中取出 2 个获得 4 包。我也可以定义
ExpandPacks<std::index_sequence<2,1>, P<int, char, short>, P<bool, double, long>>::type
表示从 P<int, char, short>
中取 2,从 P<bool, double, long>
中取 1,这应该是第一个问题解决后的简单扩展(或者立即解决这个问题,这将解决两个问题) .由于未指定输出包的顺序,我想测试输出的最简单方法是检查
ExpandPacks<1, P<int, char>, P<bool, double, long>>::type
或者,
ExpandPacks<std::index_sequence<1,1>, P<int, char>, P<bool, double, long>>::type
是
P< P<int, bool>, P<int, double>, P<int, long>, P<char, bool>, P<char, double>, P<char, long> >
因为那必须减少到我已经解决的版本。如果没有人能这么快解决这个问题,我愿意悬赏。谢谢。
更新:出于测试目的,我刚刚编写了一个程序来检查两组类型是否彼此相等直到类型的排列:http://ideone.com/zb7NA7
这可能对测试有帮助,因为此处未指定包的输出以任何特定顺序排列。
以下适用于两包(可以轻松扩展):
#include <type_traits>
template <typename...> struct pack {using type=pack;};
template <typename, typename> struct cat;
template <typename... l, typename... r>
struct cat<pack<l...>, pack<r...>> : pack<l..., r...> {};
template <typename T>
using eval = typename T::type;
//! N choose K
namespace detail{
template <typename, typename, std::size_t, typename...> struct n_choose_k;
template <typename head, typename... tail, std::size_t K, typename... prev>
struct n_choose_k<std::enable_if_t<(sizeof...(tail)+1 >= K && K > 0)>,
pack<head, tail...>, K, prev...> :
cat<typename n_choose_k<void, pack<tail...>, K-1, prev..., head>::type,
typename n_choose_k<void, pack<tail...>, K, prev...>::type> {};
template <typename... tail, typename... prev>
struct n_choose_k<void, pack<tail...>, 0, prev...> :
pack<pack<prev...>> {};
template <typename... tail, std::size_t K, typename... prev>
struct n_choose_k<std::enable_if_t<(K > sizeof...(tail))>,
pack<tail...>, K, prev...> : pack<> {};
}
template <typename p, std::size_t k>
using n_choose_k = eval<detail::n_choose_k<void, p, k>>;
//! Interleave
template <typename P, typename... Packs>
using cat_all = pack<eval<cat<P, Packs>>...>;
template <typename, typename> struct cross_interleave;
template <typename l, typename... ls, typename... r>
struct cross_interleave<pack<l, ls...>, pack<r...>> :
eval<cat<typename cat_all<l, r...>::type,
eval<cross_interleave<pack<ls...>, pack<r...>>>>> {};
template <typename... r>
struct cross_interleave<pack<>, pack<r...>> : pack<> {};
template <typename A, std::size_t Na, typename B, std::size_t Nb>
using interleave_multi = eval<cross_interleave<n_choose_k<A, Na>, n_choose_k<B, Nb>>>;
interleave_multi<pack<int, char>, 1, pack<bool, double, long>, 2>
的用法示例:
static_assert(
std::is_same<interleave_multi<pack<int, char>, 1, pack<bool, double, long>, 2>,
pack<pack<int, bool, double>, pack<int, bool, long int>,
pack<int, double, long int>, pack<char, bool, double>,
pack<char, bool, long int>, pack<char, double, long int>>>{}, "" );
Demo.
好的,我想我已经得到了我寻求的通用解决方案:
template <typename...> struct Merge;
template <typename Pack>
struct Merge<Pack> { using type = Pack; };
template <template <typename...> class P, typename... Ts, typename... Us>
struct Merge<P<Ts...>, P<Us...>> { using type = P<Ts..., Us...>; };
template <typename First, typename... Rest>
struct Merge<First, Rest...> : Merge<First, typename Merge<Rest...>::type> {};
// The all-important ExpandPacks class.
template <typename... PackOfPacks> struct ExpandPacks;
template <typename T, typename PackOfPacks> struct ExpandPacksHelper;
template <typename T, typename PackOfPacks> struct ExpandPacksHelper2;
template <template <typename...> class P, typename Pack, typename... Packs>
struct ExpandPacksHelper<Pack, P<Packs...>> {
using type = P<typename Merge<Pack, Packs>::type...>;
};
template <template <typename...> class P, typename... Packs, typename PackOfPacks>
struct ExpandPacksHelper2<P<Packs...>, PackOfPacks> : Merge<typename ExpandPacksHelper<Packs, PackOfPacks>::type...> {};
template <template <typename...> class P, typename... Packs, typename PackOfPacks>
struct ExpandPacks<P<Packs...>, PackOfPacks> : Merge<typename ExpandPacksHelper<Packs, PackOfPacks>::type...> {};
template <typename First, typename... Rest>
struct ExpandPacks<First, Rest...> : ExpandPacksHelper2<First, typename ExpandPacks<Rest...>::type> {};
// The Expand and ExpandGeneral classes themselves:
template <template <std::size_t, typename> class SubpackType, std::size_t N, typename... Packs>
struct Expand : ExpandPacks<typename SubpackType<N, Packs>::type...> {}; // Expanding using special subpacks of size N within each pack.
template <template <std::size_t, typename> class SubpackType, typename Indices, typename... Packs> struct ExpandGeneral;
template <template <std::size_t, typename> class SubpackType, std::size_t... Is, typename... Packs>
struct ExpandGeneral<SubpackType, std::index_sequence<Is...>, Packs...> : ExpandPacks<typename SubpackType<Is, Packs>::type...> {}; // Just as Expand, but using different N values for each pack.
将SubpackType
传递给Expand
(或ExpandGeneral
)将指定在扩展包中使用什么类型的子包,例如Columbo的n_choose_k
。但在这里我用 AllAdjacentSubpacks<N, Pack>
测试了它,它使用了 Pack
中由 N 个相邻类型组成的所有子包(Columbo 的 n_choose_k
的特例)。例如,我们有测试输出:
std::cout << std::is_same<
typename ExpandGeneral<AllAdjacentSubpacks, std::index_sequence<2,1,2>, P<short, float, int>, P<int, char>, P<bool, double, long>>::type,
P< P<short, float, int, bool, double>, P<short, float, int, double, long>, P<short, float, char, bool, double>, P<short, float, char, double, long>, P<float, int, int, bool, double>, P<float, int, int, double, long>, P<float, int, char, bool, double>, P<float, int, char, double, long> >
>::value << '\n'; // true
我在问题开头给出的第一个例子现在只是特例
Expand<AllAdjacentSubpacks, 1, P<int, char>, P<bool, double, long>>::type
给出了完全相同的输出。如果你很好奇,下面是上面测试中使用的 AllAdjacentSubpacks<N, Pack>
的实现:
// AllAdjacentSubpacks<N, Pack>::type is the pack of all subpacks consisting of N adjacent types in Pack.
template <std::size_t N, typename Pack> struct AllAdjacentSubpacks;
template <std::size_t N, std::size_t Count, typename Pack, typename Output> struct AllAdjacentSubpacksBuilder;
template <std::size_t N, typename Pack> struct Head;
template <std::size_t N, typename Pack, typename Output> struct HeadBuilder;
template <std::size_t N, template <typename...> class P, typename First, typename... Rest, typename... Ts>
struct HeadBuilder<N, P<First, Rest...>, P<Ts...>> : HeadBuilder<N-1, P<Rest...>, P<Ts..., First>> {};
template <template <typename...> class P, typename First, typename... Rest, typename... Ts>
struct HeadBuilder<0, P<First, Rest...>, P<Ts...>> { using type = P<Ts...>; };
template <template <typename...> class P, typename... Ts>
struct HeadBuilder<0, P<>, P<Ts...>> { using type = P<Ts...>; };
template <std::size_t N, template <typename...> class P, typename... Ts>
struct Head<N, P<Ts...>> : HeadBuilder<N, P<Ts...>, P<>> {};
template <std::size_t N, std::size_t Count, template <typename...> class P, typename First, typename... Rest, typename... Packs>
struct AllAdjacentSubpacksBuilder<N, Count, P<First, Rest...>, P<Packs...>> : AllAdjacentSubpacksBuilder<N, Count-1, P<Rest...>, P<Packs..., typename Head<N, P<First, Rest...>>::type>> {};
template <std::size_t N, template <typename...> class P, typename First, typename... Rest, typename... Packs>
struct AllAdjacentSubpacksBuilder<N, 0, P<First, Rest...>, P<Packs...>> {
using type = P<Packs...>;
};
template <std::size_t N, template <typename...> class P, typename... Packs>
struct AllAdjacentSubpacksBuilder<N, 0, P<>, P<Packs...>> {
using type = P<Packs...>;
};
template <std::size_t N, template <typename...> class P, typename... Ts>
struct AllAdjacentSubpacks<N, P<Ts...>> : AllAdjacentSubpacksBuilder<N, sizeof...(Ts) - N + 1, P<Ts...>, P<>> {};
这是一个非常艰难的过程(至少对我而言)。我将从讨论我已经解决的更简单的任务开始。 ExpandPacks<Packs...>::type
是在Packs...
中从每个包中取出一个类型得到的所有包的包。例如
ExpandPacks<P<int, char>, P<bool, double, long>>::type
是
P< P<int, bool>, P<int, double>, P<int, long>, P<char, bool>, P<char, double>, P<char, long> >
我已经编写了对任意数量的包执行此操作的代码:
#include <iostream>
#include <type_traits>
template <typename T, typename Pack> struct Prepend;
template <typename...> struct Merge;
template <typename T, template <typename...> class P, typename... Ts>
struct Prepend<T, P<Ts...>> {
using type = P<T, Ts...>;
};
template <typename Pack>
struct Merge<Pack> {
using type = Pack;
};
template <template <typename...> class P, typename... Ts, typename... Us>
struct Merge<P<Ts...>, P<Us...>> {
using type = P<Ts..., Us...>;
};
template <typename First, typename... Rest>
struct Merge<First, Rest...> : Merge<First, typename Merge<Rest...>::type> {};
template <typename... Packs> struct ExpandPacks;
template <typename T, typename Pack> struct ExpandPacksHelper;
template <typename T, typename PackOfPacks> struct ExpandPacksHelper2;
template <typename Pack, typename PackOfPacks> struct ExpandPacksHelper3;
template <template <typename...> class P, typename T, typename... Ts>
struct ExpandPacksHelper<T, P<Ts...>> {
using type = P<P<T, Ts>...>;
};
template <template <typename...> class P, typename T, typename... Packs>
struct ExpandPacksHelper2<T, P<Packs...>> {
using type = P<typename Prepend<T, Packs>::type...>;
};
template <template <typename...> class P, typename... Ts, typename... Packs>
struct ExpandPacksHelper3<P<Ts...>, P<Packs...>> : Merge<typename ExpandPacksHelper2<Ts, P<Packs...>>::type...> {};
template <template <typename...> class P, typename... Ts, typename Pack>
struct ExpandPacks<P<Ts...>, Pack> : Merge<typename ExpandPacksHelper<Ts, Pack>::type...> {};
template <typename First, typename... Rest>
struct ExpandPacks<First, Rest...> : ExpandPacksHelper3<First, typename ExpandPacks<Rest...>::type> {};
// Testing
template <typename...> struct P;
int main() {
std::cout << std::boolalpha << std::is_same<
typename ExpandPacks<P<int, char>, P<bool, double, long>>::type,
P< P<int, bool>, P<int, double>, P<int, long>, P<char, bool>, P<char, double>, P<char, long> >
>::value << '\n'; // true
std::cout << std::is_same<
typename ExpandPacksHelper3<P<short, float>, P< P<int, bool>, P<int, double>, P<int, long>, P<char, bool>, P<char, double>, P<char, long> >>::type,
P< P<short, int, bool>, P<short, int, double>, P<short, int, long>, P<short, char, bool>, P<short, char, double>, P<short, char, long>, P<float, int, bool>, P<float, int, double>, P<float, int, long>, P<float, char, bool>, P<float, char, double>, P<float, char, long> >
>::value << '\n'; // true
std::cout << std::is_same<
typename ExpandPacks<P<short, float>, P<int, char>, P<bool, double, long>>::type,
P< P<short, int, bool>, P<short, int, double>, P<short, int, long>, P<short, char, bool>, P<short, char, double>, P<short, char, long>, P<float, int, bool>, P<float, int, double>, P<float, int, long>, P<float, char, bool>, P<float, char, double>, P<float, char, long> >
>::value << '\n'; // true
std::cout << std::is_same<
typename ExpandPacks<P<int, bool>, P<short, float>, P<int, char>, P<bool, double, long>>::type,
P< P<int, short, int, bool>, P<int, short, int, double>, P<int, short, int, long>, P<int, short, char, bool>, P<int, short, char, double>, P<int, short, char, long>, P<int, float, int, bool>, P<int, float, int, double>, P<int, float, int, long>, P<int, float, char, bool>, P<int, float, char, double>, P<int, float, char, long>,
P<bool, short, int, bool>, P<bool, short, int, double>, P<bool, short, int, long>, P<bool, short, char, bool>, P<bool, short, char, double>, P<bool, short, char, long>, P<bool, float, int, bool>, P<bool, float, int, double>, P<bool, float, int, long>, P<bool, float, char, bool>, P<bool, float, char, double>, P<bool, float, char, long> >
>::value << '\n'; // true
}
但现在我想概括一下。不是总是从每个包中选择一种类型,而是必须从每个包中选择 N 种类型,其中 N 是模板参数。如果 N 超过某个包的大小,则只需从该包中取出所有类型。应保留每个包中类型的顺序。但我完全被困在这里。此外,我没有指定输出包的任何特定顺序,这也使测试更加困难。这是一个例子:
ExpandPacks<2, P<int, char, short>, P<bool, double, long>>::type
是,根据包装顺序,
P< P<int, char, bool, double>, P<int, char, bool, long>, P<int, char, double, long>,
P<int, short, bool, double>, P<int, short, bool, long>, P<int, short, double, long>,
P<char, short, bool, double>, P<char, short, bool, long>, P<char, short, double, long> >
通过从 P<int, char, short>
中取出 2 个和从 P<bool, double, long>
中取出 2 个获得 4 包。我也可以定义
ExpandPacks<std::index_sequence<2,1>, P<int, char, short>, P<bool, double, long>>::type
表示从 P<int, char, short>
中取 2,从 P<bool, double, long>
中取 1,这应该是第一个问题解决后的简单扩展(或者立即解决这个问题,这将解决两个问题) .由于未指定输出包的顺序,我想测试输出的最简单方法是检查
ExpandPacks<1, P<int, char>, P<bool, double, long>>::type
或者,
ExpandPacks<std::index_sequence<1,1>, P<int, char>, P<bool, double, long>>::type
是
P< P<int, bool>, P<int, double>, P<int, long>, P<char, bool>, P<char, double>, P<char, long> >
因为那必须减少到我已经解决的版本。如果没有人能这么快解决这个问题,我愿意悬赏。谢谢。
更新:出于测试目的,我刚刚编写了一个程序来检查两组类型是否彼此相等直到类型的排列:http://ideone.com/zb7NA7 这可能对测试有帮助,因为此处未指定包的输出以任何特定顺序排列。
以下适用于两包(可以轻松扩展):
#include <type_traits>
template <typename...> struct pack {using type=pack;};
template <typename, typename> struct cat;
template <typename... l, typename... r>
struct cat<pack<l...>, pack<r...>> : pack<l..., r...> {};
template <typename T>
using eval = typename T::type;
//! N choose K
namespace detail{
template <typename, typename, std::size_t, typename...> struct n_choose_k;
template <typename head, typename... tail, std::size_t K, typename... prev>
struct n_choose_k<std::enable_if_t<(sizeof...(tail)+1 >= K && K > 0)>,
pack<head, tail...>, K, prev...> :
cat<typename n_choose_k<void, pack<tail...>, K-1, prev..., head>::type,
typename n_choose_k<void, pack<tail...>, K, prev...>::type> {};
template <typename... tail, typename... prev>
struct n_choose_k<void, pack<tail...>, 0, prev...> :
pack<pack<prev...>> {};
template <typename... tail, std::size_t K, typename... prev>
struct n_choose_k<std::enable_if_t<(K > sizeof...(tail))>,
pack<tail...>, K, prev...> : pack<> {};
}
template <typename p, std::size_t k>
using n_choose_k = eval<detail::n_choose_k<void, p, k>>;
//! Interleave
template <typename P, typename... Packs>
using cat_all = pack<eval<cat<P, Packs>>...>;
template <typename, typename> struct cross_interleave;
template <typename l, typename... ls, typename... r>
struct cross_interleave<pack<l, ls...>, pack<r...>> :
eval<cat<typename cat_all<l, r...>::type,
eval<cross_interleave<pack<ls...>, pack<r...>>>>> {};
template <typename... r>
struct cross_interleave<pack<>, pack<r...>> : pack<> {};
template <typename A, std::size_t Na, typename B, std::size_t Nb>
using interleave_multi = eval<cross_interleave<n_choose_k<A, Na>, n_choose_k<B, Nb>>>;
interleave_multi<pack<int, char>, 1, pack<bool, double, long>, 2>
的用法示例:
static_assert(
std::is_same<interleave_multi<pack<int, char>, 1, pack<bool, double, long>, 2>,
pack<pack<int, bool, double>, pack<int, bool, long int>,
pack<int, double, long int>, pack<char, bool, double>,
pack<char, bool, long int>, pack<char, double, long int>>>{}, "" );
Demo.
好的,我想我已经得到了我寻求的通用解决方案:
template <typename...> struct Merge;
template <typename Pack>
struct Merge<Pack> { using type = Pack; };
template <template <typename...> class P, typename... Ts, typename... Us>
struct Merge<P<Ts...>, P<Us...>> { using type = P<Ts..., Us...>; };
template <typename First, typename... Rest>
struct Merge<First, Rest...> : Merge<First, typename Merge<Rest...>::type> {};
// The all-important ExpandPacks class.
template <typename... PackOfPacks> struct ExpandPacks;
template <typename T, typename PackOfPacks> struct ExpandPacksHelper;
template <typename T, typename PackOfPacks> struct ExpandPacksHelper2;
template <template <typename...> class P, typename Pack, typename... Packs>
struct ExpandPacksHelper<Pack, P<Packs...>> {
using type = P<typename Merge<Pack, Packs>::type...>;
};
template <template <typename...> class P, typename... Packs, typename PackOfPacks>
struct ExpandPacksHelper2<P<Packs...>, PackOfPacks> : Merge<typename ExpandPacksHelper<Packs, PackOfPacks>::type...> {};
template <template <typename...> class P, typename... Packs, typename PackOfPacks>
struct ExpandPacks<P<Packs...>, PackOfPacks> : Merge<typename ExpandPacksHelper<Packs, PackOfPacks>::type...> {};
template <typename First, typename... Rest>
struct ExpandPacks<First, Rest...> : ExpandPacksHelper2<First, typename ExpandPacks<Rest...>::type> {};
// The Expand and ExpandGeneral classes themselves:
template <template <std::size_t, typename> class SubpackType, std::size_t N, typename... Packs>
struct Expand : ExpandPacks<typename SubpackType<N, Packs>::type...> {}; // Expanding using special subpacks of size N within each pack.
template <template <std::size_t, typename> class SubpackType, typename Indices, typename... Packs> struct ExpandGeneral;
template <template <std::size_t, typename> class SubpackType, std::size_t... Is, typename... Packs>
struct ExpandGeneral<SubpackType, std::index_sequence<Is...>, Packs...> : ExpandPacks<typename SubpackType<Is, Packs>::type...> {}; // Just as Expand, but using different N values for each pack.
将SubpackType
传递给Expand
(或ExpandGeneral
)将指定在扩展包中使用什么类型的子包,例如Columbo的n_choose_k
。但在这里我用 AllAdjacentSubpacks<N, Pack>
测试了它,它使用了 Pack
中由 N 个相邻类型组成的所有子包(Columbo 的 n_choose_k
的特例)。例如,我们有测试输出:
std::cout << std::is_same<
typename ExpandGeneral<AllAdjacentSubpacks, std::index_sequence<2,1,2>, P<short, float, int>, P<int, char>, P<bool, double, long>>::type,
P< P<short, float, int, bool, double>, P<short, float, int, double, long>, P<short, float, char, bool, double>, P<short, float, char, double, long>, P<float, int, int, bool, double>, P<float, int, int, double, long>, P<float, int, char, bool, double>, P<float, int, char, double, long> >
>::value << '\n'; // true
我在问题开头给出的第一个例子现在只是特例
Expand<AllAdjacentSubpacks, 1, P<int, char>, P<bool, double, long>>::type
给出了完全相同的输出。如果你很好奇,下面是上面测试中使用的 AllAdjacentSubpacks<N, Pack>
的实现:
// AllAdjacentSubpacks<N, Pack>::type is the pack of all subpacks consisting of N adjacent types in Pack.
template <std::size_t N, typename Pack> struct AllAdjacentSubpacks;
template <std::size_t N, std::size_t Count, typename Pack, typename Output> struct AllAdjacentSubpacksBuilder;
template <std::size_t N, typename Pack> struct Head;
template <std::size_t N, typename Pack, typename Output> struct HeadBuilder;
template <std::size_t N, template <typename...> class P, typename First, typename... Rest, typename... Ts>
struct HeadBuilder<N, P<First, Rest...>, P<Ts...>> : HeadBuilder<N-1, P<Rest...>, P<Ts..., First>> {};
template <template <typename...> class P, typename First, typename... Rest, typename... Ts>
struct HeadBuilder<0, P<First, Rest...>, P<Ts...>> { using type = P<Ts...>; };
template <template <typename...> class P, typename... Ts>
struct HeadBuilder<0, P<>, P<Ts...>> { using type = P<Ts...>; };
template <std::size_t N, template <typename...> class P, typename... Ts>
struct Head<N, P<Ts...>> : HeadBuilder<N, P<Ts...>, P<>> {};
template <std::size_t N, std::size_t Count, template <typename...> class P, typename First, typename... Rest, typename... Packs>
struct AllAdjacentSubpacksBuilder<N, Count, P<First, Rest...>, P<Packs...>> : AllAdjacentSubpacksBuilder<N, Count-1, P<Rest...>, P<Packs..., typename Head<N, P<First, Rest...>>::type>> {};
template <std::size_t N, template <typename...> class P, typename First, typename... Rest, typename... Packs>
struct AllAdjacentSubpacksBuilder<N, 0, P<First, Rest...>, P<Packs...>> {
using type = P<Packs...>;
};
template <std::size_t N, template <typename...> class P, typename... Packs>
struct AllAdjacentSubpacksBuilder<N, 0, P<>, P<Packs...>> {
using type = P<Packs...>;
};
template <std::size_t N, template <typename...> class P, typename... Ts>
struct AllAdjacentSubpacks<N, P<Ts...>> : AllAdjacentSubpacksBuilder<N, sizeof...(Ts) - N + 1, P<Ts...>, P<>> {};