Invariants are useless the way they are defined

Timon Gehr timon.gehr at gmx.ch
Mon Aug 26 09:16:25 PDT 2013


On 08/26/2013 08:49 AM, deadalnix wrote:
>
> We simply need to add invariant check in the caller, not the callee, and
> not introduce them if the caller is itself subject to invariant
> insertion when called.

The issue with this is that the invariant is not part of the public 
interface.


More information about the Digitalmars-d mailing list