为什么realloc为自定义分配器使我的数据无效？

Question

我已经使用malloc为我的堆栈分配器预分配了一大块内存，但是我希望它能够扩展它的内存。alloc函数如下所示：

void* _stack = malloc(4096);

...

template <class T>
T* allocate(const std::size_t& blockSize)
{
    std::size_t newMemoryBlock = (std::size_t)_stack + _stackHead;

    _stackHead += blockSize;

    return (T*)newMemoryBlock;
}

这种方法很好（也适用于对齐[即使它不在示例中]）。但是，当堆栈尝试通过此函数重新定位其缓冲区时，会出现问题：

static void allocateMoreMemory(void*& srcPtr, std::size_t& srcBufferSize, uint sizeMultiplier = 2)
{
    //Double the size
    srcBufferSize *= sizeMultiplier;

    void* newBuffer = realloc(srcPtr, srcBufferSize);

    if (!newBuffer)
    {
        std::cout << "Reallocation failed" << std::endl;
    }
    else
        srcPtr = newBuffer;
}

在这个问题中，用法是这样的：

StackAllocator<6> allocator;

std::vector<int*> vector(2);

for (std::size_t i = 0; i < 2; i++)
{
    vector[i] = allocator.allocate<int>();
    *vector[i] = i;
}

for (std::size_t i = 0; i < 2; i++)
{
    std::cout << *vector[i] << std::endl;
}

如您所见，它为第一个整数分配了一个空间，然后当它尝试分配第二个整数时，它需要重新分配（因为我们只为6个字节初始化了分配器）。更改后，第一个整数值更改为随机值。来自std：：out的控制台输出

在这种情况下，是否可以使用realloc？或者这是因为我把记忆用于不同的类型？如果可能，如何解决？谢谢

Answer 1

问题是

vector[i] = (int*)allocator.allocate<int>();

在某些情况下，realloc可能会更改内存块，以获得适合较大内存的内存块。

所有以前出现的向量[i]都将无效，您必须更新所有以前的值（在您的上下文中不是很方便）

您的分配器必须返回不同的内存区域，并且不能使用realloc。

如果你需要所有向量的连续内存，你必须创建一个更高级别的对象来处理重新分配

如果您不需要连续内存，只需坚持向量向量（std::向量