条款6:若不想使用编译器自动生成的函数,就该明确拒绝
在c++11中新增了一个语法= default
和= delete
来看一个例子:
class Base {
public:
Base() = default; //使用默认的构造函数
Base(const Base &) = delete; //阻止拷贝
Base &operator=(const Base &) = delete;//阻止赋值
~Base() = default; //使用默认的析构函数
};
例子中= default
表示使用编译器自动合成版本。= delete
则通知编译器(以及代码的读者),我们不希望定义这些成员,显式的删除,即Base类不支持拷贝和赋值操作。
这样我们就明确的告知了编译器,拷贝构造和赋值运算不需要自动生成,从而禁止试图使用它的操作。
而书中更多的是讲述如何让一个类不支持拷贝和赋值。(这里个人感觉c++ primer 449页表述更加清晰易懂)。
阻止拷贝
在新标准下,我们可以通过将拷贝构造函数和拷贝赋值运算符定义为删除的函数来阻止拷贝。就像上面那个例子,当我们企图拷贝时会发现报错:
int main() {
Base baseA;
Base baseB(baseA);
return 0;
}
error C2280: “Base::Base(const Base &)”: 尝试引用已删除的函数
private拷贝控制
我们可以将拷贝构造函数和拷贝赋值运算符声明为private来阻止拷贝:
class Base {
public:
Base() = default; //使用默认的构造函数
~Base() = default; //使用默认的析构函数
private:
Base(const Base &);
Base &operator=(const Base &);
};
error C2248: “Base::Base”: 无法访问 private 成员(在“Base”类中声明)
拷贝构造函数和拷贝赋值运算符是private的, 用户代码不能拷贝这个类型的对象,但是,友元和成员函数仍然可以拷贝对象。为了阻止友元和成员函数进行拷贝,我们可以将这些拷贝控制成员声明为private的,但并不定义它们。
通过声明(但不定义)private的拷贝构造函数,我们可以预先阻止任何拷贝该类型对象的企图:
试图拷贝对象的用户代码将在编译阶段被标记为错误;成员函数或友元函数中的拷贝操作将会导致链接时错误
成员函数或友元函数中的拷贝操作将会导致链接时错误,那么有没有可能让它们在编译器就报错?
有,我们定义一个Uncopyable
类
class Uncopyable {
public:
Uncopyable() {}
~Uncopyable() {}
private:
Uncopyable(const Uncopyable&);
Uncopyable &operator=(const Uncopyable &);
};
任何不想被拷贝的类只要继承自它就可以了:
class Uncopyable {
public:
Uncopyable() {}
~Uncopyable() {}
private:
Uncopyable(const Uncopyable&);
Uncopyable &operator=(const Uncopyable &);
};
class Gao : private Uncopyable{
};
int main() {
Gao gaoDa;
Gao gaoEr(gaoDa);
return 0;
}
这样即使是Gao的成员函数或友元函数,想要拷贝时,由于没有找到对应的函数声明,在编译器就会报错。因为Gao继承自Uncopyable,父类不允许被拷贝,子类同样也不允许。
条款7:为多态基类声明virtual析构函数
这里主要涉及继承、多态知识点,可以看一下我写的这篇文章c++中的多态
关于这条准则,来看一个例子:
class Base {
public :
Base() {
cout << "Base default constructor" << endl;
}
~Base() {
cout << "Base destructor" << endl;
}
};
class Derived : public Base {
public :
Derived() {
cout << "Derived default constructor" << endl;
}
~Derived() {
cout << "Derived destructor" << endl;
}
};
int main() {
Base *base = new Derived();
delete base;
return 0;
}
程序输出:
Base default constructor
Derived default constructor
Base destructor
可以发现派生类没有调用析构函数,造成了内存泄漏,这是因为基类的析构函数是普通成员函数,当我们将其定义为虚函数时:
class Base {
public :
Base() {
cout << "Base default constructor" << endl;
}
virtual ~Base() {
cout << "Base destructor" << endl;
}
};
程序输出:
Base default constructor
Derived default constructor
Derived destructor
Base destructor
可以发现,我们得到了正确的结果。