【IT168 技术文档】
代理构造函数
对一个类来说,有多个构造函数是经常的事;并且这多个构造函数有一段共同的代码也很经常。一般地,在这种情况下,我们都是为该共同代码段编写一个独立的函数,然后放在每个构造器中调用。如下例:
class Foo
{
private:
int _mem;
public:
Foo() : _mem(0)
{
CommonConstructor();
}
Foo(int mem) : _mem(mem)
{
CommonConstructor();
}
Foo(const Foo& f) : _mem(f._mem)
{
CommonConstructor();
}
// 我们所有的构造器都需要的代码段
void CommonConstructor()
{
printf("Constructing the object");
}
};
但是现在利用C++/CLI引入的新特性-代理构造器,我们可以从一个称为基类构造器的构造器中调用另一个构造器。当你这样做时,执行控制转入到第二个构造器中,在其执行完后再返回到第一个构造器。下面代码片断中的类Foo2演示了这种方法:
class Foo2
{
private:
int _mem;
public:
// 该构造器调用第二个称为基类构造器的构造器
Foo2() : Foo2(0)
{
}
// 下面这个构造器包含由所有构造器使用的公共代码
Foo2(int mem) : _mem(mem)
{
printf("Constructing the object");
}
Foo2(const Foo2& f) : Foo2(f._mem)
{
}
};
然而,每个类都应该包含至少一个非代理构造器,不过该构造器仍然可以有调用一个或者多个基类构造器的初始化操作。
注意,早期情况下,如果你想试用一下代理构造函数,应该会出现一个编译错误。请注意,这是由于资源问题缺乏导致的,在现在版本的C++/CLI中可以避免这一错误。
拷贝构造函数
虽然对象复制看上去很简单,然而如果你没有对其正确理解,可能会出现一些严重问题。默认情况下,复制对象会导致相应的所有成员的复制。如果你只有实例成员,这看上去是相当不错的。但是如果你的类中含有指向在堆中分配的对象时,情况会怎样呢?考虑下面的代码片断:
#include <stdio.h>
#include <string.h>
class Person
{
private:
char* _name;
public:
Person()
{
_name = new char[256];
}
void SetName(const char* name)
{
if(strlen(name) + 1 < 256)
strcpy(_name,name);
}
void PrintName()
{
printf("%s\n",_name);
}
};
int main()
{
// 创建对象的第一个实例并赋于名字为John
Person p1;
p1.SetName("John");
p1.PrintName();
//通过复制p1引用的对象创建另一个对象
Person p2(p1);
p2.SetName("Alice");
p2.PrintName();
//现在再输出p1的名字
p1.PrintName();
scanf("q");
return 0;
}
这里的类Person有一个指向在堆上分配的字符数组的指针。当构造Person对象时,它创建该字符数组并把它的位置存放到变量_name中。
但是当你创建Person 对象 p2 时,p2的成员用p1的成员初始化。因而,p1的 _name与p2的 _name指向相同的堆对象。如在上例中看到的,调用p2.SetName将改变由这两个类共享的值。所以,当第二次调用p1.PrintName,打印结果是"Alice"。
所以,这不是我们复制对象所期望的结果,而且还会导致堆崩溃的问题。请再考虑某个函数删除了该数组而p1又要调用该函数的情况?下面,当p2调用PrintName时,它将尽量存取实际上不是在堆上的对象。这种情况下产生的结果往往是难以预料的。
C++允许我们通过定义拷贝构造函数来克服这类问题。在我们每次通过复制另一个对象来初始化一个对象时,拷贝构造函数都被执行。你可以在拷贝构造函数中覆盖掉缺省的成员函数的复制行为。
所以,我们的类Person应该修改如下:
class Person
{
private:
char* _name;
public:
Person()
{
_name = new char[256];
}
// 这是拷贝构造函数。在此我们初始化一个新的数组,为Person的实例所用
Person(Person&)
{
_name = new char[256];
}
void SetName(const char* name)
{
if(strlen(name) + 1 < 256)
strcpy(_name,name);
}
void PrintName()
{
printf("%s\n",_name);
}
};
这里类Person中的拷贝构造函数保证了它初始化一个新的数组,为在复制时产生的每一个对象实例所用。这就避免了前面我们提到的问题。