如何在异构容器上使用 boost::fusion::transform ？

Question

Boost.org 的 example 如下：

struct triple
{
    typedef int result_type;

    int operator()(int t) const
    {
        return t * 3;
    };
};
// ...
assert(transform(make_vector(1,2,3), triple()) == make_vector(3,6,9));

但我还没有“明白”。他们的示例中的向量包含所有相同类型的元素，但使用融合的一个要点是异构类型的容器。如果他们使用 make_vector(1, 'a', "howdy") 会怎样？

int 运算符()(int t)
需要成为
模板<类型名称T>夯; ？

但我该如何编写 result_type 呢 模板<类型名称T> typedef T& result_type 当然不是有效的语法，即使是有效的语法也没有意义，因为它与函数无关。

Answer 1

通常，fusion::transform 与模板化（或 - 如上所示 - 否则重载）函数运算符一起使用：

struct triple 
{ 
    template <typename Sig>
    struct result;

    template <typename This, typename T>
    struct result<This(T)>
    {
        typedef /*...figure out return type...*/ type;
    };

    template <typename T> 
    typename result<triple(T)>::type 
    operator()(T t) const 
    { 
        return 3*t;    // relies on existing operator*() for 'T'
    }
}; 

并且，有关 Fusion 的其他信息源是示例和测试目录，您可以在其中找到一些技术的演示。

问候哈特穆特

Answer 2

您是否尝试过重载调用运算符（）？

struct triple
{

    int operator()(int t) const
    {
        return t * 3;
    };
    int operator()(string t) const
    {
        return t + t + t;
    };
};