C++ 对象指针数组的复制构造函数

C++ Copy Constructor for array of pointers to objects

本文关键字:复制 构造函数 数组 对象 指针 C++      更新时间:2023-10-16

我创建了一个包含大小和类型数组的类矩形 **a.下面的初始化是否正确:

C(int size = 1, Rectangle **a = new Rectangle *[1]);

对于复制构造函数,我已经尝试过这个(编辑:不知道如何完成将数组的每个指针复制到副本中,因为每个元素也是一个 指针(:

C ( const C & other) : size{other.size},  a{size ? new Rectangle[size] : nullptr}
{
// ....
}

让标准库为您完成工作。使用std::vector<Rectangle>将更安全、更简单、更可靠。

为了回答您的问题,不,您的复制构造函数不正确,因为它只创建一个相同大小的新数组,而不会将现有元素复制到其中。

为避免永久性脑损伤,请使用std::vector<Rectangle>作为成员。

class C {
public:
C(const std::vector<Rectangle> &rectangles) : m_rectangles(rectangles) {}
C(const C &other) : m_rectangles(other.m_rectangles) {}
private:
std::vector<Rectangle> m_rectangles;
};

您需要尊重 0/3/5 的规则。

零法则规定:

具有自定义析构函数、复制/移动构造函数或复制/移动赋值运算符的类应专门处理所有权(遵循单一责任原则(。其他类不应具有自定义析构函数、复制/移动构造函数或复制/移动赋值运算符。

RAII 容器是避免管理资源的好工具。这是最适合您的方案:

#include <vector>
struct Rectangle {};
class C
{
std::vector<Rectangle> _v; // no memory management from C
public:
size_t size() const { return _v.size(); }
Rectangle      & operator()(size_t index)       { return _v[index]; }
Rectangle const& operator()(size_t index) const { return _v[index]; }
};

如果由于某种原因您需要手动管理资源,则 3 和 5 的规则会生效。

C++98年,三个州的统治

如果一个类需要用户定义的析构函数、用户定义的复制构造函数或用户定义的复制赋值运算符,则几乎可以肯定它需要这三者。

在 C++11 及更高版本中,五法则取代了它:

由于用户定义的析构函数、复制构造函数或复制赋值运算符的存在阻止了移动构造函数和移动赋值运算符的隐式定义,因此需要移动语义的任何类都必须声明所有五个特殊成员函数

struct Rectangle {};
struct C
{
size_t      _size;
Rectangle*  _data;
C() : _size(0), _data(nullptr) {}
C(size_t size) : _size(size), _data(_size == 0 ? nullptr : new Rectangle[_size]) {}
C(C const& other) : _size(other._size), _data(_size == 0 ? nullptr : new Rectangle[_size])
{
std::copy(_data, other._data, other._data + _size);
}
C& operator=(C const& other)
{
C self = other; // copy construction
using std::swap;
swap(*this, self);
return *this;
}
// if necessary: move constructor and move assignment operator
~C() { delete _data; }
};