C＋＋ 库研究笔记——拷贝构造函数的一个错误范例

之前记录的有：

 

C＋＋库研究笔记——赋值操作符operator=的正确重载方式（三个准则）

我原来的拷贝构造函数是这样写的：

    explicit array1d(Index size=0,T val=T())
        :size_(size),data_(0)
    {
        log_info("construct 1");
        if(size==0)
            return;

        allocate(); // allocate memory

        for(int i=0; i<size_; i++){
            data_[i]=val;
        }
    }

／／ 这样写的本意是：为了能够使用 std::vector<T> v_other; array1d<T> v(v_other);
    template<class ArrayType>
    array1d(const ArrayType& other)
    {
        log_info("arrayType");
        size_= other.size();
        allocate();
        // copy value
        for(int i=0; i<size_; i++){
            data_[i]=other[i];
        }
    }

经过测试：

    std::vector<real> v(3,9.0);
    array1d<real> b(v);
    b.print();

确实没有问题

但是：

    array1d<float, long> dl(9l);
    dl[3]=4;
    dl.print("dl");

    // 
    array1d<float, long> dl2(dl);
    dl2.print("dl2");

编译没有问题，运行时会出现，double free memory

*** glibc detected *** ./main: double free or corruption (fasttop): 0x0000000001b85010 ***

通过追踪发现：

上面的代码根本没有调用

    template<class ArrayType>
    array1d(const ArrayType& other)
    {
        log_info("arrayType");
        size_= other.size();
        allocate();
        // copy value
        for(int i=0; i<size_; i++){
            data_[i]=other[i];
        }
    }

而是， 直接原始的拷贝，这样就会拷贝一个相同的数据指针位置，然后在相同的位置释放两次内存

解决办法：（追加如下代码）

    array1d(const array1d & other)
    {
        log_info("array1d&");
        size_= other.size();
        allocate();
        // copy value
        for(int i=0; i<size_; i++){
            data_[i]=other[i];
        }
    }