Automatic invariant generation

ketmar via Digitalmars-d digitalmars-d at puremagic.com
Fri Jul 7 13:26:33 PDT 2017


Steven Schveighoffer wrote:

> On 7/7/17 2:27 PM, ketmar wrote:
>> ketmar wrote:
>> 
>>> yeah, this is annoying. while checking for "null this" in *class* 
>>> method may look hacky
>> tbh, i see nothing wrong in checking for "null this" even in class 
>> methods, but this is a completely different story.
>
> In *final* methods maybe. Virtual methods are going to crash anyway 
> before they get to that point.

i meant "in manual checking", i.e. "i think that compiler-inserted `assert` 
is not necessary at all". sorry for writing indecipherable engrish. ;-)


More information about the Digitalmars-d mailing list