C++基础：缺省构造函数

        缺省构造函数，又称默认构造函数，是C++以及其他的一些面向对象的程序设计语言中，对象的不需要参数即可调用的构造函数。下面将针对缺省构造函数的定义、使用、以及注意问题等方面简要探讨。

        1、缺省构造函数是怎样的形式？是如何定义的？

         在C++的一个类中，如果构造函数没有参数，或者构造函数的所有参数都有默认值，就可以称其为缺省构造函数。一个类中，只能有一个缺省构造函数。

•  对于如下代码：构造函数MyClass()没有参数，就是MyClass的缺省（默认）构造函数。

class MyClass{public:MyClass(){value = 1;cout<<"无参默认构造函数调用并初始化value："<<value<<endl;};private:int value;};

•  而对于如下代码：构造函数Myclass(int  i = 10)的所有参数（此处只有一个参数i）都有默认值，这样的形式，也是MyClass的缺省（默认）构造函数。

class MyClass{public:MyClass(int i = 10){value = i;cout<<"参数都有默认值的默认构造函数调用并初始化value："<<value<<endl;};private:int value;};

• 要注意，一个类中只能有一个缺省构造函数。如果将以上的两个构造函数均加入类中，形如以下代码，就会有问题。

class MyClass{public:MyClass(){value = 1;cout<<"无参默认构造函数调用并初始化value："<<value<<endl;};MyClass(int i = 10){value = i;cout<<"参数都有默认值的默认构造函数调用并初始化value："<<value<<endl;};private:int value;};

       此时当建立MyClass mc这样的对象的时候，就会报错：

        2、缺省构造函数在何时被调用？

        缺省构造函数的调用主要包括如下的几种情况：

• 对象被定义时无参数，形如：MyClass mc;
• 动态分配对象时无参数列表，形如：MyClass *mcptr = new MyClass; 或 MyClass *mcptr = new MyClass();
  
• 使用静态分配的数组，数组元素为某个类的对象，形如： MyClass mcArrayStatic[5];
• 使用动态分配的数组，数组元素为某个类的对象，形如：MyClass *mcArrayDynamic = new MyClass[6];
  
• 使用标准库的容器（如vector），容器的元素类型是某个类的对象，形如：vector<MyClass> vmc(7);
• 在派生类的构造函数中未显示调用基类的构造函数，此时基类的缺省构造函数会被调用

        下面通过一段代码加以演示：

#include<iostream>#include<vector>using namespace std;class MyClass{public:MyClass(){value = 1;cout<<"无参默认构造函数调用并初始化value："<<value<<endl;};/*MyClass(int i = 10){value = i;cout<<"参数都有默认值的默认构造函数调用并初始化value："<<value<<endl;};*/private:int value;};class MyClassChild:public MyClass{public:MyClassChild(){cout<<"派生类构造函数调用"<<endl;}};class MyClass2{public:MyClass2(){cout<<"Myclass2构造函数调用"<<endl;}private:MyClass myc;};//用于对缺省构造函数调用情况的演示测试，在main()函数直接调用即可void test_myclass(){cout<<"对于默认构造函数调用的测试:"<<endl;cout<<"\n未显示调用构造函数："<<endl;MyClass mc;cout<<"\n显示调用构造函数："<<endl;MyClass *mcptr = new MyClass;//或MyClass *mcptr = new MyClass();cout<<"\n静态分配数组："<<endl;MyClass mcArrayStatic[5];cout<<"\n动态分配数组："<<endl;MyClass *mcArrayDynamic = new MyClass[6];cout<<"\n使用标准库容器："<<endl;vector<MyClass> vmc(7);//最大容量为7cout<<"\n创建派生类："<<endl;MyClassChild mcc;cout<<"\n包含别的类成员的类的创建："<<endl;MyClass2 mc2;}

        在main()函数调用test_myclass()，得到如下运行结果：

        3、注意事项：

        （1）对于你所创建的类（如此处的MyClass），如果没有为该类提供任何构造函数，那么编译器会自动生成一个默认的无参数的构造函数，但该函数体为空，不进行任何工作；然而，只要你为你的类定义了构造函数，无论是默认的构造函数形式，还是非默认构造函数的形式，哪怕只有一个，编译器都不会再生成默认的构造函数。

        举例言之，对于以上的类MyClass()，我去掉所有的构造函数，在运行下面的test_myclass(),依然可以运行，这是因为此时编译器为我的类生成了默认的构造函数，只是在其中未进行任何操作：

class MyClass{private:int value;};

        （2）在需要调用默认构造函数的情况下，如果并不存在默认构造函数，就会出错。

        比如，我定义了非默认构造函数形式的构造函数，此时编译器并不会帮我生成默认的构造函数，若运行test_myclass()，在需要调用默认构造函数的情况下，就会出错。

class MyClass{public:/*MyClass(){value = 1;cout<<"无参默认构造函数调用并初始化value："<<value<<endl;};*/MyClass(int i ){//没有默认值，就不是默认构造函数value = i;cout<<"参数都有默认值的默认构造函数调用并初始化value："<<value<<endl;};private:int value;};

        （3）并非所有的类都存在默认构造函数，前面已经说过，如果现实的定义了非默认构造函数，则编译器就不会自动生成默认构造函数，也就不存在默认构造函数，这是常见的错误，要注意。

        （4）如果某派生类的基类没有缺省构造函数，那么编译器也不会为该类隐式地定义缺省构造函数。因为该类即使隐式地定义缺省构造函数，也无法初始化其基类。

        （5）如果类的基类的缺省构造函数为私有，那么编译器会为该类隐式地定义缺省构造函数，但编译报错“cannot access private member declared in class 基类名字”。