C ++运算符重载调用析构函数

Question

第一次尝试使用运算符重载时，我创建了一个向量类，并试图对两个向量求和。我的课程包含一个数组和一个int向量，它们都包含相同的元素。

加法可以正常工作，std::vector但是我遇到了两个问题。似乎在求和操作结束时调用析构函数，该操作会产生“双重释放或损坏”错误（核心转储）。另外，数组的前两个元素始终等于零。

我还应该超载delete还是想念东西吗？

头文件：

#ifndef MYVECTOR_INCLUDE
#define MYVECTOR_INCLUDE
#include <iostream>
#include <stdexcept>
#include <cstring>
#include <vector>

class MyVector {
public:
    MyVector(int n);
    ~MyVector();
    void set(int idx, int value);
    int get(int idx);
    void print();    
    MyVector &operator=(const MyVector &v);
    MyVector operator+(const MyVector &v);
private:
    int *data;
    std::vector<int> data_vector;
    int size1;
    int size2;
};
#endif

cpp文件：

#include "../include/myvector.hpp"

MyVector::MyVector(int n) {
    data = new int [n];
    data_vector.resize(n);
    size1 = n;
    size2 = 1;
}
MyVector::~MyVector() {
    if (data != NULL) {
        delete [] data;
    }
}
void MyVector::set(int idx, int value) {
    data_vector[idx] = value;
    data[idx] = value;
}
int MyVector::get(int idx) {
    return data_vector[idx];
}
void MyVector::print() {
    std::cout << "Vector data" << std::endl;
    for (int i = 0; i < size1; ++i) {
        std::cout << data_vector[i] << " ";
    }
    std::cout << std::endl;
    std::cout << "Data" << std::endl;
    for (int i = 0; i < size1; ++i) {
        std::cout << data[i] << " ";
    }
    std::cout << std::endl;
}
MyVector &MyVector::operator=(const MyVector &v) {
    if (this == &v)
        return *this;
    size1 = v.size1;
    size2 = v.size2;
    std::copy(v.data_vector.begin(), v.data_vector.end(), data_vector.begin());
    memcpy(&data, v.data, sizeof(int)*size1);
    return *this;
}
MyVector MyVector::operator+(const MyVector &v) {
    if ((size1 == v.size1) && (size2 == v.size2)) {
        MyVector res = MyVector(size1);
        for (int i = 0; i < size1; ++i) {
            res.data_vector[i] = data_vector[i] + v.data_vector[i];
            res.data[i] = data[i] + v.data[i];
        }
        return res;
    }
    else
        throw std::length_error("Vector dimensions must agree.");
}

谢谢。

Answer 1

参见三/五/零规则。

三种状态的规则

如果一个类需要一个用户定义的析构函数，一个用户定义的副本构造函数或一个用户定义的副本赋值运算符，则几乎可以肯定需要全部三个。

在这种情况下，您提供了析构函数和副本赋值运算符，但忘记了副本构造函数。

在其中operator+创建一个本地对象MyVector res，稍后将其复制出来然后销毁。由于您尚未实现复制构造函数，因此默认的复制构造函数将简单地将原始data指针从复制res到另一个MyVector。当res被破坏时，所述阵列指向它的data构件将被删除，留下复制向量的data指向一个已删除对象。