Null pointer dereferencing in D

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Sat Jun 14 14:22:15 PDT 2014


On 6/14/14, 10:05 AM, David Nadlinger wrote:
> On Saturday, 14 June 2014 at 16:45:19 UTC, Maxim Fomin wrote:
>> The case which you described is a not a type safety problem.
>
> If a struct type has a non-trivial invariant(), .init allows an object
> to exist that violates it without an Error being thrown.

Yah, that does make it a loophole. -- Andrei



More information about the Digitalmars-d mailing list