c++ - Boost Fusion调用和SFINAE

我想根据带有特定Fusion序列的boost::fusion::invoke()是否可以工作来实现部分类模板的特化。但似乎在这种情况下替换失败是一个错误。

我想我需要一个有效的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"
}

最佳答案

经过一番调查，我认为这是一个助推器。

报告了here，到目前为止没有解决方法。

更新:根据票证，已修复了boost::fusion的某些错误行为。

关于c++ - Boost Fusion调用和SFINAE，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/10632848/