2

boost::fusion::invoke()特定の Fusion シーケンスが機能するかどうかに基づいて、部分的なクラス テンプレートの特殊化を実現したいと考えています。しかし、この場合の置換失敗はエラーのようです。

is_callable_with_these_sequence_parameters<F, Seq>機能するメタ関数が必要だと思います。誰でも助けることができますか？

struct F
{
    template<class> struct result;
    template<class F> struct result<F(float)> { typedef int type; };
    int operator()(float) { std::cout << "invoked (float)\n"; }
};

template <class Sequence, class Enable=void>
struct A
{
    A() { std::cout << "invoked nothing\n"; }
};

// Partial specialization
template <class Sequence>
struct A<Sequence, typename boost::fusion::result_of::invoke<F, Sequence>::type>
{
    A() { boost::fusion::invoke(F(), Sequence()); }
};

static void test()
{
    A<boost::fusion::vector<float> >(); // should print "invoked (float)"
    A<boost::fusion::vector<char, char> >(); // should print "invoked nothing"
}
4

1 に答える 1

3

いくつかの調査の後、これはブーストのバグだと思います。

ここで報告されていますが、これまでのところ回避策はありません。

更新:boost::fusionチケットによると、いくつかの誤った動作が修正されました。

于 2012-05-17T17:43:32.803 に答える