DIP69 - Implement scope for escape proof references

Dicebot via Digitalmars-d digitalmars-d at puremagic.com
Thu Dec 11 22:10:39 PST 2014


On Friday, 12 December 2014 at 00:13:10 UTC, deadalnix wrote:
>> Therefore, a `scope ref` return value can be passed on to the 
>> next function as a `ref` argument. If that function again 
>> returns a reference (even if not explicitly designated as 
>> `scope`), the compiler will treat it as if it were `scope ref`.
>>
>
> No, it understood. It is simply not useful.

So far I tend to agree, unfortunately. Considering all provided 
answers and explanations suggested semantics are simply not 
powerful enough to be useful even for relatively simple idiomatic 
D code and with no clear way of backward compatible improvements 
this DIP does not pull own weight.

"Those are not scopes you are looking for"


More information about the Digitalmars-d mailing list