On Tuesday, 28 May 2013 at 15:56:57 UTC, Simen Kjaeraas wrote:
Specifically, non-nullable pointers solve the problem of
initializing
*pointers*, while @disable this() solves the problem of
initializing
*anything*.
NonNull imply the exact same thing for the compiler as you can
have compound type containing pointers. NonNull pointer imply as
well initializing anything. Compilerwise, it is the exact same
thing.
One could choose a hybrid approach, as has been the case with
AAs
AA implementation is the definition of a disaster.