这一篇博客是《Effective C++》中第5个条款。但现在感觉我还没太理解它到底说了什么,所以想写写博客,万一写着写着就明白了呢。
首先在这里叙述一个机制,那就是空类,在默认的情况下,编译器会给它自动生成默认的构造函数、拷贝构造函数、拷贝赋值操作符=和析构函数。并且他们都是public的和inline的。
它与下面这个类是一样的。
至于这些成员函数和操作符是干啥用的,我在前边的博文中阐述过了。
其中,默认的构造函数负责调用父类和非static的构造函数和析构函数。如上图可见编译器自动生成的析构函数是非virtual的,如果父类中本身存在virtual的析构函数,编译器就不会自动产生非virtual的析构函数了。而默认的copy构造函数和copy赋值操作符只是copy非static成员到目标对象。
不过,如果你手动写了它们中的一些,编译器就只会自动生成你没写的。比如你只写了构造函数,那么其他的东西编译器负责给你自动生成。至于说copy构造函数和copy赋值操作符的用法我以前的博文有提到过。
而copy构造函数总是层层调用底层的copy构造函数来进行赋值,比如说copy构造函数要copy一个string类型的变量,那么它就会调用string的copy构造函数,实在没办法了,它再自己进行赋值操作。
其实本原则着重讨论的是在什么情况下编译器不会自动生成这些东东。
对于默认的构造函数而言,当你手动写了一个构造函数的话,编译器就不会再费那个劲了。
而对于copy赋值操作符呢也是有自动生成条件的,那就是这个copy赋值操作符确实有存在的意义,并且它能在使用场合能正确工作,否则除非你自己手动写一个,要不然编译器是不会给你生成这些东东的。而在书中作者举了2个例子1个是引用,另一个是const常量,这两者所指的对象都是不能更改的,那你非要给它们赋值,那肯定会导致copy赋值操作符的失败。
书中还举个1个例子,一般情况下父类中如果有copy赋值操作符,在子类中编译器是不会再给自动生成copy赋值操作符,直接使用父类的就好了,因为编译器认为子类的copy赋值操作符是要能够处理父类的赋值操作的。所以如果你此时把父类的copy赋值操作符设置为private的,那么你就没有copy赋值操作符可用了,除非你自己在子类中写一个。