c++ - 为什么用函数构造不会导致内存泄漏？

Question

我有一个 matrix 类和一个 transpose 函数(不属于该类)，如下所示:

matrix transpose(const matrix& rhs) {
    matrix Rmat(rhs.nc(),rhs.nr());
    for(unsigned ir = 0; ir < rhs.nr(); ir++) {
        for(unsigned ic = 0; ic < rhs.nc(); ic++ ) { 
            Rmat(ic,ir) = rhs(ir,ic);
        }   
    }   
    return Rmat;
}

现在，当我声明 matrix At(M,M) 然后分配 At = transpose(A) 时，我遇到了内存泄漏。但是，当我将 At 创建为 matrix At(transpose(A)) 时，我没有发生内存泄漏。为什么会发生这种泄漏？由于我无法确定它发生的位置，因此我可能没有提供足够的信息。如果需要构造函数/析构函数，请询问，我会发布它们。

Answer 1

如果您编写了matrix 类，您的复制赋值运算符或复制构造函数很可能存在内存泄漏。根据三的规则，如果您要定义一个析构函数，那么您还需要定义复制赋值和复制构造函数。否则，您将获得默认的复制赋值和复制构造函数实现，它们将无法正确释放您分配的任何资源(例如使用 new)。

为避免这些问题，您可以使用标准容器(例如vector、list 等)来存储数据，和/或智能指针(例如auto_ptr、smart_ptr)(半)自动管理内存。这些可以使您不必编写析构函数(因为 STL 类会自动清理)，从而使您无需同时提供复制赋值和复制构造操作。