指针悬挂问题探究

    为了说明什么是指针悬挂问题，让我们考虑下面使用简单字符串类String的程序例子：

#include"string.h"?
class String
{
    char * p;
    int size;
public:
    String(int sz)
    {
        p = new char[size = sz];
    }
    ~String()
    {
        delete p;
    }
};
void main()
{
    String s1(10);
    String s2(20);
    s1 = s2;
}

    在上列程序中，我们没有为String类重载赋值运算符，因此，赋值表达式：s1 = s2;是使用缺省的赋值运算符完成s2对s1的赋值，这样做的效果是把对象s2的数据成员(字符指针p和整型量size)逐个拷贝到s1的对应数据成员中，从而使得s1的数据成员原先的值被冲掉了。由于s1.p和s2.p具有相同值，都指向s2的字符串，s1.p原先指向的内存区不仅没有释放，而且被封锁起来无法再用，这就是所谓的指针悬挂问题。

    更严重的问题是，由于s1.p和s2.p都指向同一块内存区，当s1和s2这两个对象生存期结束时(函数main运行结束时)，将调用两次析构函数(s1.~String和s2.~String),从而使这块内存被释放两次，这是一个非常严重的错误。?
    可能有的读者对上面的例子感到不易理解，下面我们再通过浅显易懂一个小例子来说明什么情况下容易出现指针悬挂。
    #include "stdafx.h"
    #include "iostream.h"
    void main()
    {
        int *p1 = new int(8);   //在内存中分配一个整型数据的空间，并将首地址给P1
        int *p2 = new int(9);   //在内存中再分配一个整型数据的空间，并将首地址给P2
        cout << p1 << "\n";     //输出P1所指向的内存单元的地址
        cout << p2 << "\n";     //输出P2所指向的内存单元的地址
        cout << * p1 << "\n";   //输出P1所指向的内存单元中的内容
        p1 = p2;                //将P2赋值给P1，即P1也指向了P2所指向的内存单元
        cout << p1 << "\n";
        cout << p2 << "\n";     //通过输出可以看到P1、P2指向了同一个地址单元
        cout << * p1 << "\n";
        cout << * p2 << "\n";   //通过输出可以看到P1、P2指向同一地址单元中的内容
        delete p1;      //实际上释放的是P2指向的内存单元，但是P1开始所指向的地址再也找不回
                  //来了（因为我们事先没有保存），因此，无法释放。这就产生了指针悬挂问题。
        delete p2;      //再次释放P2指向的内存单元，这将产生严重错误
    }
    由于指针悬挂是使用指针时容易犯而且不易察觉的错误，建议读者上机实践，避免在今后的开发中出现此类错误造成严重后果。