原则5:了解C++默默编写并调用哪些函数

这一篇博客是《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赋值操作符可用了,除非你自己在子类中写一个。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 前言 把《C++ Primer》[https://book.douban.com/subject/25708312...
    尤汐Yogy阅读 9,541评论 1 51
  • 1. 让自己习惯C++ 条款01:视C++为一个语言联邦 为了更好的理解C++,我们将C++分解为四个主要次语言:...
    Mr希灵阅读 2,865评论 0 13
  • 一个博客,这个博客记录了他读这本书的笔记,总结得不错。《深度探索C++对象模型》笔记汇总 1. C++对象模型与内...
    Mr希灵阅读 5,652评论 0 13
  • 上学起, 给了你橡皮和铅笔。 希望你, 横平竖直,方方正正, 写好一笔一笔。 错了,也别着急, 因为还有橡皮。 擦...
    拈花惹草阅读 500评论 0 1
  • 说到游泳,大家一定不陌生,每个人的童年时光都有或多或少不一样的经历,有些人儿童时期就已成为游泳高手,有些人则是...
    遇见未知的自己珍珍阅读 307评论 4 1