RCArray is unsafe

deadalnix via Digitalmars-d digitalmars-d at puremagic.com
Wed Mar 4 12:26:36 PST 2015


On Wednesday, 4 March 2015 at 10:50:54 UTC, Walter Bright wrote:
> On 3/4/2015 1:16 AM, bearophile wrote:
>> Walter Bright:
>>> The complexity of a free list doesn't remotely compare to 
>>> that of adding an
>>> ownership system.
>> A sound complete ownership system is the only good enough 
>> solution for D. That's
>> my opinion.
>
> How do you type an an array of pointers with different owners?
>

Either the array is owning its elements or is is borrowing them. 
There is no array of element with different owners.

> How do you deal with the combinatoric explosion of template 
> instantiations with all those different ownership types?

It is better than the combinatoric explosion of the code I have 
to write to support the various scheme proposed here (here RC and 
GC are 100% separet worlds).

As long as RC require bookkeeping, the codegen must be different 
anyway.


More information about the Digitalmars-d mailing list