From: Doug Gregor (dgregor_at_[hidden])
Date: 2007-01-08 11:48:58
On Jan 8, 2007, at 11:32 AM, Tobias Schwinger wrote:
> Doug Gregor wrote:
>> TR1 says...
>> Given an rvalue f of type F and values t1, t2, ..., tN of types T1,
>> T2, ..., TN, respectively, the type member
>> is the result type of the expression f(t1, t2, ...,tN). The values
>> ti are lvalues when the corresponding type Ti is
>> a reference type, and rvalues otherwise.
> Sorry - it seems I missed that last part of the sentence, somehow
> by looking at the wrong version?).
It's likely that you were looking at an older draft of TR1. We had
originally said that everything was an lvalue. We later realized that
making them rvalues by default, with references signifying lvalues,
gave us a more functional result_of that was actually easier to deal
with. The final TR1 draft and the C++0x draft have the revised
wording I quoted.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk