Small-Chao

  博客园  :: 首页  :: 新随笔  :: 联系 :: 订阅 订阅  :: 管理

一、Default constructor 建构操作

1、Default constructor函数只会在编译器需要的时候才会自动创建,有如下四种情况

  a、“带有Default constructor”的Menber Class Object(I、自动创建;II、如果class中游Default constructor,但是没有对Member Class Object进行初始化,Class会自动对构造函数进行扩张,调用Member Class Object的Default constructor;III、如果有多个Member Class Object的话,根据声明次序依次调用)

  b、“带有Default constructor”的Base Class

  c、“带有一个Virtual Function”的class(主要是因为要初始化指向虚函数表的指针)

  d、“带有一个Virtual Base Class”的Class(需要通过某些操作实现Base Class在Derived Class的实际偏移地址)

2、两个容易混淆的观点:

  a、 一个Class,如果没有定义default constructor ,编译器不一定会自动生成一个constructor

  b、编译器合成出来的default constructor不会对每一个data member进行初始化

二、Copy constructor 建构操作

1、三种有可能调用Copy constructor的情况

  a、Class X{};    X x; X xx=x;

  b、extern void foo(X xx); void bar(){X xx; foo(xx);}

  c、X foo(){X xx;   return xx;}

2、如果用户没有定义Copy constructor,那么Copy constructor函数只会在编译器需要的时候才会自动创建,有如下四种情况

  a、“带有Copy constructor”的Menber Class Object

  b、“带有Copyt constructor”的Base Class

  c、“带有一个Virtual Function”的class(主要是因为要初始化指向虚函数表的指针)

  d、“带有一个Virtual Base Class”的Class(需要通过某些操作实现Base Class在Derived Class的实际偏移地址)

   说明:当编译器不合成Copy constructor时,编译器会采用MemberWise 手法来进行成员变量的复赋值

3、重新设定virtual table:

  a、class A{}; class B:public A{};  A a;A b = a; 不会有问题,对于指向虚函数的指针采用MemberWise不会存在问题; 但是对于 A a; B b=a;如果采用MemberWise就会出现问题,这样b对象中的虚函数指针就会指向a的虚函数表,显然是错误的;

三、程序转换语意

1、明确的初始化

2、参数的初始化:

  void foo(X xx){};  

  void fun(){X a; foo(a);}

  ==>

   void foo(X &xx){};

   void fun(){X a; X temp; temp.X::X(a); foo(temp)}

3、返回值的初始化:

      X bar(){X xx; return xx;}  ==> void bar(X& _result){X xx; _result.X::X(xx); return;}

  X xx = bar(); ==> X xx; bar(xx);

  bar().Function(); ==>X xx; bar(xx); xx.Function;

4、在使用层面做优化:直接传入引用就可以解决

5、编译器优化:

四、数据成员的初始化队列

1、四种情况必须要用到初始化队列,否则编译通不过

  a、有const member时

  b、有reference member时

  c、有member class object,且object构造函数带参数时

  d、有Base clase,且构造函数带参数时

2、class Worl{string _name; int cnt; public: Worl(){_name = 0; cnt=0;}}构造函数实际上扩充为如下:

  Worl(){_name.String::String(); String temp = 0; _name.String::operate =(temp); temp.String::~String(); cnt=0};

  可以看出对_name初始化调用了两次构造函数,一次析构函数,还有一次赋值操作;

  如果写为Worl():_name(0){ cnt=0;}会扩充为:Worl(){_name.String::String(0); cnt=0};只调用了一次拷贝构造函数,效率大大提升

3、初始化队列并不是通过函数调用实现的,而是编译器通过构造函数的代码扩充来完成的,扩充在用户代码之前,以某一顺序来完成:从后向前or从前向后

4、Worl():cnt(0){} 会扩充为 worl(){cnt = 0};所以对于基本数据类型的话两种写法的效率是一样的

posted on 2011-10-11 21:14  Small-Chao  阅读(1001)  评论(0编辑  收藏  举报