条款6和条款7

条款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

可以发现,我们得到了正确的结果。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

高二的笔记

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值