convert static arrays to dynamic arrays and return, have wrong data.
Nick Treleaven via Digitalmars-d
digitalmars-d at puremagic.com
Thu Nov 13 08:13:33 PST 2014
On 12/11/2014 15:36, Nick Treleaven wrote:
> 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.
This is:
https://issues.dlang.org/show_bug.cgi?id=8838
Apparently it's a bit tricky to implement ATM.
yebblies:
> This is not very easy, because the compiler lowers all static array
> assignment to slice assignment, making _every_ static array assignment
> unsafe. That needs to be fixed first, and requires extensive changes
> in the interpreter.
Steven Schveighoffer:
> Can you just ban slicing that escapes the statement?
More information about the Digitalmars-d
mailing list