3

新位置的结果似乎总是与我提供给新位置的内存指针相同。对于 GCC，这似乎适用于具有虚函数的类，例如......

#include <iostream>
#include <vector>

using namespace std;

class A
{
public:
    int a;
    virtual ~A() {}
};

int main()
{
    void *mem = malloc(sizeof(A));
    A* ptr = new(mem) A();

    cout << "sizeof(T) = " << sizeof(A) << endl;
    cout << "mem = " << mem << endl;
    cout << "ptr = " << ptr << endl;
    cout << "addr a = " << &(ptr->a) << endl;

    ptr->~A();
    free(mem);

    return 0;
}

这个程序的输出是（注：64位linux）...

sizeof(T) = 16
mem = 0x1a41010
ptr = 0x1a41010
addr a = 0x1a41018

C++ 是否保证 mem 和 ptr 相同，或者这只是 GCC 巧合？在一个更大的可移植程序中，我是否必须同时保留 mem 和 ptr 或者我可以只保留其中一个并在需要时进行转换？

为了澄清这个问题，我知道内存分配器有时会将已分配块的大小放在指向内存块之前的字中。是否允许 C++ 编译器使用这样的技巧，并说将 VMT 指针放在对象指针指向的内存块之前的单词中？在这种情况下，mem 和 ptr 会有所不同。

4

2 回答 2

5

是的，它们是一样的。您可能希望将内存地址视为 void 指针，将对象地址视为类型化指针，但如果您愿意，也可以进行强制转换。在某种意义上，new是将内存地址“转换”为对象的方法（通过构造一个）。这是全图（注意没有演员表）：

void * addr = std::malloc(sizeof(T));  // or ::operator new(sizeof(T))
T * p = ::new (addr) T;                // "new" gives you an object pointer
p->~T();
std::free(addr);

不过，这仅适用于 的非数组版本new。Array-placement-new 是不同的，本质上是不可用的。

您可能希望查看您的实现，std::allocator以了解 Placement-new 和 Casting 的实际效果。

于 2012-03-11T18:51:21.923 回答
1

您正在使用运营商的void* operator new (std::size_t size, void* ptr) throw();版本new。以下是cplusplus.com对这个运营商的评价：

这是放置版本，不分配内存 - 它只是返回 ptr。请注意，对象的构造函数（如果有）仍将由运算符表达式调用。

所以这意味着mem和ptr将永远相同。我认为保留它们是个坏主意，最好使用运算符的void* operator new (std::size_t size) throw (std::bad_alloc);版本new，例如在你的情况下A* ptr = new A;：

于 2012-03-11T19:44:02.967 回答