DMD 2.100, bring ont he attribute soup

Walter Bright newshound2 at digitalmars.com
Mon May 30 01:56:09 UTC 2022


On 5/29/2022 4:14 PM, Paul Backus wrote:
>> @live does not subtract any safety from @safe.
> 
> But it doesn't add any either. All of the mistakes @live prevents you from 
> making are already prevented by @safe on its own.

It prevents use-after-free, double-free, and leaks.

> The only place you get any 
> safety benefit from @live is in @system code.
> 
> To be more precise about it: we cannot mix "code that benefits from @live" with 
> @safe code, because "code that benefits from @live" is a subset of "@system code."

There's nothing preventing marking a function as @live @safe.


More information about the Digitalmars-d mailing list