Store mutable indirections in immutable data with this one weird trick!

Elronnd elronnd at elronnd.net
Sat Nov 13 11:10:38 UTC 2021


I think ultimately, the main problem is that d hasn't 
strictly-defined pointer provenance semantics.  So we end up with 
these ad-hoc rules like 'a pure function's result may be 
immutable'.  The C memory model was a great accomplishment on the 
part of boehm, and it should probably not be emulated; 
nevertheless, deviating from it has annoying implications for 
code generation from gdc and ldc.


More information about the Digitalmars-d mailing list