野指针

野指针指指向一个已删除的对象或未申请访问受限内存区域的指针。与空指针不同,野指针无法通过简单地判断是否为NULL避免,而只能通过养成良好的编程习惯来尽力减少。对野指针进行操作很容易造成程序错误。


成因

野指针主要是因为这些疏忽而出现的:
指针变量未初始化


任何指针变量刚被创建时不会自动成为NULL指针,它的缺省值是随机的,它会乱指一气。所以,指针变量在创建的同时应当被初始化,要么将指针设置为NULL,要么让它指向合法的内存。
指针释放后之后未置空


有时指针在free或delete后未赋值 NULL,便会使人以为是合法的。别看free和delete的名字(尤其是delete),它们只是把指针所指的内存给释放掉,但并没有把指针本身干掉。此时指针指向的就是“垃圾”内存。释放后的指针应立即将指针置为NULL,防止产生“野指针”。
指针操作超越变量作用域


不要返回指向栈内存的指针或引用,因为栈内存在函数结束时会被释放。示例程序如下

class A {
public:
  void Func(void){ cout << “Func of class A” << endl; }
};
class B {
public:
  A *p;
  void Test(void) {
    A a;
    p = &a; // 注意 a 的生命期 ,只在这个函数Test中,而不是整个class B
  }
  void Test1() {
  p->Func(); // p 是“野指针”
  }
};
函数 Test1 在执行语句 p->Func()时,p 的值还是 a 的地址,对象 a 的内容已经被清除,所以 p 就成了“野指针” 。


规避

在养成这些习惯的情况下,野指针的危害是可以降低的:
初始化时置 NULL


指针变量一定要初始化为NULL,因为任何指针变量刚被创建时不会自动成为NULL指针,它的缺省值是随机的。
释放时置 NULL


当指针p指向的内存空间释放时,没有设置指针p的值为NULL。delete和free只是把内存空间释放了,但是并没有将指针p的值赋为NULL。通常判断一个指针是否合法,都是使用if语句测试该指针是否为NULL。例如:

int *p=newint(6);
delete p;
// 应加入 p=NULL; 以防出错
// ...
if(p != NULL)
{
  *p=7;
  cout << p << endl;
}

对于使用 free 的情况,常常定义一个宏或者函数 xfree 来代替 free 置空指针:

#define xfree(x) free(x); x = NULL;
// 在 C++ 中应使用 nullptr 指代空指针
// 一些平台上的 C/C++ 已经预先添加了 xfree 拓展,如 GNU 的 
 
libiberty
xfree(p);
// 用函数实现,例如 GitHub 上的 AOSC-Dev/Anthon-Starter #9:
static inline void *Xfree(void *ptr) {
    free(ptr);
#ifdef __cplusplus
    return nullptr;
#else
    return NULL;
#endif
}
q=Xfree(q);

所以动态分配内存后,如果使用完这个动态分配的内存空间后,必须习惯性地使用delete操作符取释放它。

<think>嗯,用户想了解C语言中的指针,包括定义、原因和解决方案。首先,我需要回忆一下指针的基本概念。指针,也就是“悬挂指针”,指的是指向无效内存地址的指针。这通常发生在指针未被初始化、指向的内存被释放后未置空,或者指针操作越界的情况下。 根据引用[4],指针的一个常见情况是未初始化的指针变量,它们包含随机地址,访问这些地址会导致未定义行为。比如例子中的int* p; *p = 20; 这里p没有被初始化,直接解引用就会出问题。另外,引用[4]还提到当指针指向的内存被释放后,如果没有将指针置为NULL,也会导致指针。例如,使用free后,指针仍然指向原来的内存区域,但该区域可能已被系统回收,再次访问就会出错。 接下来,引用[2]和[3]讨论了指针常量和指针运算的问题,虽然这些内容更多关于指针的正确使用,但可以帮助理解如何避免指针。比如,指针常量在定义时必须初始化,这可能避免未初始化的问题。而引用[5]提到的DMC方案,可能是一种动态内存检查的方法,帮助检测和防止指针的问题。 用户需要明确的解决方案,所以需要整理常见的处理方法。比如,初始化指针为NULL,释放后及时置空,避免返回局部变量的地址,使用智能指针或工具检测等。这里要注意引用[1]中提到的NULL在C中的定义是((void*)0),因此将指针初始化为NULL是一个好习惯。 可能需要检查是否有其他原因导致指针,比如指针运算错误导致越界,或者数组访问越界后指针指向了非法区域。引用[3]提到指针变量指向数组元素,运算时要注意边界,否则可能产生指针。 总结起来,指针的定义是无效的指针,原因包括未初始化、释放后未置空、越界访问等。解决方案则涵盖初始化、及时置空、谨慎操作内存、使用工具检测等。需要将这些内容组织成结构清晰的回答,确保覆盖所有关键点,并正确引用提供的资料。</think>### C语言指针详解 #### 一、指针定义 指针(Dangling Pointer)是指向无效内存地址的指针变量。这类指针可能指向已被释放的内存区域、未初始化的随机地址或越界访问的非法地址,对其进行解引用操作会导致**未定义行为**(如程序崩溃、数据损坏)[^4][^5]。 #### 二、主要原因 1. **未初始化指针** ```c int *p; // 未初始化,存储随机地址 *p = 10; // 访问非法内存 ``` 2. **内存释放后未置空** ```c int *p = malloc(sizeof(int)); free(p); // p仍保留原地址 *p = 20; // 访问已释放内存 ``` 3. **越界访问** ```c int arr[3] = {1,2,3}; int *p = arr; p += 5; // 越界后指向非法地址[^3] ``` 4. **返回局部变量地址** ```c int* create_num() { int num = 100; return &num; // 函数返回后num的内存失效 } ``` #### 三、解决方案 1. **初始化原则** - 定义指针时立即赋初值: ```c int *p = NULL; // C语言中NULL=(void*)0[^1] ``` 2. **释放内存后重置指针** ```c free(p); p = NULL; // 防止重复释放或误用 ``` 3. **避免指针越界** - 严格检查数组索引和指针运算范围[^3] 4. **使用动态内存检测工具** - 如DMC(Dynamic Memory Check)方案,可检测指针和越界访问 5. **规范编码习惯** ```c // 正确示例:指针常量必须初始化[^2] int a = 10; int* const p = &a; // 定义时直接赋值 ``` #### 四、对比表格 | 类型 | 特征 | 风险案例 | |------------|------------------------------|--------------------------| | 未初始化指针 | 指向随机地址 | `int *p; *p=10;` | | 悬空指针 | 指向已释放内存 | `free(p); *p=20;` | | 越界指针 | 超出合法内存范围 | `arr[5]访问长度为3的数组`| ####
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值