memory safety checks and trust

Adam D. Ruppe destructionator at gmail.com
Wed Apr 15 12:01:13 UTC 2020


On Wednesday, 15 April 2020 at 02:19:51 UTC, Walter Bright wrote:
> I proposed a direct way you can proceed with your method, it 
> works.

Is that formally defined and guaranteed to continue working in 
the future? Or is it just exploiting a temporary hole in the 
system that could be patched at any time without notice?

Maybe document it something like "assumeUnique" with 
"allowEscape" to give that peace of mind and I'll be happy with 
it.

Note that my original problem was already solved before I wrote 
this opening message. I'm not asking for a solution to this 
particular case; I have plenty of those (for now at least, who 
knows until you arbitrarily break them too).

I'm asking for confidence in D's future.


More information about the Digitalmars-d mailing list