Smart pointers instead of GC?

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Sun Feb 2 13:14:18 PST 2014


On 2/2/14, 9:55 AM, Timon Gehr wrote:
> On 02/02/2014 05:55 PM, Andrei Alexandrescu wrote:
>>
>> I think of the following foci for the first half of 2014:
>>
>> 1. Add @nullable and provide a -nullable compiler flag to verify it. The
>> attribute is inferred locally and for white-box functions (lambdas,
>> templates), and required as annotation otherwise. References not
>> annotated with @nullable are statically enforced to never be null.
>
> - I assume that also, references annotated with @nullable are statically
> enforced to never be dereferenced?

Correct.

> - how to eg. create an array of nullable references? struct Nullable!T{
> @nullable T t; alias t this; } Nullable!T[] foo; ? I think that would
> cause problems with IFTI.

I don't know. We'd need to figure out a way.


Andrei



More information about the Digitalmars-d mailing list