http://www.cnblogs.com/fanzhidongyzby/archive/2013/01/12/2858040.html

C++对象可以使用两种方式进行创建:构造函数和复制构造函数。假如我们定义了类A,并使用它创建对象。

A a,b;
A c=a;
A d(b);

对象a和b使用编译器提供的默认构造函数A::A()创建出来,我们称这种创建方式为对象的定义(包含声明的含义)。对象c和d则是使用已有的对象,通过编译器提供的复制构造函数A::A(const A&)创建,我们称这种创建方式为对象的初始化(包含定义和声明的含义)。

可能不少人会把对象的初始化和对象的赋值混淆,比如。

c=d;

这里把对象d赋值给对象c并非创建新的对象,它不会调用任何构造函数。编译器默认提供的赋值运算符重载函数const A&operator=(const A&)为该语句提供支持。

编译器除了提供默认构造函数、复制构造函数和赋值运算符重载函数之外,有可能还为我们提供了析构函数A::~A(),但是这里的析构函数并不是virtual的(相信会有童鞋忘记这一点)。

这些基础的语法对学习过C++的人或许并不陌生,我们自从学习了面向对象C++后,
一直都知道编译器为我们提供了这样的便利条件。经过多年的编程实践和体验,我们绝对相信编译器的确为我们做了这些工作,因为我们没有遇到过任何问题。甚至
我们脑子中会默认形成一个概念——即使我定义了一个空类(类内什么都没有),编译器依然会“乖乖的”为我们生成上边所说的四个函数。

如果你真的形成了这种观念的话,那么恭喜你,因为你已经将C++基本规则运用的十分熟练了。同时遗憾的是你我都看到了冰山一角,编译器的工作方式远不像我们使用它的那样。读者可能会疑问,难道编译器没有生成这些函数吗?答:要看你类的定义。那么编译器到底如何生成这些函数呢?和我一样又好奇心的人都想一探究竟,而这些内容在《Inside The C++ Object Model》被诠释的比较彻底。笔者也通过“借花献佛”的方式将该书所描述的对象构造的内幕结合个人的理解和大家一起分享。


先我们从最简单的谈起,编译器为类生成构造函数了吗?如果按照上边描述的例子,只有一个空的类定义的话,我们可以肯定的说——没有。对编译器这样的做法,
我们不必感到惊讶。试想一个空的类——没有数据成员,没有成员函数,即使生成了构造函数又能做什么呢?即便是生成了,也只是一个空构造函数而已。

A(){}

它什么也做不了,也什么都不必做。更“悲剧”,它的出现不仅没有任何积极意义,还会为编译器和程序运行增加完全不必要的函数调用负担。

既然如此,我们让这个类再复杂一点,我们为它增加数据成员和成员函数,比如下边这段代码(我们记它为例子1)。

 
class A
{
public:
       int var;
       void fun(){}
};
 

即便如此,结果还是和上边的一样,不生成构造函数!因为没有任何理由对var初始化,况且编译器也不知道用什么值给它初始化。

果然,在主函数内定义对象a后,没有任何构造函数被调用。

有人可能会说用0初始化不行吗?这只是我们的“一厢情愿”而已。一个没有初始化的变量本身的值就可以是不确定的,何必要生成一个没有任何意义的初始化为0的语句呢。

编译器到底怎样才能生成构造函数呢?!或许你和我一样有点“抓狂”了。不过现在还不是绝望的时候,因为编译器需要我们给它一个“正当的理由”生成构造函数。有四个正当的理由,让编译器不得不生成构造函数,这里一一介绍。

首先,我们修改一下var的类型。这里假设它不是内置类型int,而是一个定义好的类B。

B var;

修改一下数据成员的类型为自定义类型能影响编译器的抉择吗?答:可能。这要看类B有没有定义构造函数。读者可能有点明白了,是的,如果B没有定义构造函数(和这里的A一个样子),那么编译器仍然没有理由生成构造函数——为B初始化什么呢?反之,B一旦定义了默认构造函数B::B(),即便它是空的,编译器就不得不为A创建默认构造函数了(这里不考虑编译器的深度优化)。因为A的对象需要用B的默认构造函数初始化它自己的成员var,虽然B的构造函数什么也没做。因为编译器不能假定B的构造函数做了什么样的操作(极端一点:万一修改了一个全局变量了呢?),因此编译器有绝对的必要生成A的构造函数,保证B类型的数据成员的构造函数正常执行。

转到编译器为A生成的构造函数处,我们发现了B的构造函数被调用的语句(选中行)。

当然,如果B提供了构造函数,但不是默认的构造函数,那么必须要程序员介入为var初始化,否则编译器就不客气了——error!

