C++ Primer：掌握拷贝控制与资源管理，理解类行为像值与指针

C++ Primer中的拷贝控制和资源管理章节探讨了类如何通过定义拷贝操作来决定其行为是像值对象还是像指针。值对象拥有独立的状态，拷贝后两个对象互不影响；而指针对象共享底层数据，拷贝操作会导致数据共享。 在这个上下文中，`HasPtr` 类是一个示例，它有一个指向 `string` 的成员变量。如果希望 `HasPtr` 行为像一个值对象，意味着每次复制 `HasPtr` 时，它所指向的 `string` 都应被独立地复制一份，而不是共享。为此，我们需要实现拷贝构造函数、拷贝赋值运算符以及析构函数。 拷贝构造函数 (`HasPtr(const HasPtr& p)`) 负责创建一个新的 `HasPtr` 对象，它拥有与源对象 `p` 相同的 `string` 复制和对应的整型成员变量 `i`。通过 `new string(*p.ps)`，新对象复制了源对象 `ps` 指向的 `string`。 拷贝赋值运算符 (`HasPtr& operator=(const HasPtr& rhs)`) 用于更新当前对象的状态，首先创建新字符串并删除旧的，然后将源对象的 `ps` 指针指向的新对象赋给当前对象，并将 `i` 变量值复制过来。这样确保了即使修改了副本，原始对象也不会受到影响。 另一个赋值运算符 (`HasPtr& operator=(const string& rhs)`) 实现了直接将 `string` 赋给 `HasPtr` 的功能，通过 `*ps = rhs` 更新指向的 `string` 内容。 析构函数 (`~HasPtr()`) 负责在对象不再需要时释放 `string` 对象的内存，以防止内存泄漏。通过 `delete ps` 完成这一操作。 通过这些构造和析构函数的定义，`HasPtr` 类能够符合像值对象的行为规范，每个对象都有自己的 `string` 复制，从而实现了有效的资源管理和复制控制。在实际编程中，这样的设计有助于确保代码的可读性和内存管理的高效性。