25. 成员对象的构造与析构：成员对象的初始化顺序、成员初始化列表与成员对象、成员对象的析构

好，咱们今天聊一个非常实在的话题——成员对象的构造与析构。

说实话，我见过不少C++开发者，写类的时候能把构造函数写得飞起，但一涉及到成员对象，就开始踩坑。尤其是那个初始化顺序，很多人以为“我写在代码里的顺序就是执行顺序”，结果调试半天发现数据全是乱的。嗯，这里面的门道，咱们今天一次说清楚。

成员对象的初始化顺序：不是你写的那样

先问一个问题：一个类里有多个成员对象，它们的构造函数按什么顺序执行？

很多人会回答：“按初始化列表的顺序啊。” 错！是按成员在类中声明的顺序。

我当年刚入行时就被这个坑过。有一次写一个网络库，里面有个ConnectionManager类，成员变量声明顺序是：

class ConnectionManager {
    Logger logger_;      // 先声明
    SocketPool pool_;    // 后声明
    // ...
};

结果我在初始化列表里先写了pool_(args)，后写了logger_(args)。你猜怎么着？编译器先构造了logger_，再构造pool_。因为声明顺序决定了构造顺序，跟初始化列表的顺序无关。

为什么会这样？因为C++标准规定：成员对象的构造顺序与它们在类定义中的声明顺序一致，与初始化列表中的顺序无关。析构顺序则正好相反。

我个人习惯是：让初始化列表的顺序与声明顺序保持一致。这样代码读起来不会产生误导。虽然编译器不强制，但人看着舒服，也少犯错。

成员初始化列表与成员对象

说到成员对象的初始化，就不得不提初始化列表。很多新手喜欢在构造函数体内赋值：

class Server {
    Logger logger_;
    Config config_;
public:
    Server() {
        logger_ = Logger("server.log");   // 先默认构造，再赋值
        config_ = Config("/etc/server.conf");
    }
};

这样写有什么问题？成员对象会被构造两次。先调用默认构造函数，再调用拷贝赋值运算符。对于资源密集型对象，这简直是性能灾难。

正确的做法是用初始化列表：

class Server {
    Logger logger_;
    Config config_;
public:
    Server() 
        : logger_("server.log")           // 直接构造一次
        , config_("/etc/server.conf") 
    {}
};

我在项目中遇到过这样一个场景：有个DatabaseConnection类，构造函数里要打开数据库连接。如果不用初始化列表，先默认构造一个空连接，再赋值打开新连接——那个空连接的析构函数会尝试关闭一个不存在的连接，导致段错误。嗯，调试这种bug真的很痛苦。

成员对象的析构：反向而行

析构的顺序是构造的逆序。这个其实很好理解：后构造的先析构，先构造的后析构。

为什么这么设计？你想想看，如果A对象依赖于B对象，通常A会持有B的引用或指针。如果B先析构了，A再去访问B，那就是悬空引用。所以后构造的先析构，能最大程度避免这种问题。

来看一个完整的例子：

class RequestHandler {
    Logger& logger_;        // 引用成员
    Connection conn_;       // 普通成员对象
    Timer timer_;           // 普通成员对象
public:
    RequestHandler(Logger& logger, int timeout)
        : logger_(logger)           // 引用必须在初始化列表
        , timer_(timeout)           // 先声明，先构造
        , conn_(logger, "db")       // 后声明，后构造
    {
        // 构造函数体
    }

    ~RequestHandler() {
        // 析构顺序：先 conn_，再 timer_，最后 logger_（引用不析构）
    }
};

析构时，conn_先被销毁，然后是timer_，最后是logger_（引用不参与析构）。这个顺序正好与声明顺序相反。

知识体系图：成员对象的生命周期

下面这张图展示了成员对象的构造与析构流程，以及初始化列表在其中扮演的角色：

总结一下

关于成员对象的构造与析构，记住这几条就够了：

• 构造顺序 = 声明顺序，跟初始化列表怎么写没关系
• 析构顺序 = 声明逆序，后构造的先析构
• 能用初始化列表就别用赋值，省一次构造，少一个坑
• const成员、引用成员、无默认构造的成员，必须用初始化列表
• 析构函数里别访问声明靠后的成员，它们可能已经没了

说白了，这些规则背后都是C++为了安全性和性能做的设计。你顺着它的规则来，代码就稳；你非要跟它对着干，那bug就会找上门来。我个人觉得，理解这些底层逻辑比背规则更重要——知道为什么这么设计，你自然就知道该怎么写了。