对于int,double或者指针等基本类型,并不存在“用一个有用的缺省值来对它们进行初始化“的缺省构造函数,相反,任何未被初始化的局部变量都有一个不确定的值:
void foo()
{
int x;//x具有一个不确定值
int* ptr;//ptr指向某块内存
}
现在,假如你正在编写模板,并且希望模板类型的变量已经用初始值初始化完毕,那么此时会遇到问题,内建类型并不能满足你的需要
template<typename T>
void foo()
{
T x;//如果T是内建类型,那么x本身是一个不确定值
}
由于这个原因,我们就应该显式地调用内建类型地缺省构造函数,并把缺省值设为0(对于bool类型而言,为false)。如调用int()将获得缺省值0.
于是借助以下代码,我们便可以确定对象已经 执行了适当的初始化,即便是内建类型也是如此:
template<typename T>
void foo()
{
T x = T();
}
对于类模板,在用某种类型实例化该模板后,为了确认它所有的成员都已经初始化完毕,需要定义一个缺省构造函数,通过一个初始化列表来初始化类模板的成员:
template<typename T>
class MyClass
{
private:
T x;
public:
MyClass() :x(){//确认x已被初始化,内建类型对象也是如此
}
};