请考虑以下示例:
class Generator {
public:
Generator(int n)
: m_n(n)
{
}
int f()
{
return m_n;
}
private:
int m_n;
};
template<class BaseClass>
class Transformer : public BaseClass
{
public:
Transformer(int mult, int add)
: m_mult(mult)
, m_add(add)
{
}
int f()
{
return BaseClass::f() * m_mult + m_add;
}
private:
int m_add;
int m_mult;
};
想象一下,有更多的Generator
类,它们的构造函数中有不同的参数。现在,我想实例化一个类,该类由传递所有必需参数的二者组成。所以我尝试了以下操作,但Generator
显然没有被识别为基类:
class TG : public Transformer<Generator>
{
public:
TG(int n, int mult, int add)
: Generator(n) // error C2614: 'TG': illegal member initialization: 'Generator' is not a base or member
, Transformer(mult, add)
{}
};
TG t(n,mult,add);
接下来我尝试了模板专业化:
template<> Transformer<Generator>::Transformer(int n, int mult, int add) // error C2244: 'Transformer<Generator>::Transformer': unable to match function definition to an existing declaration
: Transformer(mult,add)
, Generator(n)
{};
Transformer<Generator> t(n,mult,add);
如何实例化具有非默认构造函数的模板?
Imaging有更多的Generator类,它们的构造函数中有不同的参数。现在我想实例化一个类,该类由传递所有必需参数组成
在我看来,如果你至少可以使用C++11,你需要的是一个如下所示的可变模板构造函数
template <typename ... As>
Transformer (int mult, int add, As && ... as)
: BaseClass{std::forward<As>(as)...}, m_mult{mult}, m_add{add}
{ }
其思想是,构造函数首先接收曾经需要的成员(m_mult
和m_add
(的值,然后是基类的可变参数列表(具有完美的转发;不必要,但通常来说可能有用(。这个顺序是必要的,因为推导参数的可变列表必须在最后一个位置。
TG
构造函数变为
template <typename ... As>
TG (int mult, int add, As && ... as)
: Transformer{mult, add, std::forward<As>(as)...}
{ }