C++具有自定义类的动态 2D 数组

如果MyArray本身是一个一维数组，那么你做错了我用MyArray初始化二维数组。我不是在描述细节，但我认为你需要做这样的事情——

TwoDArray::TwoDArray()
{
//Default Constructor
row = 10;
col = 10;
MyArray* p = new MyArray [10];
for (int i = 0; i < 10; i++)
{
    p[i] = new MyArray(10);
} }
TwoDArray::TwoDArray (int r, int c)
{
row = r;
col = c;
MyArray* p = new MyArray [col];
for (int i = 0; i < col; i++)
{
    p[i] = new MyArray(row);
}
}

请注意，我用一个 1D 数组更改了 2D 初始化，每个数组内部都是一个 MyArray 对象，而该对象本身就是一个数组 - 因此 2D 数组

你的析构函数有点想多了。试试这个：

TwoDArray::~TwoDArray() //Destructor 
{
    delete [] p;
}

您也不会在构造函数中存储分配的指针。您正在将分配的内存分配给您在堆栈上声明的指针。不是您的会员p

此外，您正在分配一个 2D 数组数组，这将构成一个 3D 数组

在您的构造函数中，将您的成员p一个MyArray数组，如下所示：

TwoDArray::TwoDArray()
{
    //Default Constructor
    row = 10;
    col = 10;
    p = new MyArray[row]; // where p is a MyArray* member of TwoDArray
    for (int i = 0; i < row; i++)
    {
        p[i] = MyArray(col);
    }
}
TwoDArray::TwoDArray (int r, int c)
{
    row = r;
    col = c;
    p = new MyArray[row]; // where p is a MyArray* member of TwoDArray
    for (int i = 0; i < row; i++)
    {
        p[i] = MyArray(col);
    }
}

您的代码仍然存在一些问题。

Issue 1:

如果 TwoDArray 是一个 const 对象，你的运算符 [] 将不会编译。 这是一个例子

void foo(const TwoDArray& arr)
{
   int x = arr[0][0];  // error.  operator [] must be const
}

在这里有一个 const TwoDArray 是完全合理的，因为你没有改变数组的内部结构。 因此，您需要重载运算符 [] 两次，一次用于常量对象，另一次用于非常量对象。 所以第二个重载应该看起来像这样：

const MyArray & TwoDArray::operator[] (int pos) const
{
    if( pos < 0 || pos >= col )
    {
        cout << "Illegal index, pos = " << pos << endl;
    }
    return *p[pos];
}

但是，这里仍然存在一个问题，我将在下面的Issue 3中展示。

运算符失败，new[]将损坏this。

在赋值运算符中，调用 delete[] _a 。 如果后续对new []调用引发异常，会发生什么情况？ 您现在已经损坏了对象，因为您删除了内存，因此无法恢复已删除的数据。

至少在你的实现中，应该做的是

1. 首先分配新内存，然后分配给临时指针，
2. 将数据从传入的对象移动到新内存，
3. 删除旧内存(在这种情况下，这是您最终调用delete [] _a;的地方(
4. 将步骤 1 中的临时指针分配给 _a 。

这样，如果步骤 1 失败，将引发异常，并且您的对象不会损坏。

Issue 3: 在您的operator []中，如果完成了越界访问，您仍然会继续执行非法访问。

如果你想让类的用户在他们提供越界访问权限时搬起石头砸自己的脚，那么我认为你应该删除cout消息并继续允许非法访问。 如果您确实想要边界检查访问，请使用 at(( 函数，该函数可以输出和throw an exception越界访问。

请注意，这就是std::vector做事的方式 - operator []未选中，而std::vector::at()被选中并会抛出错误。

Issue 4: . 样式 -- 注意变量名称开头带有下划线。

带下划线的名称是为编译器的实现保留的。 我知道在某些情况下，带下划线的名称是安全的，但我总是谨慎行事，从不引入以下划线开头的名称。

Issue 5: 你想有一个使用运算符 [] 的 2D 数组吗？
有人反对使用 [][] 来表示二维矩阵，而是让operator()表示索引。

看这里： http://www.parashift.com/c++-faq/matrix-subscript-op.html

你的 TwoDArray 构造函数在这里是有缺陷的： for (int i = 0; i <10; i++( { p[i] = new MyArray[10]; }

您实际上正在创建一个 3D 数组！！将其更改为 p[i] = new MyArray(10(;

然后从那里继续！

如果我理解正确的代码，MyArray代表一行TwoDArray。在这种情况下，TwoDArray 的构造函数不会使用正确的参数创建MyArray对象。

你有：

TwoDArray::TwoDArray()
{
    //Default Constructor
    row = 10;
    col = 10;
    MyArray** p = new MyArray* [10];
    for (int i = 0; i < 10; i++)
    {
        p[i] = new MyArray[10];
    }
}

首先，我会将10的使用更改为适当地使用row和col。

TwoDArray::TwoDArray()
{
    //Default Constructor
    row = 10;
    col = 10;
    MyArray** p = new MyArray* [row];
    for (int i = 0; i < 10; i++)
    {
        p[i] = new MyArray[col]; // This is a problem line. You are creating col
                                 // MyArray objects. I think you should create one
                                 // MyArray object with col items in it.
        p[i] = new MyArray(col); // This is what you want.
    }
}

但真正的问题是你有：

    MyArray** p = new MyArray* [row];

这是一个局部变量。当您从函数返回时，它会消失。成员变量p保持未初始化状态。您可能的意思是：

    p = new MyArray* [row];

您可以类似地更改其他构造函数。

CPPGy已经指出了析构函数的问题。