1、在定义一个局部变量时,并希望该局部变量的初始化一个值,可以显示调用其默认构造函数,使其值为0(bool类型默认值为false)。
template <typename T>
void foo()
{
T x = T();
}
类模板其成员有可能被参数化。为了确保初始化这样的成员,必须定义一个构造函数,在成员初始化列表中对每个成员进行初始化:
template <typename T>
class MyClass
{
private:
T x;
public:
MyClass:X(){}//这样做可以确保T为内置数据类型仍然可以被初始化
};
2、通过引用传递方式将字符串常数传递给函数模板参数时,有可能得到意想不到的结果:
template <typename T>
inline T const & max(T const & a, T const &b)
{
return a<b?b:a;
}
::max("12345","45678");//OK
::max("12345","ABCDEFG");//ERROR,参数类型不同
问题在于这几个字符串常数的长度不相同,因而其底层的array类型也不同。也就是说,“12345”和“45678”的array类型为char const[5],而“ABCDEFG”的array类型为char const[7]。
如果通过值传递方式将字符串常量传递给函数模板参数是,则上面的错误会变为正确:
template <typename T>
inline T max(T a, T b)
{
return a<b?b:a;
}
::max("12345","45678");//OK
::max("12345","ABCDEFG");//OK
这种方式之所以成立,是因为在引数推导过程中,只有当参数并不是一个引用类型时,数组array转变为指针的动作才会发生。如下面的例子所示: