@safety of Array

Brad Roberts via Digitalmars-d digitalmars-d at puremagic.com
Mon Oct 13 10:16:28 PDT 2014


On 10/13/2014 7:47 AM, Andrei Alexandrescu via Digitalmars-d wrote:
> On 10/12/14, 5:41 PM, Brad Roberts via Digitalmars-d wrote:
>> I know it's a tricky implementation, but let's focus on the goal..
>> should Array be usable in @safe code?
>
> Yes. In order for that to be 100% automatically checkable, we need the
> rules restricting escape of addresses of returns by reference. -- Andrei

100% checkable isn't required right now.  For it to be used in an @safe 
context all that's needed is liberal use of @trusted.  That can be 
refined over time to a more checked version.  We shouldn't wait for 
checkability.

Will one of you experts in the impl of Array volunteer to make the 
appropriate changes?


More information about the Digitalmars-d mailing list