确定指针的类型

Question

所以我正在制作一个内存堆栈分配器，它能够以连续的方式将任何类型的任何实例分配到堆上。

为了做到这一点，我在每个分配之前直接添加了一个“AllocationHeader”类，其中包含实例地址本身的 void* 和前一个标头的 AllocationHeader*。 到目前为止，这工作得很好，我能够分配和解除分配等。

但我遇到了 1 个（可能是 2 个）问题。 为了正确解除分配，我还需要调用相关对象的析构函数，然后将其从堆栈中删除。 当我删除一个我有一个指针的实例时这很好，因为我可以将它传递给 deallocate 函数并且它知道它是什么类型并做它的事情。

问题出在我想创建像 deallocateAll() 或 deallocateAllAboveObject(T* obj) 这样的函数时，因为我需要知道每个分配的类型而不显式传递它们的指针，所以我可以向下堆栈中的每个分配边走边调用每个的解构器。

我想要的是能够创建一个 AllocationHeader 来存储任何类型的指针，然后可以在以后不知道类型的情况下检索指针的类型。

我真的不确定如何执行此操作，因为到目前为止我看到的所有建议都涉及将对象与特定类型进行比较并查看它们是否相同。但是，我不能只检查程序中每个可能的类，因为我继续在此基础上构建可能有 1000 个。

或者，如果您对可以处理任何类型的堆栈分配器的替代方法有任何建议，那也很好。

任何帮助都将不胜感激。

Answer 1

由于 C++ 的静态类型系统，我只能看到几个解决问题的方法

• 让分配器使用的每个类型都派生自具有虚拟析构函数的（一致）类型，例如struct destructible { virtual ~destructible() { } }，但是这可能会扩大和更改您更改为从中派生的任何类型的布局。

或者在分配存储一个执行销毁的函数对象，例如使用以下模板

template<typename T> void destroy(void* p) { reinterpret_cast<T*>(p)->T::~T(); }

struct AllocationHeader
{
    template<typename T> AllocationHeader(AllocationHeader* previouse, void* data)
        : previouse(previouse), data(data), destructor(&destroy<T>) { }
    AllocationHeader* previouse;
    void* data;
    void (*destructor)(void*);
}
void deallocateAll(AllocationHeader& start)
{
    for (AllocationHeader* a = &start; a != nullptr; a = start->previouse;)
    {
        a->destructor(a->data);
        delete a->data;
    }
}

（如果不提供AllocationHeader 类型的代码，很难为您提供帮助。）

注意：我的编译器/IDE目前正在重新安装，所以我无法测试上面的代码，我很确定大部分代码，除了我可能需要在析构函数调用语法reinterpret_cast<T*>(p).T::~T();中添加typename /p>

编辑使用模板构造函数，在模板参数不能被推断的情况下是个坏主意，应该使用下面的构造函数来代替

AllocationHeader(AllocationHeader* previouse, void* data, void(*destructor)(void*))
        : previouse(previouse), data(data), destructor(destructor) { }

只需将&destroy<T> 作为第三个参数传递给它。