4

分配器如何创建和销毁和排列,例如

int* someInt = someAllocator(3);

没有分配器的地方

int* someInt = new int[3];

分配器负责创建每个元素并确保调用构造函数。

在不使用 new 的情况下如何编写分配器的内部结构?有人可以提供该功能的示例吗?

我不想只使用 std::vector,因为我正在尝试学习分配器如何创建数组。

4

2 回答 2

2

一般内存分配问题是一个非常棘手的问题。有些人认为它已解决,有些则无法解决;)如果您对内部结构感兴趣,请先查看Doug Lea 的 malloc

专门的内存分配器通常要简单得多——它们用通用性(例如通过固定大小)来换取简单性和性能。不过要小心,在实际程序中,使用通用内存分配通常比使用特殊分配器的大杂烩要好。

一旦通过内存分配器的“魔法”分配了一块内存,就可以使用placement new以容器的喜好对其进行初始化。

- - 编辑 - -

放置 new 对于“正常”编程没有用 - 您只需要在实现自己的容器以将内存分配与对象构造分开时才需要它。话虽如此,这里有一个使用placement new的稍微做作的例子:

#include <new> // For placement new.
#include <cassert>
#include <iostream>

class A {
public:
    A(int x) : X(x) {
        std::cout << "A" << std::endl;
    }
    ~A() {
        std::cout << "~A" << std::endl;
    }
    int X;
};

int main() {

    // Allocate a "dummy" block of memory large enough for A.
    // Here, we simply use stack, but this could be returned from some allocator.
    char memory_block[sizeof(A)];

    // Construct A in that memory using placement new.
    A* a = new(memory_block) A(33);

    // Yup, it really is constructed!
    assert(a->X == 33);

    // Destroy the object, wihout freeing the underlying memory
    // (which would be disaster in this case, since it is on stack).
    a->~A();

    return 0;

}

这打印:

A
~A

--- 编辑 2 ---

好的,这是您对数组执行此操作的方法:

int main() {

    // Number of objects in the array.
    const size_t count = 3;

    // Block of memory big enough to fit 'count' objects.
    char memory_block[sizeof(A) * count];

    // To make pointer arithmetic slightly easier.
    A* arr = reinterpret_cast<A*>(memory_block);

    // Construct all 3 elements, each with different parameter.
    // We could have just as easily skipped some elements (e.g. if we
    // allocated more memory than is needed to fit the actual objects).
    for (int i = 0; i < count; ++i)
        new(arr + i) A(i * 10);

    // Yup, all of them are constructed!
    for (int i = 0; i < count; ++i) {       
        assert(arr[i].X == i * 10);
    }

    // Destroy them all, without freeing the memory.
    for (int i = 0; i < count; ++i)
        arr[i].~A();

    return 0;

}

顺便说一句,如果A有一个默认构造函数,你可以尝试在这样的所有元素上调用它......

new(arr) A[count];

...但这会打开一罐你真的不想处理的蠕虫。

于 2012-04-19T18:28:22.230 回答
0

我在这里的第二个例子中写过它:

如何在可能使用placement new的同时创建一个数组

不同之处在于t_allocator::t_array_record它将由分配器而不是客户端管理。

于 2012-04-19T18:55:33.537 回答