什么野指针（c++）

野指针定义

野指针（Wild Pointer）是指向不确定位置或者非法地址的指针。当一个指针指向的内存被释放后，如果没有将其设置为NULL，那么这个指针就变成了野指针。使用野指针会导致未定义行为，可能引发程序崩溃或数据损坏。

代码实例

假设我们有以下C++代码片段：

#include 

int main() {
    int *ptr = new int(5);
    std::cout << "Value at ptr: " << *ptr << std::endl;
    delete ptr; // 内存被释放，但ptr没有置空
    std::cout << "Value at ptr after deletion: " << *ptr << std::endl; // 使用野指针
    return 0;
}

在这个例子中，ptr在delete之后成为一个野指针。如果我们尝试访问它指向的内容，程序可能会崩溃，因为ptr现在指向的是已经释放的内存区域。

预防方案

为了防止野指针的产生，可以采取以下几种策略：

1. 及时置空：在释放指针指向的内存后，立即将指针设为NULL。

   修改上述代码：

   #include 
   
   int main() {
       int *ptr = new int(5);
       std::cout << "Value at ptr: " << *ptr << std::endl;
       delete ptr;
       ptr = nullptr; // 将指针置空，避免成为野指针
       return 0;
   }
   

2. 智能指针：使用C++中的智能指针（如std::unique_ptr或std::shared_ptr），这些指针会在超出作用域或不再需要时自动释放所指向的内存，从而避免野指针问题。

   使用std::unique_ptr的示例：

   #include 
   #include 
   
   int main() {
       std::unique_ptr<int> ptr(new int(5));
       std::cout << "Value at ptr: " << *ptr << std::endl;
       // 不需要手动调用delete，智能指针会在离开作用域时自动释放内存
       return 0;
   }
   

3. 严格检查指针状态：在使用指针前，总是先检查指针是否为NULL。

4. 使用静态分析工具：利用如Clang Static Analyzer、Valgrind等工具来检测潜在的野指针问题。

遵循以上原则和实践，可以有效地避免野指针的产生，提高程序的稳定性和安全性。