构造函数是C++的一个很基础的知识点,在平时编程的时候,相信大家都很熟悉,虽然比较基础,但是细究下来,还是有不少细节需要注意。这篇文章主要总结C++构造函数需要注意一些细节,一方面,可以帮助下大家巩固下这方面知识。同时,也是有助于自己更好得整理以前的知识。
  让我们由一个对象的创建开始。当一个对象创建的时候,编译器会调用这个对象的构造函数,在这个时候,或许大家会有疑问了:我并没有为对象指定构造函数,那么编译器调用的构造函数由哪里来呢?
  有这点疑惑是一个好的开始,那么当我们没有指定构造函数时,编译器调用的构造函数由哪里来呢?,答案是编译器会自己为对象产生所需的构造函数。
  那么现在又有了两个问题:
  >1.编译器在什么条件下会为我们自动生成默认构造函数?
  >
  >2.自动生成的构造函数主要做了什么?
  我们先来回答问题1,答案是:
  >在我们没有对象指定构造函数的时候,编译器会为我们生成默认构造函数,拷贝构造函数,默认析构函数。
  这样的话,无论我们使用通过new,拷贝来构造一个对象都可以完成了。在此需要提及一下拷贝构造函数和赋值构造函数的区别,请看下例:
  class Obj{}; // 声明一个对象Obj
  Obj a; //调用默认构造函数来构造对象
  Obj b(a);//调用默认拷贝构造函数来构造对象
  Obj c = b;//调用的也是拷贝构造函数,好将其写做 Obj c(b)。
  所以,当我们不需要编译器生成的构造函数时,应该明确说出来,即如果们声明自己的构造函数,拷贝构造函数的话,编译器不会为我们生成这些函数了。
  通过利用这点我们可以限制对象的产生,例如,我们将默认构造函数,拷贝构造函数声明为私有,可以防止外界来产生这个对象,这点主要是在单例模式中使用。
  在上面我们了解了编译器会自动为对象生成函数的条件。下面来看第二个问题。
  在这个问题中,包含了两个构造函数:默认构造函数和拷贝构造函数。下面我们将分别回答这个问题。
  1.编译器生成的默认构造函数主要做了什么?
  实际这个问题中的表述是不准确的,因为按照标准,编译器只在需要的时候产生才产生一个符合编译器要求的默认构造函数,其他情况下是不会产生一个默认构造函数,因为是不需要的。那么什么是需要的时候呢?答案如下:
  >1.内部的成员变量拥有默认构造函数,如果有多个成员变量,那么会按照成员变量声明的顺序来调用成员变量的默认构造函数。
  >2.基类拥有默认构造函数。在子类构造的时候,需要先构造父类。
  >3.类中声明有虚函数,因为编译器需要为类中的虚函数表指针指定正确的地址。
  >4.带有虚基类(virtual base class)。因为编译器需要确定下来虚基类在对象中的偏移,以方便调用虚基类中数据。
  上面四种情况下,编译器会为对象合成默认构造函数,而通过上面的情况,也可以知道编译器合成的默认构造函数做了什么(此知识点在《深度探索C++对象模型中》详细描述)。同时也要注意一点:编译器合成的默认构造函数并没有初始化成员变量,如果要为成员变量在构造是指定特定的值,需要在自定义的构造函数中来指定。
  第一个问题可以告一段落,下面我们来看默认拷贝构造函数做了什么。
  回答这个问题前,我们再来回顾下拷贝构造函数的调用时机,在以下三种情况下会调用对象的拷贝构造函数
  >1.以一个对象的值作为另一个对象的初值。例如:
  class Obj{};
  Obj a;
  Obj b = a;
  Obj c(a);
  >2.当作为函数的参数时。例如:
  class Obj{};
  void Foo(Obj obj);
  >3.当作为函数的返回值时。例如:
  class Obj{};
  Obj foo()
  {
  Obj obj;
  return obj;//调用拷贝构造函数。
  }
  由上面第二种情况可知,**在函数中使用引用传参可以减少对象的构造**。