操作员删除有一些不清楚的地方答案

【问题标题】：Something unclear with operator delete操作员删除有一些不清楚的地方
【发布时间】：2011-09-23 14:42:30
【问题描述】：

我是 C++ 新手，有一些不清楚的地方：

#include <iostream>
using namespace std;

double* foo(void)
{
    double* b = new double[100];
    return b;
}

int main()
{
    double* a = foo();

    delete [] a;
    return 0;
}

这段代码有问题吗？我的意思是我使用 operator delete 的方式是否正确？我将指向 foo 函数中分配的内存的指针 b 分配给 foo 外部的指针 a，我可以通过 main 中的 delete[]a 释放内存吗？我不知道编译器如何计算执行 delete[] 时要释放的字节数。谢谢

【问题讨论】：

How does delete[] "know" the size of the operand array? 的可能重复项

标签： c++ delete-operator

【解决方案1】：

代码是正确的（尽管通常不是任何编写良好的现代 C++ 程序的一部分）。

动态分配的数组存储有关于其大小的隐藏信息，以便delete[] p 知道要删除多少元素。

如果您对细节感到好奇，可以搭建一个小测试类并利用成员分配运算符：

struct ArrayMe
{
  static void * operator new[](size_t n) throw(std::bad_alloc)
  {
    void * p = ::operator new[](n);
    std::cout << "new[]ed " << n << " bytes at " << p << "." << std::endl;
    return p;
  }

  static void operator delete[](void * p, std::size_t n) throw()
  {
    std::cout << "delete[]ing " << n << " bytes at " << p << "." << std::endl;
    ::operator delete[](p);
  }

  double q;
};

现在说：

std::cout << "sizeof(ArrayMe) = " << sizeof(ArrayMe) << std::endl;
ArrayMe * const a = new ArrayMe[10];
delete[] a;

【讨论】：

“数组存储有关于其大小的隐藏信息”：这代表动态分配的数组。
等等！您是否只是向使用异常规范的 C++ 新手提供代码！？！真丢脸。
@deft_code：我相信这些对于分配操作员来说是强制性的。或者也许这只是针对全球的，我不确定。

【解决方案2】：

调用 delete [] 以删除使用 operator new [] 分配的 C 样式数组。 Delete [] 会知道 operator new[] 分配了多少字节。

调用 delete 以删除使用 operator new 分配的对象（无括号）。永远，永远混合它们！ IE。永远不要对分配有 operator new [] 的东西调用 delete []，也永远不要对分配有 operator new [] 的东西调用 delete。

【讨论】：