• bearophile (5/5) Aug 02 2010 After a discussion in D.learn I have added a first draft request for non...
• Kagamin (3/6) Aug 02 2010 Should it guarantee non-nullability or the point is just to insert asser...
• bearophile (4/5) Aug 02 2010 It's a type "modifier", the point is to define references/pointers that ...

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

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

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