因此,编译器生成默认构造函数的第一个正当理由是——类内数据成员是对象,并且该对象的类提供了一个默认构造函数

现在,我们回到例子1,这里我们不修改var的类型,而是让A继承于另一个类C。

class A:public C

我们都知道,在C++构造函数初始化语法中,构造函数会先初始化基类C,再初始化自身的数据成员或者对象。因此,这里的问题和对象成员var类似。如果基类C没有提供任何构造函数,那么编译器仍然不提供A的默认构造函数。如果C提供了默认构造函数,结果和前边类似。

结果不出所料,编译器为A生成了构造函数,并且调用了基类C定义的默认构造函数。同样,若C没有提供默认默认构造函数,而提供了其他构造函数,编译是无法通过的。

这也是编译器生成默认构造函数的第二个正当理由——类的基类提供了默认的构造函数

我们再次回到例子1,这次我们修改成员函数fun。

virtual void fun(){}

我们把类A的成员函数fun修改为虚函数,再次看看是否产生了默认构造函数。

这次编译器“毫不客气”的为A生成了默认构造函数,虽然它没有调用任何其他的构造函数!这是什么原因呢?原来,C++为了实现多态机制,需要为类维护一个虚函数表(vftable),而每个该类的对象都保存一个指向该虚函数表的一个指针(一般保存在对象最开始的四个四节处,多态机制的实现这里暂不介绍)。编译器为A生成构造函数,其实不为别的,就为了保证它定义的对象都要正常初始化这个虚函数表的指针(vfptr)!

好了,因此我们得出编译器生成默认构造函数的第三个正当理由——类内定义了虚函数
这里可能还涉及一个更复杂点的情况:类内本身没有定义虚函数,但是继承了基类的虚函数。其实按照上述的原则,我们可以推理如下:基类既然定义了虚函数,那
么基类本身就需要生成默认构造函数初始化它本身的虚函数表指针。而基类一旦产生了默认构造函数,派生类就需要产生默认构造函数调用它。同时,如果读者对多
态机制了解清除的话,派生类在生成的默认构造函数内还会初始化一次这个虚函数表指针的。

最后,我们再次回到例子1,这次仍然让A继承于C,但是这次C是一个空类——什么都没有,也不会自动生成默认构造函数。但是A继承C的方式要变化一下。

class A:public virtual C

A虚继承于C,这次又有什么不同呢?

这次编译器也生成了A的构造函数,并且初始化过程和虚函数时有点类似。细心观察下发现,这次构造函数也初始化了一张表——vbtable。了解虚继承机制的读者应该不会陌生,这张表叫虚基类表,它记录了类继承的所有的虚基类子对象在本类定义的对象内的偏移位置(至于虚继承机制的实现,我们以后详细探讨)。为了保证虚继承机制的正确工作,对象必须在初始化阶段维护一个指向该表的一个指针,称为虚表指针(vbptr)。编译器因为它提供A的默认构造函数的理由和虚函数时类似。

这样,我们得出编译器生成默认构造函数的第四个正当理由——类使用了虚继承

到这里,我们把编译器为类生成默认构造函数的正当理由阐述完毕,相信大家应该对构造函数的生成时机有了一个大致的认识。这四种“正当理由”其实是编译器不得不为类生成默认构造函数的理由,《Inside The C++ Object Model》里称这种理由为nontrival的(候sir翻译的很别扭,所以怎么翻译随你啦)。除了这四种情况外,编译器称为trival的,也就是没有必要为类生成默认构造函数。这里讨论的构造函数生成准则的内容是写进C++Standard的,如此看来标准就是“贴合正常思维”的一套准则(简单YY一下),其实本就是这样,编译器不应该为了一致化做一些没有必要的工作。

通过对默认构造函数的讨论,相信大家对复制构造函数、赋值运算符重载函数、析构函数的生成时机应该可以自动扩展了。没错,它们遵循着一个最根本的原则:只有编译器不得不为这个类生成函数的时候(nontrival),编译器才会真正的生成它

因此,正如标题所说,我们不要被C++语法中所描述的那些条条框框所“蒙骗”了。的确,相信这些生成规则不会对我们的编程带来多大的影响(不会产生错误),但是只有了解它们的背后操作,我们才知道编译器究竟为我们做了什么,我们才知道如何使用C++才能让它变得更有效率——比如消除不必要的构造和虚拟机制等(如果可以的话)。相信本文对C++自动生成的内容的描述让不少人认清对象构造函数产生的前因后果,希望本文对你有所帮助

