www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Non-null request in Bugzilla

reply bearophile <bearophileHUGS lycos.com> writes:
After a discussion in D.learn I have added a first draft request for non-null
class references/pointers in Bugzilla (I think it's not a dupe):
http://d.puremagic.com/issues/show_bug.cgi?id=4571

It's not meant to be implemented soon: in D2 there is already enough work to do
to implement/debug the already planned/present features (for example I think
bug http://d.puremagic.com/issues/show_bug.cgi?id=2095  needs to be fixed
before any desire to implement non-null references), and it's a feature that
needs careful planning.

Bye,
bearophile
Aug 02 2010
parent reply Kagamin <spam here.lot> writes:
bearophile Wrote:

 After a discussion in D.learn I have added a first draft request for non-null
class references/pointers in Bugzilla (I think it's not a dupe):
 http://d.puremagic.com/issues/show_bug.cgi?id=4571
 
Should it guarantee non-nullability or the point is just to insert asserts on assignment of nullable to non-nullable (to catch the problem early). In the second case non-nullable being null can be ok. Also see http://d.puremagic.com/issues/show_bug.cgi?id=3393
Aug 02 2010
parent bearophile <bearophileHUGS lycos.com> writes:
Kagamin:

 Should it guarantee non-nullability or the point is just to insert asserts on
assignment of nullable to non-nullable (to catch the problem early).
It's a type "modifier", the point is to define references/pointers that are guarantee by the type system to not be null. Bye, bearophile
Aug 02 2010