C++中的悬浮指针

C++中的悬浮指针

悬浮指针（也叫迷途或失控指针） 是C++程序内存管理方面一个很重要的问题。

使用 delete 释放后，任何有效指针都将无效。换言之，即便之前指针isSunny 是有效的，调用 delete 后，它也变成无效的了，不应再使用。
为避免这种问题，很多程序员在初始化指针或释放指针后将其设置为 NULL，并在使用运算符*对指针解除引用前检查它是否有效（将其与 NULL 比较）。

以下举一个例子。首先来看一个有内存问题的示例程序：

#include <iostream>
using namespace std;

int main()
{
    // uninitialized pointer (bad)
    bool* isSunny; 

    cout << "Is it sunny (y/n)? ";
    char userInput = 'y';
    cin >> userInput;

    if (userInput == 'y')
    {
        isSunny = new bool;
        *isSunny = true;
    }

    // isSunny contains invalid value if user entered 'n'
    cout << "Boolean flag sunny says: " << *isSunny << endl;

    // delete being invoked also when new wasn't 
    delete isSunny;

    return 0;
}

然后对这个程序进行修改：

#include <iostream>
using namespace std;

int main()
{
    cout << "Is it sunny (y/n)? ";
    char userInput = 'y';
    cin >> userInput;

    // declare pointer and initialize
    bool* const isSunny = new bool;
    *isSunny = true;

    if (userInput == 'n')
        *isSunny = false; 

    cout << "Boolean flag sunny says: " << *isSunny << endl;

    // release valid memory
    delete isSunny;

    return 0;
}

输出：

Is it sunny (y/n)? y
Boolean flag sunny says: 1

再次运行的输出：

Is it sunny (y/n)? n
Boolean flag sunny says: 0

分析：
做了细微的修改，使得无论用户如何输入，代码都更安全。注意到在第 10 行声明指针的同时，让它指向了一个有效的内存地址。我们使用了 const 来确保指针指向的数据是可以修改的， 但指针的值（包含的地址）是固定的（不可修改）。我们还将指针指向的值初始化为 true，如第 11 行所示。这种数据初始化并不能提高程序的稳定性，但可提高输出的可读性。这些步骤确保不管用户如何输入，这个指
针在程序运行期间始终有效，可在第 19 行安全地将其释放。