《Effective C++》条款六 拒绝编译器自动生成的函数

如果类的每个对象都是独一无二的(《Effective C++》中所举的例子是地产中介商卖的房子),我们当然不希望类的对象之间存在拷贝构造和拷贝赋值操作:

class HomeForSale
{…}

每个房子都是不一样的,所以希望这样:

1 HomeForSale house1;
2 HomeForSale house2;
3 HomeForSale house3(house1); // house3企图与house1相同,不能通过这种情况
4 house2 = house1; // house2也不应该与house1相同,也不能通过这种情况

我们希望最后这两句话不能通过编译,那么怎样在C++中实现呢?一种想当然的做法,就是不去写拷贝构造函数和赋值运算符。但由上一个条款可以知道,这样做是行不通的,C++编译器会我们生成四个默认的成员函数,其中就有拷贝构造函数和赋值运算符,所以不写是不能解决问题的。如果写了呢?这确实是一个突破口,自己写了成员函数,编译器就不会生成默认的了,但不能写在public里,因为public的函数都是可以在外部被调用的,一种好的方法就将这些函数写在private或者protected里面,大概像这样:

1 class HomeForSale
2 {
3 private:
4          HomeForSale(const HomeForSale& house){...}
5          HomeForSale& operator= (const HomeForSale& house){...}
6 };

好了,这样做编译器就不会为我们生成默认的了,同时因为是在private访问权限下定义的,所以也不会担心在外部被调用了,下面这两句话是无法通过编译的:

1 HomeForSale house3(house1); // 无法通过编译
2 house2 = house1; // 无法通过编译

但还要考虑到一种特殊的情况,就是万一在类中出现了友元函数或者友元类,它们可以访问到private下的成员函数,这很危险,怎样才能避免这种情况?

其实只要小改一下就行了,把定义换成声明,这样子:

1 class HomeForSale
2 {
3 private:
4          HomeForSale(const HomeForSale&);
5          HomeForSale& operator= (const HomeForSale&);
6 };

这样即使通过编译,链接器也会报错的,因为只有声明而没有具体的实现。那现在回过头来问一下,能不能不要搞特殊,直接把拷贝构造函数和赋值运算符声明在public下,只是不要实现之?

这种方法是可以的,因为链接器不会放过这个只有声明的空架子,但这不是一种好的解决方法。因为有这样一个编程的原则:错误越早被发现就越好。编译要早于链接,所以在编译发现错误要优于在链接阶段才发现的错误,可以节省时间,提高效率。

下面是书上提到的一个应用:

1 class Uncopyable
2 {
3 protected:
4          Uncopyable(){}
5          ~Uncopyable(){}
6 private:
7          Uncopyable(const Uncopyable&);
8          Uncopyable& operator= (const Uncopyable&);
9 };

 为了阻止某个类的对象被拷贝,我们可以让它继承Uncopyable

1 class HomeForSale: public Uncopyable
2 {…};
这样HomeForSale就不能被拷贝了。这里的继承可以不是public,比如private。

这种做法看上去更加完善,连成员函数和友元函数都无法再调用拷贝构造和赋值操作了。但是却有可能带来多重继承问题。

一句话总结一下:为了驳回编译器自动提供的机能(比如可拷贝),可将相应的成员函数声明为private且不予实现。还有一种方法,继承Uncopyable也行。

事实上,在C++11中我们直接将其声明为=delete就行了。

猜你喜欢

转载自blog.csdn.net/zpznba/article/details/88545744