指向包含std::字符串的对象的指针上调用析构函数的指针无效

Question

我使用的是BennyBox频道上的ECS的一个修改版本（代码可以在这里找到），它在大多数情况下都能正常工作。但是，当我向组件添加std：：string时，程序在退出时中止（当ECS类的析构函数被调用时），并显示消息：free（）：指针无效。当我从组件中删除字符串时，程序将毫无问题地退出。所有组件都继承自此类：

template<typename T>
struct ECSComponent : public BaseECSComponent
{
    static const ECSComponentCreateFunction CREATE_FUNCTION;
    static const ECSComponentFreeFunction FREE_FUNCTION;
    static const uint32 ID;
    static const size_t SIZE;
};

它继承自一个类，该类只包含一个指向向量的指针和几个辅助函数。组件被破坏如下：

template<typename Component>
void ECSComponentFree(BaseECSComponent* comp)
{
    Component* component = (Component*)comp;
    component->~Component();
}

该程序使用const char*代替字符串，但我不能这样做，因为我需要这个特定的字符串是动态的。它还适用于其他常见的数据结构，例如std::向量...这里发生了什么？




Answer 1

您的问题出在ECSComponentFree（）函数中，您手动调用析构函数：

template<typename Component>
void ECSComponentFree(BaseECSComponent* comp)
{
    Component* component = (Component*)comp;
    component->~Component(); //call the destructor
}

当对象超出范围时，会再次调用析构函数，它试图再次释放内存，导致双重释放。

您可以通过运行以下简单示例尝试直播来更好地理解它：

class A {
    std::string* s = new std::string{"Hello"};
    public:
    A() { printf("ctor\n"); }
    void freee() { printf("freeing\n"); this->~A(); }
    ~A() { delete s; printf("dtor\n"); }
};

int main()
{
    A a;
    a.freee();
    return 0;
}