<C++primer> 4th 中的 SmartPoint 示例,它抛出 coredump

An example of SmartPoint in <C++primer> 4th ,it throws coredump

这几天看了C++primer 4th。昨晚,我写了一个关于smartpoint的demo,它是book.But的一个例子,当我运行它时,它抛出核心dump.I使用valgrind和gdb工具调试它,他们说关于free function的错误,也就是说,delete a point object two times.So我看了代码,画了关于内存的图,但是,我找不到错误。

另外,我用作者的demo来运行,也让同样mistake.Have的人都遇到了这个问题。这是详细代码。

#include <iostream>
using namespace std;

class U_Ptr {
    friend class HasPtr;
    private:
    int *m_pi;
    size_t use;
    U_Ptr(int *p)
        :m_pi(p),use(1)
    {
        cout << "U_Ptr(int *)" << endl;
    }
    ~U_Ptr()
    {
        cout << "~U_Ptr():use" << use << endl;
        delete m_pi;
    }
};

class HasPtr {
    public:
        HasPtr(int *p, int i)
            :ptr(new U_Ptr(p)), val(i)
        {
            cout << "HasPtr(int *, int)" << endl;
        }

        HasPtr(const HasPtr& rhs)
            :ptr(rhs.ptr), val(rhs.val)
        {
            cout << "HasPtr(const HasPtr&)" << endl;
            ++ptr->use;
        }

        HasPtr& operator=(const HasPtr& rhs)
        {
            cout << "operator=" << endl;
            ++rhs.ptr->use;
            if (--ptr->use == 0)
                delete ptr;
            ptr = rhs.ptr;
            val = rhs.val;
            return *this;
        }

        ~HasPtr()
        {
            cout << "~HasPtr():" << ptr->use << endl;
            if (--ptr->use == 0) {
                cout << "ptr->use:0 call ~U_Ptr()" << endl;
                delete ptr;
            }
        }

        int *get_ptr() const
        {
            return ptr->m_pi;
        }

        int get_int() const
        {
            return val;
        }

        void set_ptr(int *p)
        {
            ptr->m_pi = p;
        }

        void set_int(int i)
        {
            val = i;
        }

        int get_ptr_val() const
        {
            return *ptr->m_pi;
        }
        void set_ptr_val(int i) const
        {
            *ptr->m_pi = i;
        }
    private:
        U_Ptr *ptr;
        int val;
};

// here is test demo
int main(void)
{
    int obj = 0;
    HasPtr ptr1(&obj, 42);
    HasPtr ptr2(ptr1);


    int *tmp = new int(4);
    HasPtr ptr4(tmp,  44);

    ptr4 = ptr2;

    cout << "-------- change the ptr's value  ----------" << endl;
    int *pi = new int(42);

    HasPtr ptr3(pi, 10);

    ptr3.set_ptr_val(0);

    return 0;
}

这是导致问题的部分:

int obj = 0;
HasPtr ptr1(&obj, 42);

HasPtr 的析构函数正在删除传递的参数 int obj,它 并没有真正分配在堆中,而只是一个局部变量。

要解决此问题,您可以像这样更改代码:

int* obj = new int(0);
HasPtr ptr1(obj, 42);