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