boost :: variantを "2次元の方法"で使用して異種のstd :: mapを定義する方法

Question

boost :: variantを "2次元の方法"で扱う方法を教えてください。奇妙に聞こえるが、私のコードは言わせてより多くの（たぶん）：私が試したよう

Parameter<si::length, double> SampleParameter1; 
Parameter<si::dimensionless, short> SampleParameter2; 

：上記で定義された私のパラメータの

template<typename PARAM_TYPE, typename DATA_TYPE=double> 
class Parameter : public quantity<PARAM_TYPE, DATA_TYPE> 
{ 
... 
} 

使用例：私はクラスと呼ばれるパラメータをコード化している

上記の例で説明すると、とdouble, short, intなどの異なるデータ型を使用していくつかのパラメータタイプを定義できます。

M上記のサンプルのようにParameterタイプのインスタンスを格納できるstd::mapコンテナを作成することです。

そこで私は宣言した：

typedef boost::variant<Parameter<si::dimensionless, short>, Parameter<si::length, double> > SupportedParameterTypes; 
std::map<int, SupportedParameterTypes> myMapStorage; 

これはかなりうまく動作しますが、1つの大きな欠点を持っている私が解決したい - 私は私のようにSupportedParameterTypesタイプでサポートしたいパラメータタイプのすべての単一の組み合わせを定義する必要があります上で定義した。

私の考えは、ブーストを定義することでした:: MPL ::ベクトルは、私がサポートしたいすべてのパラメータの種類をconstaining：

typedef boost::mpl::vector<si::dimensionless, si::length> ParameterTypes; 

、他方ではサポートされているすべての可能なパラメータのデータ型：

typedef boost::mpl::vector<short, int, float, double> ParameterDataTypes; 

私の悩みがあり来る：

typedef typename boost::make_variant_over<ParameterTypes>::type ParameterTypeVariants; 
typedef typename boost::make_variant_over<ParameterDataTypes>::type ParameterDataVariants; 

typedef boost::variant<Parameter<ParameterTypeVariants, ParameterDataVariants> > SupportedParameterTypes; 

しかしを定義します他のいくつかのboost::variantによってdefineedているもの（Parameter）のは動作しないようです：O（

QUESTION：どのように適切なboost::mpl::vector秒で定義されているすべての私のParameterタイプを保持std::mapコンテナを定義するには？

この問題を解決するためのお手伝いをさせていただきます。多分私が書いたようにそれをコード化することは誰にも分かりません。私の目標は、std :: mapによって柔軟な記憶域を持たせて、私のコードを曖昧にすることなくすべてのMy Parametersを保持できるようにすることです。ヘルプ

Answer 1

のための私の質問/リクエストへの応答を事前に

多くのおかげであなたが

template <typename Seq, typename T1, typename T2> 
struct cartesian_parameters_helper; 

template <std::size_t...Is, typename T1, typename T2> 
struct cartesian_parameters_helper<std::index_sequence<Is...>, T1, T2> 
{ 
    static constexpr std::size_t size1 = std::tuple_size<T1>::value; 
    using type = boost::variant< 
     Parameter< 
      std::tuple_element_t<Is/size1, T1>, 
      std::tuple_element_t<Is % size1, T2> 
      >...>; 
}; 

template <typename T1, typename T2> 
struct cartesian_parameters 
{ 
    using type = typename cartesian_parameters_helper< 
     std::make_index_sequence<std::tuple_size<T1>::value 
           * std::tuple_size<T2>::value>, 
     T1, T2>::type; 
}; 

ようなもので、すべてのあなたのペアを生成し、その後、使用することができますO）：もちろんのスマートな解決策を探してそれ

using SupportedParameterTypes = 
    cartesian_parameters<std::tuple<si::dimensionless, si::length>, 
         std::tuple<short, int, float, double>>::type; 

Demo