2

我有以下类，我在其中强制编译器生成所有复制/移动构造函数和赋值运算符。

class foo {
public:
    float *x;
    size_t size;
    foo(int m){
        size = m;
        x = new float[size];}

    foo(const foo&) = default;
    foo(foo&&) = default;
    foo& operator =(const foo&) = default;
    foo& operator =(foo&&) = default;

    ~foo(){delete [] x;}

    void fill(const float& num)
    {
        std::fill(x,x+size,num);
    }

    void print()
    {
        for (auto i=0;i<size;++i)
            cout << x[i] << endl;
        cout << endl;
    }
};

然后我从main函数中调用它，就像这样

int main()
{
    foo x(2);
    x.fill(6);
    x.print();


    foo y(2);
    y = x; // causes the error

    return x;
}

现在我知道我通过分配两次释放内存y = x; 所以一旦一个被释放另一个是null，我是对的吗？我继续并实现了我自己的复制赋值运算符

foo& operator=(const foo& other)
{
    if (other.x!=x)
        x = other.x;
    return *this;
}

但是，我想我又在做默认构造函数正在做的事情。我的问题是如何制作一个正确的复制赋值运算符，这样这个问题就不会发生？

4

1 回答 1

1

您需要复制的不是指针，而是指针的内容。一个好的使用方法是复制和交换习语，因为您的复制构造函数应该已经完成​​了复制以下内容的工作x：

friend void swap(foo& first, foo& second)
{
    using std::swap; 
    swap(first.x, second.x); 
    swap(first.size, second.size);
}

foo& operator=(foo other) // note pass by value
{
    swap(*this, other);
    return *this;
}
于 2015-09-17T19:00:26.503 回答