C++ 模板复制构造函数深度复制

Question

为了方便起见，我正在编写一个通用 Array 类并重载运算符。我已经让我的 Array 对象来保存其他 Array 对象，但是我在覆盖 * 运算符时遇到了麻烦。我需要复制左边的对象，所以我的 operator* 代码是这样的：

Array<T>& operator*(const double scalar) {
    return Array<T>(*this) *= scalar;
}

（operator*= 已被重载并且可以工作）。

我重写了复制构造函数如下：

更新：新的复制构造函数：

Array<T> (const Array<T>& copyfrom) {
    size_=copyfrom.size();
    data=new T[size_];
    copy(&copyfrom.data[0], &copyfrom.data[size_], data);
}

我的想法是，如果数组不是泛型的，但总是用原语填充，那么这段代码就可以工作。但我认为这里发生了一些事情，因为我使用的模板会导致我不期望的行为。新“深复制”数组中的数据数组就像是“copyfrom”数据数组的浅指针副本。

如何使用模板使这个复制构造函数同时适用于基元和对象？或者，更好的是，有没有办法重载 operator* 而不必担心复制构造函数？谢谢。

编辑：这是operator*= 的代码。但是，我仍然认为我的问题在于我使用了复制构造函数。

Array<T>& operator*=(const double scalar) {
    for (int i=0; i<size_; i++)
        data[i]*=scalar;
    return *this;
}

编辑：我意识到我遇到了问题，因为我忽略了数组数组中内部数组的size。现在事情更可靠了。每个人都非常乐于助人，我想我正在努力完成这项工作。我的operator=（我没有超载；很好，迈克尔）现在如下。它按预期运行，但我的程序中开始出现malloc 错误，我正在探索原因。这里的内存管理有什么问题吗？

Array<T>& operator=(const Array<T>& a) {
    if (this==&a)
        return *this;
    delete [] data;

    size_=a.size();
    data=new T(size_);
    copy(&a.data[0], &a.data[a.size()], data);

    return *this;
}

编辑：我修复了malloc 错误！我的方法现在都按预期工作。内存问题来了，因为我有这个方法头：

template <typename T>
static Array<T> matrixSolve (Array<Array<T> > m);

我正在按值获取一组数组。各种问题。通过引用获取数组，一切都解决了。谢谢大家的帮助！

Answer 1

你会希望你的 operator* 成员函数看起来像这样：

Array<T> operator*(const double scalar) const {
    Array<T> result(*this);
    result *= scalar;
    return result;
}

如果您返回 Array<T> &，那么您将返回对将被销毁的临时对象的引用，从而导致未定义的行为。