2.2.2  构造函数

按下键盘上的F7功能键编译例2-5的代码，然后按下键盘上的Ctrl+F5执行程序，出现如图2.10所示的运行结果。

从图中可以看到，输出了两个很大的负数。这是因为在构造pt对象时，系统要为它的成员变量x和y分配内存空间，而在这个内存空间中的值是一个随机值，在程序中我们没有给这两个变量赋值，因此输出时就看到了如图2.10所示的结果。这当然不是我们所期望的，作为一个点的两个坐标来说，应该有一个合理的值。为此，我们想到定义一个初始化函数，用它来初始化x和y坐标。这时程序的代码如例2-6所示，其中加灰显示的部分为新添加的代码。

图2.10  EX03程序的运行结果

#include <iostream.h> 
class point  
{  
public:  
     int x;  
     int y;  
     void init()  
     {  
          x=0;  
          y=0;  
     }  
     void output()  
     {  
          cout<<x<<endl<<y<<endl;  
     }  
};  
void main()  
{  
     point pt;  
     pt.init();  
     pt.output();  
}  

然而，对于我们定义的init函数，在编写程序时仍然有可能忘记调用它。那么，能不能在我们定义pt这个对象的同时，就对pt的成员变量进行初始化呢？在C++(www.cppentry.com)当中，给我们提供了一个构造函数，可以用来对类中的成员变量进行初始化。

C++(www.cppentry.com)规定构造函数的名字和类名相同，没有返回值。我们将init这个函数删去，增加一个构造函数point。这时程序的代码如例2-7所示，其中加灰显示的部分为新添加的代码。

例2-7

#include <iostream.h> 
class point  
{  
public:  
     int x;  
     int y;  
     point()    //point类的构造函数  
     {  
          x=0;  
          y=0;  
     }  
     void output()  
     {  
          cout<<x<<endl<<y<<endl;  
     }  
};  
 
void main()  
{  
     point pt;  
     pt.output();  
}  

在程序中，point这个构造函数没有任何返回值。我们在函数内部对x和y变量进行了初始化，按F7编译代码，按Ctrl+F5执行程序，可以看到输出结果是两个0。

构造函数的作用是对对象本身做初始化工作，也就是给用户提供初始化类中成员变量的一种方式。可以在构造函数中编写代码，对类中的成员变量进行初始化。在例2-7的程序中，当在main函数中执行"point pt"这条语句时，就会自动调用point这个类的构造函数，从而完成对pt对象内部数据成员x和y的初始化工作。

如果一个类中没有定义任何的构造函数，那么C++(www.cppentry.com)编译器在某些情况下会为该类提供一个默认的构造函数，这个默认的构造函数是一个不带参数的构造函数。只要一个类中定义了一个构造函数，不管这个构造函数是否是带参数的构造函数，C++(www.cppentry.com)编译器就不再提供默认的构造函数。也就是说，如果为一个类定义了一个带参数的构造函数，还想要无参数的构造函数，则必须自己定义。

知识点  国内很多介绍C++(www.cppentry.com)的图书，对于构造函数的说明，要么是错误的，要么没有真正说清楚构造函数的作用。在网友backer的帮助下，我们参看了ANSI C++(www.cppentry.com)的ISO标准，并从汇编的角度试验了几种主流编译器的行为，对于编译器提供默认构造函数的行为得出了下面的结论。

如果一个类中没有定义任何的构造函数，那么编译器只有在以下三种情况，才会提供默认的构造函数：

1．如果类有虚拟成员函数或者虚拟继承父类（即有虚拟基类）时；

2．如果类的基类有构造函数（可以是用户定义的构造函数，或编译器提供的默认构造函数）；

3．在类中的所有非静态的对象数据成员，它们所属的类中有构造函数（可以是用户定义的构造函数，或编译器提供的默认构造函数）。