invoke() uses invalid boost::result_of<>

[anonymous]

struct F{
  template<typename Sig>
  struct result;
};

vector<int> const vec(5);
invoke(F(),vec); // (1)

int t(int i){ return i; }
invoke(F(),transform(vec,&t)); // (2)

(1) uses F::result<F(int const &)>, while (2) uses F::result<F(int)>. I believe it should be (1) in both cases.

attaching test case and patch, which converts each argument type using fusion::detail::call_param

[Kohei Takahashi <flast@…>]

I think that original behaviour is eligible in such situation.

In (1), as you know, vec[n] is const lvalue reference of int since vec is const lvalue of vector. However, in (2), the function t returns prvalue of int: means type of f(vec[n]) is just int.

So, I'm against the suggestion.