Opt-in non-null class references?

aliak something at something.com
Thu Mar 1 22:43:20 UTC 2018


On Thursday, 1 March 2018 at 19:10:29 UTC, Jonathan M Davis wrote:
> DIP 1000 operates based on the type. As I understand it, it 
> looks at the fact that something is scope or not and then 
> determines whether a particular operation is valid or not based 
> on whether the operation could result in a reference to the 
> data escaping. An operation is then valid or not regardless of 
> what other lines in the code are doing. As such, if I 
> understand correctly, code-flow analysis isn't really 
> necessary, just like code-flow analysis isn't necessary to 
> determine what's valid or not when const is involved.
>
> - Jonathan M Davis

Ah right, makes sense yep. Thanky!


More information about the Digitalmars-d mailing list