Re: [Boost-users] fusion::result_of::transform<Seq1, Seq2, F> -- argument dependent result type

13 Sep 2008


      AMDG

e r wrote:
...
I may have made a little bit of progress here...
template<typename A>
 struct result{
    typedef A type;
 };
Yeah.  That's the idea.  I generally use function_traits rather than
partial specialization.  In your original example (untested):

#include 
#include 
#include 

struct fun {
    template<class Sig>
    struct result {
        typedef typename boost::function_traits<Sig>::arg1_type arg1_type;
        typedef typename boost::function_traits<Sig>::arg2_type arg2_type;
        typedef typename boost::remove_cv::type>::type Metafun;
        typedef typename Metafun::type type;
    };
    // ...
}

In Christ,
Steven Watanabe