C++ 14でオプションのテンプレートパラメータを持つ型のタプルを作ることは可能ですか？

Question

私はシミュレータで作業しています。このシミュレータは、入力として2種類のモデル、行動、および構造を受け取ります。

動作モデルは、いくつかの必要な機能を提供し、テンプレートパラメータ「TIME」を必要とするクラスです。

構造モデルは、一連のモデル（行動または構造）とそれらの間の相互作用のリストです。構造モデルは動作を提供しないため、TIMEのパラメータは必要ありません。行動モデルの

例：構造モデルの

template<typename TIME> 
struct B {...}; 

例：

template<typename connections, typename Ms> 
struct S { 
    template<typename TIME> 
    using models=typename Ms::template type<TIME>; 
    ... 
}; 

主な問題は、ここで "モデル" です。 そこにリストされているように、すべてのモデルはTIMEテンプレートパラメータを取得し、私が望むだけ多くのBモデルを取得できます。しかし、私はそれにSモデルを渡すことはできません。 models_tupleの

私の実装では、次の

template<template<typename TIME> class... Ms> 
struct models_tuple { 
    template<typename T> 
    using type=std::tuple<Ms<T>...>; 
}; 

は、私はタプルがそれなしで、テンプレートパラメータ（時間）と他の人とクラスの両方を受信することができます方法はありますか？ 私はクラスが関数の実装の要件をカバーしていることを検証するためにstatic_assertを使用しています。

Answer 1

テンプレートテンプレートパラメータとテンプレートタイプパラメータを混在させることはできません。しかし、前者をタイプにラップすることができます。あるべきmodels_tuple<wrap<B>, S</*...*/> /*, etc. */>.