将向量转换为数组。如何释放内存？

Question

我正在将一个双精度向量转换为一个双精度数组，如 here 所示：

不同的是，我想将指针 a 作为函数参数返回：

void getArray(double* a)
{
    std::vector<double> v;
    a = &v[0];
}

所以我的问题是，a 的内存何时被释放？还是我必须自己打电话给delete[] a，这看起来很奇怪，因为我没有用new分配内存。我已经阅读了上述答案的 cmets，但我仍然不清楚。

Answer 1

a 的内存什么时候被释放？

a 指针本身是一个局部变量，因此它会在其作用域结束时被释放。

a指向向量v分配的内存。指向的内存在v 的析构函数中被释放（如果对象被添加到向量或从向量中删除，内存也可能被释放）。并且因为v是一个局部变量，它在作用域结束时被销毁。

还是我必须自己调用 delete[] a，

不是，因为内存是vector对象所有的，也是因为

这似乎很奇怪，因为我没有用 new 分配内存。

没错。你没有打电话给new[]，所以你没有打电话给delete[]。

---

请注意，v[0] 具有未定义的行为，因为向量为空。

Answer 2

不要这样做：

void getArray(double* a)
{
    std::vector<double> v;
    a = &v[0];
} // The vector is destroyed here, and the memory
  // is deallocated.

在任何情况下，您都没有在函数之外修改 a 指针，因此您不会得到想要的效果。

相反，返回vector 并直接使用它。或者，一般来说，在整个代码中使用向量。如果您需要将它们 in 传递给需要指向数组的指针的函数，则可以在那里传递 &v[0]。这样的函数通常也需要大小。为此，请传递v.size()。只要该函数不占用所有权或释放内存，您就可以安全地执行此操作。

还要注意，声明为std::vector<double> v; 的向量没有大小，因此尝试访问第一个元素，如v[0] 中的那样也是未定义的行为。至少，您需要给向量一个大小（将大小传递给它的构造函数）以确保分配一些内存。在对向量进行索引之前，应始终确保向量已分配一些内存，包括尝试获取第一个元素的地址时。

你可能想做的是：

std::vector<double> getArray() {
  std::vector<double> v = /* some sane initialisation */;
  return v;
}

// some time later, assuming a function:
//   void do_something(double* a, size_t n);
// ...

std::vector<double> v = getArray();
if (v.size()) {
  do_something(&v[0], v.size());
} else {
  // fail gracefully
}

Answer 3

此实现将调用未定义的行为，因为 v 是本地的：

void getArray(double* a)
{
    std::vector<double> v;
    a = &v[0]; // would be a UB for returning the pointer to internals of a local variable.
}

但是，调用者将永远不会看到任何效果，因为对 a 的修改保留在 getArray 函数的本地。

如果你想从一个向量中创建一个数组，分配一个新数组，使用std::copy将内容复制到其中，并将数组返回给调用者。确保调用者在完成 copyL 后在结果上调用 delete[]

double *getArray(const vector<double>& v) {
    double *res = new double[v.size()];
    std::copy(v.begin(), v.end(), res);
    return res;
}

调用者应按如下方式使用它：

vector<double> data;
data.push_back(...);
... // populate the vector
double *tmp = getArray(data);
... // Use the array
delete[] tmp; // Avoid memory leaks

Answer 4

当向量v 被破坏时，a 指向的内存被释放。在这种情况下，它位于函数 getArray 的末尾。