DIP 36: Rvalue References

[deadalnix]

On Sunday, 21 April 2013 at 16:02:35 UTC, Zach the Mystic wrote:
> On Sunday, 21 April 2013 at 02:50:02 UTC, deadalnix wrote:
>> If that is your concern then the DIP36 is a very bad answer to 
>> it :
>> - It require extra anotation, which wont be added most of the 
>> time.
>
> It's possible to make it an error to pass a stack variable to a 
> non-'scope' ref parameter. Or to make it an error in @safe code 
> only. But those may be extreme measures.

No they aren't.

> This also raises the issue that some types of escape are more 
> dangerous than others.

This is why the notion of lifetime is needed.

> 'scope' is also the kind of thing which might be better as the 
> default than as something you must specifically add. But then 
> we'd need an attribute '@noscope' or something like that. Ugh.
>

Inference is always a solution.

>> - It is inferior, and impair the introduction of lifetime. 
>> This isn't even discussed.
>
> You've mentioned lifetime a couple times. Can you show what 
> lifetime is and show how it contrasts with the current 
> proposal, particularly DIP25?

Here is a good link to start :
http://smallcultfollowing.com/babysteps/blog/2012/07/17/borrowed-pointer-tutorial/