Шаблоны классов и конструкторы

Question

Шаблоны позволяют добавлять некоторые функции в класс, но есть проблема с конструкторами: он работает только тогда, когда шаблон ctor и класс (переданный как параметр) ctor имеют форму по умолчанию. (DPaste tester)

module main; 

class cInternalMandatoryClass{}; 
class cImplementSomeStuffs(T): T 
if((is(T==class)/* & (HaveADefaultCtor!T) */)) 
{ 
    private: 
    cInternalMandatoryClass fObj; 
    public: 
    void Something1(){} 
    this(){fObj = new cInternalMandatoryClass;} 
    ~this(){delete fObj;} 
} 

class cSource1 
{ 
    int fA; 
    this(){fA = 8;} 
} 
class cSource2 
{ 
    int fA; 
    this(){} 
    this(int a){fA = a;} 
} 

class cSourceWithSomeStuffs1: cImplementSomeStuffs!cSource1 
{ 
    this() 
    { 
     assert(fObj !is null); // check cImplementSomeStuffs ctor 
     assert(fA == 8); // check cSource1 ctor 
    } 
} 

class cSourceWithSomeStuffs2: cImplementSomeStuffs!cSource2 
{ 
    this(int a) 
    { 
     // need to call cSource2 ctor 
     assert(fObj !is null); // check cImplementSomeStuffs ctor 
     assert(fA == 9); // check cSource2 ctor, fails 
    } 
} 

void main(string[] args) 
{ 
    auto Foo = new cSourceWithSomeStuffs1(); 
    delete Foo; 
    auto Bar = new cSourceWithSomeStuffs2(9); 
    delete Bar; 
} 

Можно ли назвать cSource2 CTOR в cSourceWithSomeStuffs2? Если нет, есть ли свойство проверить, что класс имеет конструктор по умолчанию?

Answer 1

Вы можете построить цепочку super звонков, переадресацию аргументы конструктора:

In cImplementSomeStuffs:

this(A ...)(A args) // formerly this() 
{ 
    super(args); 
    // etc ... 

В cSourceWithSomeStuffs2:

this(int a) // could be this(A ...)(args), too 
{ 
    super(a); 
    // etc ... 

Answer 2

Когда класс наследуется как этот class C : Base {} или templatized следующим образом: class C (Base) : Base {}, тогда конструкторы по умолчанию вызывают на Base класс, если не сделано в противном случае.

позвонить другу, что конструктор по умолчанию включают супер вызов в производном конструктор как:

class C : Base { super(myArguemnts); your code }

class C (Base) : Base { super(myArguemnts); your code } это может получить сложнее, как йо не знаю, какой тип базы будет, так что вы не мог бы знать, какие тип аргументов, если таковой имеется, он будет принимать

вы можете пересылать произвольные дополняющие, как это в случае необходимости

this (Args...) (int a, int b, Args args) { super (args); } Вы можете указать любое количество аргументов в Args.