Null references redux

[Andrei Alexandrescu]

Walter Bright wrote:
> Andrei Alexandrescu wrote:
>> Walter Bright wrote:
>>> Justin Johansson wrote:
>>>> Walter, in the heat of this thread I hope you haven't missed the 
>>>> correlation with discussion
>>>> on "Dispatching on a variant" and noting:
>>>
>>> Thanks for pointing it out. The facilities in D enable one to 
>>> construct a non-nullable type, and they are appropriate for many 
>>> designs. 
>>
>> No. There is no means to disable default construction.
> 
> Ack, I remember we talked about this, I guess I don't remember the 
> resolution.

The resolution was that the language will allow delete'ing the unwanted 
constructor:

struct NonNull(T) if (is(T == class))
{
     delete this();
     ...
}


Andrei