序章
私の答えは、C++11ユーザーに好まれる答えを目指しています。
Joel Falcouの答えは古い標準には最適ですが、C ++ 11のパラメーターパックにより、ブーストタイプのシーケンスが廃止されることがよくあります。さらに、この場合、ピギーバッキングテンプレートの方がを使用するよりも優れていると思いますboost::lambda。 実際、私のソリューションでは、標準ライブラリにないため、ここから取得するデカルト積テンプレートを除いて、インクルードをまったく使用していません。
現在最新の機能（C ++ 11以降）を使用すると、次のようなソリューションをコーディングできます。
- スケーリングが向上します。
- 短い
- ソリューションが懸念事項を分離するため、より読みやすくなります。
さまざまなテンプレートの説明：
expand_packそのパラメータを実行します。これにより、省略記号を使用してランタイムコードを繰り返すことができます。例：expand_pack(new T{}...)。このイディオムの名前を知っている人はいますか？
wrap_template_as_typeテンプレートをピギーバックして、タイプが予想される場所で使用できるようにします。たぶん、このイディオムは、テンプレートの再バインドまたは後期テンプレートのバインドと呼ばれます。わからないので、この質問をここに投稿しました。例：wrap_template_as_type<map>およびその逆wrapper::unwrapp<int, string>
type_listデータ、ベル、ウィッセルのないタプル。
template_listテンプレートのリストを取得し、ラッパーにピギーバックされた元のテンプレートを含むtype_listを返すテンプレート。
make_host_typeに変換A, B, C, DしますA<B<C<D>>>
all_hostsホストタイプのタプルを取得し、入力タプルの要素ごとに1つのホストを通知します。
完全な例
#include http://...リンクされたコンテンツに置き換える必要があることに注意してください
MSVCはPRETTY_FUNCTIONを理解していませんが、FUNCDNAMEは理解していると思います。
#include <iostream>
#include <typeinfo>
#include https://stackoverflow.com/a/19611856/2712726
template<typename... Ts> void expand_pack (Ts... t) {}
template <template<typename...> class T>
struct wrapp_template_as_type {
template <typename... Us> using unwrapp = T <Us...>;
};
template<typename... T> struct type_list {};
template <template<typename...> class... Ts>
struct template_list {
using type = type_list< wrapp_template_as_type<Ts>... >;
};
struct TraitA{}; struct TraitB{}; struct TraitC{}; struct TraitD{}; struct TraitE{}; struct TraitF{};
template<typename Trait> struct WhateverA{};
template<typename Trait> struct WhateverB{};
template<typename Whatever> struct FunctionalityA{};
template<typename Whatever> struct FunctionalityB{};
template<typename Whatever> struct FunctionalityC{};
template<typename Whatever> struct FunctionalityD{};
template<typename Func> struct FuncUserA{};
template<typename Func> struct FuncUserB{};
template<typename Func> struct FuncUserC{};
template<typename FuncUser> struct Host { Host() {std::cout << __PRETTY_FUNCTION__ << std::endl;}};
template<typename T> struct make_host_type;
template<template<typename...> class List, typename T, typename... Ts>
struct make_host_type < List<T, Ts...> > {
using type = typename T::template unwrapp < typename make_host_type< List<Ts...> >::type >;
};
template<template<typename...> class List, typename T>
struct make_host_type < List<T> > {
using type = T;
};
template <typename T> struct all_hosts;
template <template<typename...> class Hosts, typename... Ts>
struct all_hosts <Hosts<Ts...> > {
static void create () {
expand_pack (new typename make_host_type<Ts>::type{}...);
}
};
int main () {
using a = type_list < TraitA, TraitB, TraitC, TraitD, TraitE, TraitF >;
using b = typename template_list < WhateverA, WhateverB>::type;
using c = typename template_list < FunctionalityA, FunctionalityB, FunctionalityC, FunctionalityD >::type;
using d = typename template_list < FuncUserA, FuncUserB, FuncUserC >::type;
using e = typename template_list < Host >::type;
using p = typename product<type_list, e, d, c, b, a>::type; // create a type_list of all possible Host types.
all_hosts<p>::create(); // calls constructor for each Host type
}
出力は次のとおりです（MSVCを使用する場合は、PRETTY_FUNCTIONを別のものに置き換えてください）
Host<FuncUser>::Host() [with FuncUser = FuncUserC<FunctionalityD<WhateverB<TraitF> > >]
Host<FuncUser>::Host() [with FuncUser = FuncUserB<FunctionalityD<WhateverB<TraitF> > >]
Host<FuncUser>::Host() [with FuncUser = FuncUserA<FunctionalityD<WhateverB<TraitF> > >]
Host<FuncUser>::Host() [with FuncUser = FuncUserC<FunctionalityC<WhateverB<TraitF> > >]
Host<FuncUser>::Host() [with FuncUser = FuncUserB<FunctionalityC<WhateverB<TraitF> > >]
Host<FuncUser>::Host() [with FuncUser = FuncUserA<FunctionalityC<WhateverB<TraitF> > >]
Host<FuncUser>::Host() [with FuncUser = FuncUserC<FunctionalityB<WhateverB<TraitF> > >]
Host<FuncUser>::Host() [with FuncUser = FuncUserB<FunctionalityB<WhateverB<TraitF> > >]
...
Host<FuncUser>::Host() [with FuncUser = FuncUserA<FunctionalityA<WhateverA<TraitA> > >]