如果类有析构函数，堆数组分配 4 个额外字节

Question

我是 C++ 新手，最近一直在玩内存分配。我发现当你声明一个带有析构函数的类时，像这样：

class B
{
public:
    ~B() { }
};

然后像这样创建一个堆数组：

B* arr = new B[8];

分配器分配 12 个字节，但当我删除析构函数时，它只分配 8 个字节。这就是我衡量分配的方式：

size_t allocated = 0;

void* operator new(size_t size)
{
    allocated += size;
    return malloc(size);
}
void deallocate(B* array, size_t size)
{
    delete[] array;
    allocated -= size * sizeof(B);
}

当然，我必须手动调用deallocate，而自动调用new 运算符。

我在使用std::string* 时发现了这个问题，我意识到释放器在int* 上工作得很好，但在前者上却不行。

有谁知道为什么会发生这种情况，更重要的是：如何在运行时以编程方式检测这些？

提前致谢。

Answer 1

您正在查看编译器如何处理new[] 和delete[] 的实现细节，因此对于分配的额外空间没有明确的答案，因为答案将特定于实现——尽管我可以在下面提供一个可能的原因。

由于这是实现定义的，您无法在运行时可靠地检测到这一点。更重要的是，不应该有任何真正的理由这样做。尤其是如果您是 C++ 新手，了解这个事实更有趣/深奥，但在运行时检测到这一点应该没有真正的好处。

还需要注意的是，这只发生在数组分配中，而不是对象分配。例如，以下将打印预期的数字：

struct A {
    ~A(){}
};
struct B {
};

auto operator new(std::size_t n) -> void* {
    std::cout << "Allocated: " << n << std::endl;
    return std::malloc(n);
}
auto operator delete(void* p, std::size_t n) -> void {
    std::free(p);
}

auto main() -> int {
    auto* a = new A{};
    delete a;

    auto* b = new B{};
    delete b;
}

输出：

Allocated: 1
Allocated: 1

Live Example

额外的存储空间只分配给具有非平凡析构函数的类型：

    auto* a = new A[10];
    delete[] a;

    auto* b = new B[10];
    delete[] b;

输出：

Allocated: 18
Allocated: 10

Live Example

---

发生这种情况的最可能原因为什么是单个size_t 的额外簿记被保留在包含非平凡析构函数的已分配数组的开头。这样做是为了在调用delete 时，语言可以知道有多少对象需要调用它们的析构函数。对于重要的析构函数，它能够依赖于其释放函数的底层 delete 机制。

这一假设也得到了 GNU ABI 的额外存储为sizeof(size_t) 字节这一事实的支持。为x86_64 构建产生18 分配A[10]（8 字节为size_t）。 Building for x86 yields 14 用于相同的分配（4 字节用于size_t）。

---

编辑

我不建议在实践中这样做，但您实际上可以从数组中查看这些额外数据。从 new[] 分配的指针在返回给调用者 (which you can test by printing the address from the new[] operator) 之前得到调整。

如果您将该数据读入std::size_t，您可以看到该数据（至少对于 GNU ABI 而言）包含分配对象数量的准确计数。

同样，我不建议在实践中这样做，因为这会利用实现定义的行为。但只是为了好玩：

    auto* a = new A[10];
    const auto* bytes = reinterpret_cast<const std::byte*>(a);
    std::size_t count;
    std::memcpy(&count, bytes - sizeof(std::size_t), sizeof(std::size_t));

    std::cout << "Count " << count << std::endl;

    delete[] a;

输出：

Count 10

Live Example