rvalue references

[Timon Gehr]

On 04/23/2013 10:44 PM, Andrei Alexandrescu wrote:
> On 4/23/13 4:24 PM, Timon Gehr wrote:
>> On 04/23/2013 07:15 PM, Andrei Alexandrescu wrote:
>>> ...
>>>
>>> The justification is that unsafe uses of ref are few and uninteresting
>>> (they can be replaced with pointers).
>>
>> I don't get this. Uses cannot be "unsafe". They are either correct or
>> wrong.
>
> Unfortunately the safe/unsafe and correct/wrong sets don't overlap
> perfectly.
>...

I now see what you mean.

(It is important to keep in mind that only the latter sets are an 
intrinsic property of the use. The first ones depend on the implemented 
solution. Hence, in order to be able to provide the above justification, 
an appropriate efficient safe/unsafe classification scheme must be 
devised first.)