DIP69 - Implement scope for escape proof references

Walter Bright via Digitalmars-d digitalmars-d at puremagic.com
Fri Dec 12 14:34:14 PST 2014


On 12/12/2014 2:09 PM, deadalnix wrote:
> On Friday, 12 December 2014 at 22:05:21 UTC, Walter Bright wrote:
>>> > forms can work, too.
>>> No, unless we wrap every single indirection (pointer, slice, classes, delegates)
>>> into a wrapper. That is not going to fly very far.
>>
>> The beauty of GC is that you don't have to do any of this. To have safe other
>> methods of allocation, there has to be annotation everywhere or use a wrapped
>> type in the same places.
>
> The whole point of scope is to reduce that cost, both in term of
> runtime (as copy can be elided) but also on the user.

Yes, I do understand that :-) but currently doing a safe refcounted type is 
impossible in D. This proposal fixes that.


More information about the Digitalmars-d mailing list