Disallow null references in safe code?
Uranuz
neuranuz at gmail.com
Mon Feb 3 00:00:26 PST 2014
I'm not sure what to do about null references. One of my ideas is
that some type of Exception or Throwable object should be thrown
when accessing null pointer instead of getting SEGFAULT. In this
way programmer can handle exception at application level, get
some information about problem and may be sometimes it's possible
to recover. At the current state OS send SEGFAULT message and I
can't even get some info where is the source of problem. It's the
most annoying thing about null references for me.
Of course we can provide some wrapper struct for reference that
will check reference for null and throw Exception if it's null.
Another way is provide it at compiler level. The third variant is
forbid null references somehow at all (currently it's possible
via wrapper). As I thinking today for me 2nd variant is prefered.
Providing Error when reading null variable will reduce code bloat.
But it's only my point of view. Since I dont know anything about
compiler implementation it's interesting to know what do you
think of this.
More information about the Digitalmars-d
mailing list