c++ - 如何编写析构函数来编译代码并释放所有分配的内存？

Question

我已经创建了自定义类，它的行为应该像一个矩阵。我已经完成了一些基本操作，一切似乎都运行良好......不过，我无法找到，我应该向此类的析构函数写入什么以释放所有分配的内存。你能给我一些建议吗？

class CMatrix {
public:

class Proxy {
    friend class CMatrix;

    const CMatrix* cmat;
    CMatrix *matrix;
    size_t n;

    Proxy(const CMatrix& m, size_t i)
    : cmat(&m), matrix(), n(i) {
    }

    Proxy(CMatrix& m, size_t i)
    : cmat(&m), matrix(&m), n(i) {
    }

    public:

    const double& operator[](size_t j) const {
       return cmat->_arrayofarrays[n * cmat->y + j];
    }

    double& operator[](size_t j) {
        if (matrix) {
            return matrix->_arrayofarrays[n * cmat->y + j];
        } else return cmat->_arrayofarrays[cmat->y];
    }
    };

    const Proxy operator[](size_t i) const {
        return Proxy(*this, i);
    }

    Proxy operator[](size_t i) {
        return Proxy(*this, i);
    }

    CMatrix() {
    _arrayofarrays = NULL;
    x = 0;
    y = 0;
};

// constructor

CMatrix(size_t x, size_t y) : _arrayofarrays(), x(x), y(y) {
    _arrayofarrays = new double[ x * y ]();
}

// destructor

~CMatrix() {
    // ?!?!???!?!?!?!!!!?!?!? 
    // #$#%@^$!!!!@$#%!!
}

// copy constructor

CMatrix(const CMatrix& other) : _arrayofarrays(), x(other.x), y(other.y) {
    delete [] _arrayofarrays;
    _arrayofarrays = new double[x * y];
    if (_arrayofarrays)
        std::copy(other._arrayofarrays, other._arrayofarrays + (x * y), _arrayofarrays);
}

CMatrix& operator =(const CMatrix& rval) {
    delete [] _arrayofarrays;
    _arrayofarrays = new double[ rval.x * rval.y];
    std::copy(rval._arrayofarrays, rval._arrayofarrays + (rval.x * rval.y), _arrayofarrays);
    x = rval.x;
    y = rval.y;
    return *this;
}



double *_arrayofarrays;
size_t x;
size_t y;
};

编辑:

实际上现在我已经意识到，它在运行这部分代码后崩溃了。在调用这段代码之前，我有一个我的类的实例，我们称它为 a,b,c 然后我想设置 a = b-c;这第一次运行良好......但是当我想重复它时，它就会崩溃

CMatrix CMatrix::operator-(const CMatrix &matrix) const {
if (this->x != matrix.x || this->y != matrix.y) {
    throw CSizeException(matrix.y, matrix.x, this->y, this->x, '+');
};
CMatrix m(this->x, this->y);
CMatrix l(matrix.x, matrix.y);
l._arrayofarrays = this->_arrayofarrays;
CMatrix o(matrix.y, matrix.y);
o = matrix;


CMatrix result(this->x, this->y);
for (unsigned int i = 0; i < this->x; i++)
    for (unsigned int j = 0; j < this->y; j++)
        m[i][j] = l[i][j] - o[i][j];           
return m;
}

Answer 1

是这样的吗？

~CMatrix() {
    delete[] _arrayofarrays;
}

所有分配给 new[] 的数组必须通过对 delete[] 的匹配调用来销毁.此外，您可以删除 delete[]来自复制构造函数的语句:

CMatrix(const CMatrix& other) : _arrayofarrays(), x(other.x), y(other.y) {
    // delete [] _arrayofarrays;
    // ^^^^^^^^^^^^^^^^^^^^^^^^^
    // This is unnecessary: you are creating a new object, so this data member
    // is not pointing to any previously allocated array

    // ...
}

---

更新:

(from the comments) I can't use this code... _arrayofarrays is actually 2D array, so this causes that running of the program fails..probably segfault

这是不正确的:_arrayofarrays是一维数组，调用delete[]是摧毁它的正确方法。如果这样做会导致段错误，则可能是您在其余代码中做错了什么。

作为建议，通过原始指针避免手动内存管理通常是个好主意，new , 和 delete (或它们的数组对应物)，因为它容易出错并且容易导致内存泄漏或无效指针/引用的取消引用。

考虑使用标准容器，例如 std::vector<>或 std::deque<>相反。

---

编辑:

在operator -的代码中你在做什么:

l._arrayofarrays = this->_arrayofarrays;

这样您就有两个封装相同数组的矩阵对象:因此，删除两个中的一个将使另一个也无效。这可能是您问题的根本原因。

此外，您在其中创建了太多临时对象。除非我遗漏了什么，否则这应该足够了:

CMatrix CMatrix::operator-(const CMatrix &matrix) const {
    if (this->x != matrix.x || this->y != matrix.y) {
        throw CSizeException(matrix.y, matrix.x, this->y, this->x, '+');
    };

    CMatrix result(this->x, this->y);
    for (unsigned int i = 0; i < this->x; i++)
        for (unsigned int j = 0; j < this->y; j++)
            result[i][j] = (*this)[i][j] - matrix[i][j];

    return result;
}