每一个class都会有一个或多个构造函数、一个析构函数、一个copy assignment操作符。这些控制着基础操作,像是产出新对象并确保它被初始化、摆脱旧对象并确保它被适当清理、以及赋予对象新值。
那么当你当你编写了一个empty class的时候,当你利用编译器的对代码进行处理的时候,它其实已经并非是一个empty class 了。编译器会悄悄的给你生成了default 构造函数、一个析构函数、一个copy构造函数和一个copy assignment操作符,并且它们都是inline的(隐式inline)。如下代码示例
一个自定类: class empty{};
其实等于以下代码:
class Empty {
public:
Empty() { }//default 构造函数 ~Empty() { }//析构函数
Empty(const Empty& rhs) { }//copy构造函数
Empty& operator=(const Empty& rhs) { }//copy assignment操作符
};
注意:上面的重载的操作运算符operator=的返回值是对象的引用,条款21似乎说了不要妄想返回对象的引用,这篇文章的意思不是说不能返回对象的引用,而是当你要返回对象的引用的时候,要确定引用的本体是谁,它能否被合理的delete。
以下三种情况出现时,会调用一个类的拷贝构造函数:
1) 用一个已经实例化了的该类对象,去实例化该类的另外一个对象;
2) 用该类的对象传值的方式作为一个函数的参数;
3) 一个函数返回值为该类的一个对象。
#include <iostream> using namespace std; class Person
{
public: Person(string& a, const int& b) : name(a), id(b) { } private: const int id;
string& name; }; int main()
{
Person p1(string("chu"), 1); Person p2(string("jun"), 2); p1 = p2;/////// error C2582: 'operator =' function is unavailable in 'Person' system("pause"); return 0;
}
还有一种情况编译器不会生成copy assignment函数,就是基类将copy assignment声明为private,派生类型就无法获得编译器的帮助,因为编译器为derived classes所生成的copy assignment操作符要处理base class成分。因为派生类型无法调用基类型的copy assignment函数(不具备访问权限)。
#include <iostream> using namespace std; class BaseClass
{ private: BaseClass& operator=(const BaseClass& rhs) { } }; class derived : public BaseClass { }; int main()
{ BaseClass px1, px2; px1 = px2; ///// 'BaseClass::operator =' : cannot access private member declared in class 'BaseClass' system("pause");
return 0; }
所以,请记住:
编译器可以暗自为class创建default构造函数,copy构造函数,copy assignment操作符,以及析构函数。