在我们定义一个空类时,C++编译器会默认在背后为我们完成一些事, 包括构造函数、析构函数、拷贝构造函数、拷贝赋值操作符。
例如,当我们定义如下一个空类时,
class CEmpty
{
};
其隐含的,相当于
class CEmpty
{
public:
CEmpty(){} //默认构造函数
~CEmpty(){} //析构函数
CEmpty(const CEmpty &rhs){} //拷贝构造函数
CEmpty &operator = (const CEmpty &rhs){} //赋值操作符
}
其中构造函数可以被重载,可以有多个,可以带参数。
析构函数仅有一 个,且没有参数。
CEmpty a1;
CEmpty a2(a1);
CEmpty a3 = a1;
a3 = a2;
第一行CEmpty a1,很简单,会调用默认构造函数。
第二行CEmpty a2(a1),会调用拷贝构造函数。
第三行CEmpty a3 = a1,调用拷贝构造函数。关于这一点,我们可以动手写一个小实验很好的看出来函数的执行顺序。
第四行,a3 = a2,调用的是赋值操作符。
在一个空类中,其大小是1而非0。
拷贝构造函数和赋值操作符应该算是这几个当中容易混淆的概念吧,其区别如下:
1)拷贝构造函数是一个对象初始化一块内存区域,这块内存就是新对象的内存区,而赋值函数是对于一个已经被初始化的对象来进行赋值操作。
2)拷贝构造函数首先是一个构造函数,它调用时候是通过参数的对象初始化产生一个对象。赋值函数则是把一个新的对象赋值给一个原有的对象,所以如果原来的对象中有内存分配要先把内存释放掉,而且还要检查一下两个对象是不是同一个对象,如果是,不做任何操作,直接返回。
閱讀更多 一個程序員的奮鬥史 的文章