c++ - 记住最初的对象，它只能管理共享内存

Question

我有一个关于好的 C++ 风格的问题: 我想写一个类“MyClass”，它有一个或一些指针作为成员，MyClass 能够为这个指针分配内存。我想使用隐式给出默认复制构造函数(以及默认赋值运算符)来复制 MyClass 的实例，以便只复制指针并且新对象共享初始对象具有的数据分配。

我的想法是禁止复制对象(使用复制构造函数或赋值运算符创建)释放内存(以及将内存分配给成员指针)。为了区分复制对象和原始对象(由构造函数创建)，我想使用以下代码:

class MyClass
{
public:
       MyClass(): originalPtr(this) { data = new char[100000]; }
       ~MyClass() { if(originalPtr == this) delete[] data; }
private:
       MyClass *originalPtr;
       char *data; // shared data (not copiable)
       char otherFeatures[10]; // individual data (copiable)
};

此解决方案(使用与 this 指针的比较)是否适合用于此目的(例如，通过按值调用来解析对象)或有风险？当然，我假设原始对象的生命周期总是比复制的对象长。

谢谢!

Answer 1

不，这是个坏主意。如果指针由多个实例共享，那么要释放的指针应该是最后一个失效的指针，而不是原始指针。这在某种意义上是不同的，即原始人可能不会死去，这会导致所有其他人都指向垃圾。即使你假设它是最后一个死去的，你也需要意识到类的内部运作不应该依赖于外部假设。也就是说，该类无法保证其余实现如何管理其生命周期，因此不应做出假设。

在这种情况下，您应该跟踪对您的数据的引用。基本思想是跟踪您拥有多少个类(class)拷贝。一旦该计数达到零，您就可以自由释放该内存；最后一个拷贝刚刚死了。幸运的是，STL already provides such an implementation .这些被称为 Smart Pointers .还有其他的，比如std::unique_ptr ，这通过确保数据仅由单个实例拥有而恰恰相反。