C++手动调用析构函数无效问题排查

　　在学习C++的时候，都知道不要手动调用析构函数，也不要在构造函数、析构函数里调用虚函数。工作这么多年，这些冷门的知识极少用到，渐渐被繁杂的业务逻辑淹没掉。

　　不过，最近项目里出现了析构函数没有被正确地调用，导致内存泄漏。代码大概如下：

class base_mem_alloc
{
public:
　　base_mem_alloc() {}
　　virtual ~base_mem_alloc() {}

};

class mem_alloc : public base_mem_alloc
{
public:
    ~mem_alloc() {}
    virtual ~mem_alloc()
    {
        // 释放内存
    }
};

class test_conf
{
public:
    bool reload();
private:
    class mem_alloc _alloc;
}

bool test_conf::reload()
{
    // 正常写法，释放所有内存，但没有这个接口
    // _alloc.release()

    // 有问题的写法
    class mem_alloc tmp;
    _alloc.~mem_alloc(); // 通过析构函数释放内存
    _alloc = tmp; // 通过拷贝构造函数将内部变量初始化

    // 使用_alloc分配内存
}

　　公司的框架要求使用统一的内存分配器。像读取配置这种逻辑，在配置不需要的时候（也就是关掉进程）是直接从分配器统一释放的，但这框架有点年代了，之前没有考虑游戏热更配置的问题。现在要求能重新加载配置，那么就少了一个释放内存的接口。于是，便通过析构函数释放内存，然后再用拷贝构造函数把一个临时分配器拷贝过来。虽然这种写法极其少见，但咋一看，好像也没问题。然后不幸的是，这种写法真的有问题，~mem_alloc()这个析构函数是无法正常调用的。

　　代码中的内存分配器用了多态，C++的多态是依赖虚函数表实现的，虚函数表是在构造函数的时候一步步创建，在析构函数一步步销毁。之所以说是一步步，因为C++在调用构造函数时，会从基类构造函数--子类构造函数构造，析构时从子类析构函数--基类析构函数。在这个过程中，对象的类型也是会变的，调用基类构造函数的时候，他的类型就是基类，调用子类构造函数时，就是子类。析构时则反过来，所以析构完成后，对象的类型是基类(理论上讲，不再存在这个对象，但他的数据遗留是基类)。参考：https://www.artima.com/cppsource/nevercall.html

    During base class construction of a derived class object, the type of the object
is that of the base class. Not only do virtual functions resolve to the base class, 
but the parts of the language using runtime type information (e.g., dynamic_cast (see Item 27) 
and typeid) treat the object as a base class type.An object doesn't become a derived class object 
until execution of a derived class constructor begins.

    The same reasoning applies during destruction. Once a derived class destructor has run, 
the object's derived class data members assume undefined values, so C++ treats them as if 
they no longer exist. Upon entry to the base class destructor, the object becomes a base class
object, and all parts of C++—virtual functions, dynamic_casts, etc.—treat it that way.

　　由于虚函数表在构造、析构过程中是变化的，因此在这时调用虚函数可能不会得到正确的结果。而像dynamic_cast这种依赖运行时的转换，也不可用。上面出问题的代码中，手动调用析构函数，第一次是能够正常调用的，然后就变成了基类。在使用拷贝构造函数时，会拷贝临时对象的数据，但是并不会重建虚函数表。由于在我们项目的代码中大部分功能是由基类完成的，使用拷贝构造函数后，对象的内存数据也没有被破坏。因此运行起来并没有什么太大的问题，再加上这个地方是需要多次重新加载配置才能重现，导致这个问题被隐藏了一段时间。

　　其实这个问题很好解决。加个释放函数就OK，或者换用指针，delete掉再new就可以了。用placement new在原来对象上重新创建一个对象也行。最后说一句，写代码，不是写得越复杂越高深才好，而是越通俗易懂越好，少用一些奇奇怪怪的写法用法。毕竟代码多数是需要维护的，公司招的人每个人的水平都不一样，通俗的代码则更容易维护。