C++类的构造函数和析构函数

构造函数

构造函数是一类特殊的成员函数，它的目的是完成对象的初始化。构造函数的名字和类名相同，可以有参数，但不能有返回类型。

class ClassName
{
    public:
        /*构造函数，可以在类声明中定义*/
        ClassName(参数列表)
        {
        }
        ClassName(参数列表2);
};
/*构造函数也可以在类外定义*/
ClassName::ClassName(参数列表2)
{
}

对象的初始化总会通过某个构造函数来完成，即使没有明确地定义构造函数，编译器也会为类生成一个默认构造函数。构造函数避免了专门写初始化函数，也可以保证初始化工作总被调用，以防止出现对象没有初始化而导致程序出错的情况。

构造函数遵循重载原则，可以提供多个构造函数，支持多种初始化方式。构造函数也接受访问控制符的限定，往往都被设置为public可见性，以支持使用它们进行初始化。但在一些情况（例如Singleton模式）中，构造函数也常设置为private可见性。

同C语言一样，每一个对象都要进行初始化，否则程序在运行过程中有可能产生难以预料的结果，甚至造成程序崩溃。对于内置基本数据类型的对象，初始化工作与C语言一样，在定义该对象时直接为其指定初值。而对于非静态的非内置基本数据类型的对象（静态成员变量需要在类声明体外定义），其初始化工作则由其构造函数来完成。确保在构造函数中对象的每一个成员都被初始化。

非静态成员变量的初始化发生在构造函数的函数体执行之前，因此，以下列方式实现的并不是对成员变量的初始化，而是赋值。

/*****************************************
 * member_initialization.cpp             *
 *                                       *
 * C++的成员变量的初始化                 *
 *****************************************/

#include <iostream>
using namespace std;

class Member
{
private:
  int i;
public:
  Member()
  {
    i = 0;
    cout<<"Member默认构造函数被调用"<<endl;
  }
  Member(int i)
  {
    this->i = i;
    cout<<"Member类型转换构造函数"<<endl;
  }
};

class Container
{
private:
  Member m;
public:
  Container()
  {
    this->m = 1;
  }
};

int main()
{
  Container c;
  return 0;
}

使用成员初始化列表可以实现非静态成员变量的初始化，其一般形式为：

class ClassName
{
private:
    类型 成员变量1；
    类型 成员变量2；
    ...
public:
    ClassName(...) :成员变量1（值1），成员变量2(值2）...
    {
    } 
};

使用这样的初始化时往往具有更高的效率。

/*****************************************
 * member_initialization_1.cpp           *
 *                                       *
 * C++的成员变量的初始化                 *
 *****************************************/

#include <iostream>
using namespace std;

class Member
{
private:
  int i;
public:
  Member()
  {
    i = 0;
    cout<<"Member默认构造函数被调用"<<endl;
  }
  Member(int i)
  {
    this->i = i;
    cout<<"Member类型转换构造函数"<<endl;
  }
};

class Container
{
private:
  Member m;
public:
  Container() : m(1)
  {
  }
};

int main()
{
  Container c;
  return 0;
}

C++总是依据非静态成员变量的声明顺序来进行初始化，为避免可能的因次序问题引起的迷惑，建议在初始化列表中也依据成员变量的声明顺序排列这些成员变量。

析构函数

析构函数也是一种特殊的成员函数，在对象销毁时自动调用，以完成一些善后工作，例如释放分配的内存，释放申请的资源等。析构函数的名字是在类的名字前加上符号～，没有参数和返回值。

class ClassName
{
public:
    /*构造函数*/
    ClassName()
    {
    }
public:
    /*析构函数*/
    ~ClassName()
    {
    }
};

析构函数只能有一个，如果没有定义析构函数，编译器会自动为该类生成一个默认析构函数。当具有自由存储期限的对象离开作用域或被清除时，析构函数都将隐式调用。对于使用new创建的对象，必须使用delete显式调用析构函数。

/****************************************
 * constructor_deconstructor.cpp        *
 *                                      *
 * C++的构造函数和析构函数              *
 ****************************************/

#include <iostream>

/*使用默认构造函数和析构函数的类*/
class TestDefault
{
};

/*定义了析构函数和多个构造函数的类*/
class TestConsAndDecons
{
private:
  int i;

public:
  TestConsAndDecons()
  {
    std::cout<<"无参构造函数被调用"<<std::endl;
  }

  TestConsAndDecons(int _i)
  {
    i = _i;
    std::cout<<"有参构造函数调用，i = "<<i<<std::endl;
  }

  ~TestConsAndDecons()
  {
    std::cout<<"析构函数被调用"<<std::endl;;
  }
};

void TestAutoScope()
{
  std::cout<<"进入TestAutoScope函数：";
  TestConsAndDecons t4(20);
  std::cout<<"退出TestAutoScope函数：";
}

int main()
{
  TestDefault t1;
  TestConsAndDecons t2;
  TestConsAndDecons t3(5);

  TestAutoScope();
  return 0;
}

参考文献

1. Bjarne Stroustrup著，裘宗燕译. C++程序设计语言（特别版）.机械工业出版社 2009
2. https://www.coursera.org/course/pkupop