保留unsigned char*时，如何调用模板类中T类型的析构函数？

问题描述 #

现有如下模板类代码，使用unsigned char*存储T类型的对象，但在析构函数中调用T的析构函数时出现编译错误：

template <typename T>
struct MYCLASS
{
    MYCLASS() { buffer = new unsigned char[sizeof(T)]; new (buffer)T(); }
    unsigned char* buffer;

    ~MYCLASS() { buffer->~T(); delete buffer; }
};

int main(void)
{
    MYCLASS<int> b;
}

编译报错信息：

Error C2325 'int': unexpected type to the right of '->~': expected 'unsigned char'

需要在保留unsigned char*指针的前提下，正确调用T的析构函数。

解决方法 #

要解决这个问题，需要完成两个关键步骤：

• 将unsigned char*强制转换为T*类型，让编译器识别指针指向的是T类型对象，从而允许调用T的析构函数
• 修正内存释放方式：由于内存是通过new[]分配的，必须使用delete[]而非delete释放，否则会触发未定义行为

修正后的代码如下：

template <typename T>
struct MYCLASS
{
    MYCLASS() { buffer = new unsigned char[sizeof(T)]; new (buffer)T(); }
    unsigned char* buffer;

    ~MYCLASS() { 
        // 将unsigned char*转换为T*后调用析构函数
        reinterpret_cast<T*>(buffer)->~T(); 
        // 用delete[]释放数组内存
        delete[] buffer; 
    }
};

int main(void)
{
    MYCLASS<int> b;
}

原理说明 #

unsigned char*的静态类型是unsigned char，编译器默认只会识别它指向unsigned char数据，因此直接调用->~T()会触发类型不匹配的错误。通过reinterpret_cast<T*>(buffer)将指针转换为T*后，编译器就能正确识别这是T类型的对象指针，从而允许调用T的析构函数。

另外，new[]和delete[]是成对的内存管理操作，使用delete释放new[]分配的内存会导致内存分配器的内部状态被破坏，进而引发内存泄漏或程序崩溃，因此必须修正为delete[]。

内容的提问来源于stack exchange，提问作者Zebrafish