On Tuesday, 17 April 2012 at 19:56:11 UTC, Timon Gehr wrote:
On 04/17/2012 09:16 PM, Namespace wrote:
But C++ does not do that either.
Are you asking for a full-blown non-null type system?
Yes, but of course only with a special Keyword/Storage class.
If it is not the default, how would you enforce it at the
caller side?
By the compiler who throws an error message or a warning.
A warning or a better error message would help also, if a
null-reference was in use.
But only the message "Access violation" without any information
isn't enough, imo.
It seems that not-null references wouldn't be a part of D in near
future.
