Как использовать boost :: fusion :: преобразовать гетерогенные контейнеры?

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 operator()(int t)
должен был бы стать
template<typename T> T& operator()(T& const t)

Но как бы я написать result_type? template<typename T> typedef T& result_type, конечно, недействителен синтаксис, и это не имело бы смысла, даже если бы оно было, потому что оно не привязано к функции.

Answer 1

Как правило, слитый :: преобразование используется с шаблонного (или -В показанном выше- противном случае перегружена) функции оператора:

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; 
    }; 
};