Re: [boost] boost::result_of and C++03

Eric Niebler wrote:

I think that's right so far. Now imagine a simple identity function object, that just returns its argument unmodified:

struct identity { template<typename Sig> struct result;

template<typename This, typename Arg> struct result<This(Arg)> { typedef Arg type; };

template<typename Arg> Arg const &operator()(Arg const &arg) { return arg; }

// and a non-const overload, too };

Let me clarify. This identity implementation is simply wrong (if you pass an rvalue to identity.) because of inconsistency between decltype and result_of. Am I missing anything? Regards, -- Shunsuke Sogame