Параметры шаблона по умолчанию в конструкторе

Question

Итак, у меня есть этот кусок кода, и из удобства я хочу, чтобы параметр по умолчанию для его конструктора имел тип int и 0. (У меня есть больше параметров в классе моего проекта и один из них не является обязательным, и я не хочу, чтобы написать конструктор дважды из-за его большой)

class mama{ 
    public: 
    template<typename x> mama(x i=int(0)){} 
}; 

int main(){ 
    mama x; 
} 

Это не работает, потому что он говорит, что не может найти конструктор так есть еще один способ, которым я могу это сделать?

error: no matching function for call to ‘mama::mama()' 
note: candidates are: mama::mama(const mama&) 

Answer 1

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

class mama { 
    private: 
    template<typename x> void init(x i) { /* ... */ } 
    public: 
    template<typename x> mama(x i) { init(i); } 
    mama() { init((int)0); } 
}; 

Answer 2

Обратите внимание, что параметры шаблона по умолчанию не разрешены для шаблонов функций. Почему бы не создать шаблон класса?

template <class T=int> 
class mama{ 
    public: 
    mama<T>(T i=0){} 
}; 

int main(){ 
    mama<> x; // no argument based template parameter deduction possible 
} 

Answer 3

Значение по умолчанию работает точно так же, как перегрузка, так что ...

class mama{ 
public: 
    template<typename x> mama(x i){} 
    mama(int i = 0) {} 
}; 

При создании мамы без аргумента, то конструкция с междунарами по умолчанию сопоставляется перед любым шаблонным конструктором.