Invariant for default construction

Daniel Murphy via Digitalmars-d digitalmars-d at puremagic.com
Mon Dec 22 00:42:39 PST 2014


"Walter Bright"  wrote in message news:m78i71$1c2h$1 at digitalmars.com...

> It all depends on how invariant is defined. It's defined as an invariant 
> on what it owns, not whatever is referenced by the object.

Whether or not it owns the data it references is application specific. 
Where are you saying the correct place to put a check like my example, to 
ensure that an owned object correctly references its parent? 



More information about the Digitalmars-d mailing list