From: Stjepan Rajko (stipe_at_[hidden])
Date: 2007-07-12 15:27:40
On 7/12/07, Tobias Schwinger <tschwinger_at_[hidden]> wrote:
> It's wrong to have the signature for result_of contain references:
> The result_of specification says the parameter types in the signature
> type should be interpreted as types of L-Value arguments used in a call
> expression (cited from memory).
Hmm - yes, the proposal says:
"given types F, T1, T2, ..., TN and lvalues f, t1, t2, ..., tN of
those types, respectively, the type expression
result_of<F(T1, T2, ..., TN)>::type
evaluates to the type of the expression f(t1, t2, ..., tN)."
and then the following example depicts an operator() that takes
references (and the references are missing from the result<>
Of course, this makes perfect sense, and of course, I missed it as
well... :-) Yikes!
[goes off to change a bunch of code]
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk