dmd 1.070 and 2.055 release

Steven Schveighoffer schveiguy at yahoo.com
Mon Sep 12 08:10:21 PDT 2011


On Mon, 12 Sep 2011 10:50:49 -0400, Simen Kjaeraas  
<simen.kjaras at gmail.com> wrote:

> On Mon, 12 Sep 2011 16:43:36 +0200, Steven Schveighoffer  
> <schveiguy at yahoo.com> wrote:
>
>> While I agree a nested "@disable this" struct inside a struct should  
>> disable default construction of the outer struct, a class *requires*  
>> initialization, and a default constructor is called explicitly (and can  
>> be defined!)  We are talking two different worlds here.
>>
>> I think the above should be accepted.  I'm not sure how feasible it is,  
>> since it requires code path analysis.
>
> What do you mean analysis? What's needed is checking 'did this class
> explicitly implement a default ctor?'. Te other test ('is the struct
> properly initialized?' is already performed for other constructors,
> so should pose no huge impediment.

I mean the compiler has to verify a constructor is called for the member  
struct in the class constructor.

You also must define a constructor of some kind (does not have to be a  
no-arg ctor), because the compiler generated default constructor cannot  
call the default constructor of the struct.

Maybe it's easy, but I have no idea, hence "I'm not sure" :)

-Steve


More information about the Digitalmars-d-announce mailing list