操作员删除时不清楚的事情

Question

我是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,我可以通过delete [] a释放内存吗？我不知道编译器如何计算执行delete []时要释放的字节数.谢谢

Answer 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;