[转] 不要被C++“自动生成”所蒙骗的更多相关文章

  1. 不要被C++“自动生成”所蒙骗

    http://www.cnblogs.com/fanzhidongyzby/archive/2013/01/12/2858040.html C++对象可以使用两种方式进行创建:构造函数和复制构造函数. ...

  2. SQL Server镜像自动生成脚本

    SQL Server镜像自动生成脚本 镜像的搭建非常繁琐,花了一点时间写了这个脚本,方便大家搭建镜像 执行完这个镜像脚本之后,最好在每台机器都绑定一下hosts文件,不然的话,镜像可能会不work 1 ...

  3. 使用mybatis-generator在自动生成Model类和Mapper文件

    使用mybatis-generator插件可以很轻松的实现mybatis的逆向工程,即,能通过表结构自动生成对应的java类及mapper文件,可以大大提高工作效率,并且它提供了很多自定义的设置可以应 ...

  4. 使用python自动生成docker nginx反向代理配置

    由于在测试环境上用docker部署了多个应用,而且他们的端口有的相同,有的又不相同,数量也比较多,在使用jenkins发版本的时候,不好配置,于是想要写一个脚本,能在docker 容器创建.停止的时候 ...

  5. 9.1.3 .net framework通过业务逻辑层自动生成WebApi的做法

    首先需要说明的是这是.net framework的一个组件,而不是针对.net core的.目前工作比较忙,因此.net core的转换正在编写过程中,有了实现会第一时间贴出来. 接下来进入正题.对于 ...

  6. 9.1.2 asp.net core 自动生成组合查询

    在做系统的时候,经常遇到前台录入一大堆的查询条件,然后点击查询提交后台,在Controller里面生成对应的查询SQL或者表达式,数据库执行再将结果返回客户端. 例如如下页面,输入三个条件,日志类型. ...

  7. mybatis-generator-gui--一个mybatis代码自动生成界面工具

    mybatis-generator-gui是什么 介绍mybatis-generator-gui之前,有必要介绍一下什么是mybatis generator(熟悉的同学可以跳过这一节).我们都知道,通 ...

  8. JavaScript自动生成博文目录导航

    转载于:JavaScript自动生成博文目录导航 我们在写博客的时候,如果博文里面有目录,会给人结构清晰.一种一目了然的感觉,看目录就知道这篇博文要讲解的内容,并且点击目录标题就可以跳转到 具体的内容 ...

  9. mybatis generator maven插件自动生成代码

    如果你正为无聊Dao代码的编写感到苦恼,如果你正为怕一个单词拼错导致Dao操作失败而感到苦恼,那么就可以考虑一些Mybatis generator这个差价,它会帮我们自动生成代码,类似于Hiberna ...

随机推荐

  1. PHP面向对象(OOP):克隆对象__clone()方法

    有的时候我们需要在一个项目里面,使用两个或多个一样的对象,如果你使用“new”关键字重新创建对象的话,再赋值上相同的属性,这样做比较烦琐而且也容易出错,所以要根据一个对象完全克隆出一个一模一样的对象, ...

  2. [Windows] php开发工具,zendstudio13使用方法补丁

    官网原版下载 http://downloads.zend.com/studio ... win32.win32.x86.exe 破解补丁: 链接:http://pan.baidu.com/s/1gdi ...

  3. Linux 使用yum install安装mysql登陆不上解决办法

    CentOS yum安装mysql后 Can’t connect to local MySQL server through socket ‘/var/lib/ CentOS Can’t connec ...

  4. python模块之re正则表达式

    41.python的正则表达式      1. python中re模块提供了正则表达式相关操作 字符: . 匹配除换行符以外的任意字符 \w 匹配字母或数字或下划线或汉字      \W大写代表非\w ...

  5. Python Lib:pyzmq

    http://git.oschina.net/gitlab/StartWithCoding/tree/master/example/python/pyzmq

  6. codevs 4163 hzwer与逆序对

    传送门 题目描述 Description hzwer在研究逆序对. 对于数列{a},如果有序数对(I,j)满足:i<j,a[i]>a[j],则(i,j)是一对逆序对. 给定一个数列{a}, ...

  7. Github博客地址

    欢迎访问我的Github博客: J.R.Smith_blog

  8. BZOJ 1208 宠物收养所

    Description 最近,阿Q开了一间宠物收养所.收养所提供两种服务:收养被主人遗弃的宠物和让新的主人领养这些宠物.每个领养者都希望领养到自己满意的宠物,阿Q根据领养者的要求通过他自己发明的一个特 ...

  9. Java NIO API详解

    在JDK 1.4以前,Java的IO操作集中在java.io这个包中,是基于流的同步(blocking)API.对于大多数应用来说,这样的API使用很方便,然而,一些对性能要求较高的应用,尤其是服务端 ...

  10. kernel解读之 pick_next_rt_entity

    1328 static struct sched_rt_entity *pick_next_rt_entity(struct rq *rq, 1329 struct rt_rq *rt_rq) 133 ...