Memory C++ 中的分配（抛出异常：读取访问冲突。）

Question

我正在尝试更多地了解 C++。 在使用 memory 分配一段时间后，我到了一个我很难理解它的地方。

我为一种初始化类型（某个类的 object）编写了一个运行良好的代码（不太确定，但至少没有显示任何 memory 违规），但它在类似初始化时崩溃。

如果有人能解释发生了什么以及如何解决这个问题，我将不胜感激。

我的想法：问题出在下面一行，因为我试图在有问题的初始化中删除一组分配的对象，我只分配了一个 object 而不是一个数组。

delete[] pointer; //PROBLEMATIC LINE

PS.：我不是在寻找替代解决方案（例如使用智能指针或其他）。 对不起我的英语不好！

编码：

class class1
{
private:
    unsigned int    s;
    double* pointer;
public:
/* Constructors */
    class1() { s = 0; pointer = nullptr; }
    class1(unsigned int us, double* uarray)
    {
        pointer = new double[us];
        for (unsigned int i = 0; i < us; i++)
            pointer[i] = uarray[i];
    }
    class1(const class1& other)
    {
        pointer = new double[s];
        for (unsigned int i = 0; i < s; i++)
            pointer[i] = other.pointer[i];
    }
    ~class1() { if (!s && pointer != nullptr) delete[] pointer; }

public:
/* Operators Overloading */
    class1& operator=(const class1& other)
    {
        s = other.s;
        pointer = new double[s];
        for (unsigned int i = 0; i < s; i++)
            pointer[i] = other.pointer[i];
        return *this;
    }
};

class class2
{
private:
    unsigned int    m;
    unsigned int    n;
    class1* pointer;

public:
/* Constructors */
    class2(unsigned int un, double* uarray, bool flag = false) : n(un)
    {
        m = 1;
        pointer = new class1(un, uarray);
        if (flag) { this->function(); }
    }
    ~class2() { if (!m && !n) delete[] pointer; }

public:
/* Public Methods */
    void function()
    {
        class1* newpointer = new class1[n];
        //**... some code (when commented show the same error)**
        delete[] pointer; //**PROBLEMATIC LINE**
        pointer = newpointer;
    }

public:
/*Template Constructor*/
    template<unsigned int m, unsigned int n>
    class2(unsigned int um, unsigned int un, double(&uarray)[m][n], bool flag = false) : m(um), n(un)
    {
        pointer = new class1[um];
        for (unsigned int i = 0; i < um; i++)
        {
            class1 object1(un, uarray[i]);
            pointer[i] = object1;
        }
        if (flag) { this->function(); }
    }
};

int main()
{
    double test3[] = { 1, 2, 3 };
    double test4[][3] = { {3, 2, 1}, {6, 5, 4}, {9, 8, 7} };
    double test5[][3] = { {1, 2, 3}, {4, 5, 6}, {7, 8, 9} };

    class2 m4(3, test3, true);      //**NOT OK - VIOLATION OF MEMORY**
    class2 m5(3, 3, test4, true);   //**OK**
}

Answer 1

您的class1复制构造函数没有设置s成员，而是在此处使用其不确定值：

pointer = new double[s];

导致未定义的行为。 在使用之前从other.s中设置s 。

---

你的第二个构造函数有同样的问题。

---

您的class1赋值运算符正在泄漏 memory，因为它不会delete[]前一个数组。

---

在class2中，您使用非数组形式的new ，例如这里：

pointer = new class1(un, uarray);

但是在析构函数中，您调用delete[]来删除pointer 。 这也会导致未定义的行为。 从new的非数组版本返回的指针需要被delete ，例如delete pointer 。

但是由于您还使用new的数组版本作为pointer ，所以您也不能使用delete pointer 。 由于在从新数组返回的指针上使用delete而不是delete[]也具有未定义的行为。

保持一致并始终使用新数组，例如：

pointer = new class1[1]{{un, uarray}};

---

当复制或移动其类型的 object 时， class2会导致未定义的行为，因为尽管您定义了析构函数，但您没有实现复制构造函数和赋值运算符。 这违反了三原则。

---

我可能错过了更多。 代码根本不可读。 下次请使用正确的变量名。 （我希望真正的代码不使用这种命名方案......）例如，具有与该 class 的成员同名的非类型模板参数m然后在该上下文的多个位置使用m是不行的。 我必须检查查找规则以确保它确实可以编译并执行一些合理的操作。