mpl :: vectorを使用してboost :: variant型を定義する

Question

私はライブラリboost::variantを使用して多数の型を保存しています。タイプの数が増えているので、すぐに20種類の制限に達します。ドキュメントでは、mpl::vectorを使用してバリアントを定義することができます.20種類以上のタイプが可能です（正しい場合は50まで）。私はこのようなバリアント定義を置き換えようとしました：

#include <boost/variant.hpp> 
#include <boost/mpl/vector.hpp> 

typedef boost::mpl::vector< 
    float, 
    math::float2, 
    math::float3, 
    relative_point<1>, 
    relative_point<2>, 
    relative_point<3>, 
    std::string, 
    color, 
    group, 
    dictionnary, 
    reference, 
    line, 
    strip, 
    text, 
    font 
> variant_mpl_vec; 

typedef boost::make_variant_over<variant_mpl_vec>::type data_type; 

// This is the old definition 
/*typedef boost::variant< 
    float, 
    math::float2, 
    math::float3, 
    relative_point<1>, 
    relative_point<2>, 
    relative_point<3>, 
    std::string, 
    color, 
    group, 
    dictionnary, 
    reference, 
    line, 
    strip, 
    text, 
    font 
> data_type;*/ 

私は自分のコードを直接入れています。ほとんどの型は非常に少ないデータを含む構造体です。

error: no matching function for call to ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair< ... and lots more ... 

前バリアントの定義がうまく働いていたので、私は私の交換は動作しません驚いている：コンパイルする場合

は、私は奇妙です。私はmplを初めて使っているので、何かが足りなくなっているかもしれませんが、何が見つかりません！いいですか？

ありがとうございます。

Answer 1

バリアント型の定義が正しい場合、問題は、プログラム内の汎用関数がパラメータとして任意のバリアントをとることによるものです。実際、make_variant_over<mpl::vector<T0, T1, ...>>variant<T0, T1, ...>のように振る舞うが、同じタイプではありません：それはあるvariant<over_sequence<vector<T0, T1, ...>>>（そうT0はover_sequence<vector<T0, T1, ...>>に対応