C++二维数组移动构造逻辑存疑：指针实现Matrix类的困惑

你这个问题问到点子上了——其实这正是C++移动语义的核心：转移资源所有权，而非复制资源。咱们一步步拆解你写的代码逻辑，就能明白为什么不需要循环分配内存。

首先，先明确你的Matrix类里elem的本质：它是一个double**，也就是一个指向「指针数组」的指针。具体来说，elem指向的是一块内存，里面存着row个double*指针，每个指针又指向一行col个double的内存块。整个矩阵的内存布局是两层动态分配的：先分配指针数组，再为每个指针分配行内存。

为什么移动构造里可以直接elem{other.elem}？ #

移动构造的目的是接管另一个对象已经分配好的内存资源，而不是重新造一份。当你写elem{other.elem}时，你只是把other手里的「指针数组的地址」直接给了新对象的elem——这就相当于把整个矩阵的内存控制权从other转移到了新对象手里。

接下来把other.elem设为nullptr，同时把other.row和other.col置0，是为了让other变成一个「空的、无害的」对象：当other被析构时，它的析构函数会检查elem是否为nullptr（如果你的析构函数写得正确的话），如果是，就不会去释放任何内存，这样就避免了重复释放同一块内存的问题。

为什么移动赋值里可以直接elem = other.elem？ #

移动赋值的逻辑和移动构造类似，但多了一步：先释放当前对象自己原来的内存（就是你写的循环delete[] elem[i]再加delete[] elem），不然当前对象原来的内存会没人管，造成内存泄漏。

之后的操作和移动构造一样：把other的内存指针、行列数都拿过来，再把other的elem置空。这一步完成后，当前对象就拥有了other原来的所有内存资源，other则变成空对象，不会再和当前对象抢内存。

为什么不需要循环分配内存？ #

你提到的elem[i] = new double[other.col]那是拷贝操作的逻辑——拷贝需要为新对象重新分配所有内存，然后把原对象的数据逐行复制过去。而移动语义的初衷就是要避免这种昂贵的内存分配和数据拷贝，直接“接管”原对象的资源，这才是移动比拷贝高效的原因。

举个简单的例子：如果你的矩阵是1000x1000的，拷贝需要分配1000个行指针+1000*1000个double的内存，还要复制100万条数据；而移动只需要几个指针赋值操作，效率天差地别。

额外提醒：确保析构函数的安全性 #

你的析构函数要记得先判断elem是否为nullptr，不然当移动后的空对象被析构时，delete[] elem会出错。比如析构函数可以这么写：

Matrix::~Matrix() {
    if (elem != nullptr) {
        for (int i = 0; i < row; ++i) {
            delete[] elem[i];
        }
        delete[] elem;
    }
    row = 0;
    col = 0;
}

这样就能保证移动后的空对象析构时不会出问题。

内容的提问来源于stack exchange，提问作者Rob_Fir