On 11/8/10 1:10 AM, Simen kjaeraas wrote:
Andrei Alexandrescu <seewebsiteforem...@erdani.org> wrote:
On 11/7/10 4:21 PM, bearophile wrote:
Andrei Alexandrescu:
And what was exactly the claim that was wrong?
That there is no need of compiler& syntax support to implement "good
enough" nonnullable reference types in D.
The only change needed is constructor flow to make sure types with
@disable'd constructors are always properly initialized. Array
construction can be supported with a library function.
One more thing: structs with NotNull!T fields will need to have their
default constructor disabled automagically.
That's achievable with the already-existing (but largely inoperant)
@disable.
Andrei
