convert static arrays to dynamic arrays and return, have wrong data.

Nick Treleaven via Digitalmars-d digitalmars-d at puremagic.com
Wed Nov 12 07:36:09 PST 2014


On 09/11/2014 10:34, bearophile wrote:
> If you just disallow that kind of operations indiscriminately, you
> reduce a lot the usefulness of D (because fixed size => dynamic slice
> array is a conversion useful in many cases) and probably force the
> introduction of many casts, and I don't know if this will increase the
> overall safety of the D code.

Seeing as the 'scope' attribute doesn't seem to be happening any time 
soon, shouldn't the compiler reject static array slicing in @safe code? 
The user is then forced to think about the operation, and put the code 
in a @trusted delegate if they think it is actually safe.

<grumble>
It would help a bit if we had @trusted blocks instead of having to call 
a @trusted delegate inline (which is non-obvious). The status quo 
encourages people to just mark whole functions as @trusted, skipping 
much otherwise acceptable safety enforcement.
</grumble>


More information about the Digitalmars-d mailing list