零值初始化&字符串常数作为函数模板参数

时间:2021-10-12 14:10:41

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转变为指针的动作才会发生。如下面的例子所示: