先看一段程序:
class Test
{
public:
int x;
}
int main(int, char**)
{
Test t;
t.x; // 使用了未初始化地变量
int a;
cout << a << endl; // 使用了未初始化的变量
return 0;
}
class A{};
class Test
{
public:
A a;
};
int main(int, char**)
{
Test t;
t.a; // 正确
return 0;
}
通过以上两例的对比我们可以发现,对于int、double或者指针等基本类型,并不存在用一个有意义的缺省值来对它们进行初始化的缺省构造函数,也因此,任何未被初始化的局部变量都具有一个不确定(undefined)值,与之相对,类类型如果还保留其默认构造函数的话,编译器是会对自动其进行构造的。当编写非模板类时,我们很明确地知道,是基本类型还是类类型,然而当编写类模板或者函数模板时,传递进来的是类类型还是基本类型,是不确定的,
template<typename T>
class Test
{
public:
T x; // 如果T是内建类型,那么x本身是一个不确定值
}
由于这个原因,我们应该县实地调用内建类型的缺省构造函数,并把缺省值设为0(或者false, 对bool类型而言)
int a = int();
bool b = bool();
cout << a << boolalpha << b << endl;
// 0
// false
于是,通过显式地调用构造函数,可以确保对象已经执行了适当的缺省构造,即使内建类型也是如此:
template<typename T>
void foo()
{
T x = T();
}
对于类模板,在用某种类型实例化该模板后,为了确认所有的成员都已经初始化完毕,你需要定义一个缺省构造函数,通过其初始化参数列表来初始化类模板的成员:
template<typename T>
class MyClass
{
private:
T x;
public:
MyClass():x()
{...}
}