c++ - 关于 Safe 类是异常安全的声明的澄清

Question

您会在 this document 的第 937 页找到以下代码:

template<class T> class Safe
{
    T* p;  // p points to a T allocated using new
    public:
    Safe() : p(new T) {}
    ~Safe() { delete p; }
    Safe& operator=(const Safe& a) { *p = *a.p; return *this; }
    // ...
};

看来，p指向的对象会在上面的赋值运算符中泄露。

Answer 1

这不是泄漏，因为他没有更改指针。如果他这样做了

Safe& operator=(const Safe& a) { p = a.p; return *this; }

那么就是内存泄漏了。他正在对 p 指向的对象进行赋值，而不是 p 本身。