C++构造析构函数详解：对象生命周期管理基础

构造函数应确保对象正确初始化，使用初始化列表并注意成员声明顺序；析构函数需释放资源且设为虚函数以避免泄漏。构造函数要避免复杂逻辑和虚函数调用；优先使用智能指针替代裸指针；若涉及资源管理，需遵循三/五法则。

写C++程序时，构造函数和析构函数是管理对象生命周期的核心工具。它们决定了对象如何被创建、初始化，以及在不再需要时如何被清理。如果你不注意这两部分的编写，轻则导致资源泄漏，重则引发不可预料的行为。

下面从几个关键点出发，讲讲怎么写出合理、安全的构造函数和析构函数。

构造函数：确保对象正确初始化

构造函数的任务很明确——让一个对象处于可用状态。它应该完成所有必要的初始化工作，尤其是那些不能延迟到其他成员函数中进行的操作。

• 初始化顺序要清楚
  C++中成员变量的初始化顺序由它们在类中的声明顺序决定，而不是初始化列表中的顺序。这一点很容易出错，尤其当多个成员之间存在依赖关系时。例如：

  

  class MyClass {
      int a;
      int b;
  public:
      MyClass() : b(10), a(b + 5) {} // 注意：a在b之前声明，但先初始化b
  };

  上面的例子虽然看起来没问题，但如果a依赖于b的值，就可能出现未定义行为，因为a其实在b之前就被构造了。

• 优先使用初始化列表
  对于基本类型、引用、常量成员或没有默认构造函数的类类型，必须使用初始化列表。比如：

  class Student {
      const std::string name;
  public:
      Student(const std::string& n) : name(n) {} // 必须用初始化列表
  };

• 避免构造函数做太多事
  构造函数里不要执行复杂的逻辑或调用虚函数。因为此时派生类部分还未构造完成，调用虚函数会导致调用当前类的实现，可能不符合预期。

析构函数：释放资源，防止泄露

析构函数负责对象销毁前的善后工作，比如释放动态分配的内存、关闭文件句柄等。它的正确性直接关系到程序的稳定性和资源管理能力。

• 如果是基类，记得将析构函数设为 virtual
  如果你的类可能被继承，并且你打算通过基类指针来删除派生类对象，就必须把析构函数设为虚函数，否则会造成“只调用基类析构”的问题，造成资源泄漏。

  class Base {
  public:
      virtual ~Base() {} // 必须有virtual
  };

• 手动清理资源时要小心重复释放
  如果你在类中使用了裸指针（比如 int* data;），析构函数中就需要手动 delete。这时候要注意避免多次 delete 或者 delete 未初始化的指针。

  建议的做法是：

  • 在构造函数中将指针初始化为 nullptr
  • 在析构函数中判断是否为空再 delete
  • 使用智能指针替代裸指针，从根本上避免问题

• 析构函数尽量不要抛异常
  C++标准规定，在析构过程中抛出异常而未被捕获，会导致程序终止。所以尽量避免在析构函数中执行可能失败的操作，或者如果一定要做，务必内部处理掉异常。

特殊情况：复制构造与赋值操作符

如果你的类涉及资源管理（比如自己维护内存、文件句柄等），除了构造和析构外，还要考虑复制构造函数和赋值操作符的行为。否则，默认生成的版本可能会导致浅拷贝、重复释放等问题。

你需要遵循“三/五法则”：

• 如果你需要自定义析构函数，通常也需要自定义复制构造函数和赋值操作符
• 如果你还支持移动语义（C++11起），还需要加上移动构造和移动赋值

基本上就这些。构造和析构函数虽基础，但写好并不容易，特别是在涉及继承、资源管理和现代C++特性时，稍有不慎就会埋下隐患。保持简洁、清晰、安全的原则，多借助RAII思想和智能指针，能让你少踩很多坑。