【C语言】:野指针和assert断言

简介: 【C语言】:野指针和assert断言

1.野指针

概念:野指针就是指针指向的位置是不可知的(随机的,不正确的,没有明确限制的)。

1.1 野指针成因

1.1.1 指针未初始化

对比下面2段代码:

//代码1
#include <stdio.h>
int main()
{
  int a = 10;
  int* p = &a;
  *p = 20;
  return 0;
}
//代码2
#include <stdio.h>
int main()
{
  
  int* p ;
  *p = 20;
  return 0;
}

代码1中指针变量p明确指向了a,进行了初始化。

代码2中指针变量p未进行初始化,p是一个局部变量,一个局部变量不初始化,默认是随机值。此时p就是一个野指针!!

1.1.2 指针越界访问

上代码:

#include <stdio.h>
int main()
{
  int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
  int* p = arr; //p此时不是野指针
  int sz = sizeof(arr) / sizeof(arr[0]);
  int i = 0;
  for (i = 0; i <= sz; i++)
  {
    printf("%d ", *p);
    p++;
  }
  return 0;
}

画图演示为:

当p访问至下标为10的时候,越界访问,此时p就是野指针!!

1.1.3 指针指向的空间释放

上代码:

#include <stdio.h>
int* test()
{
  int a = 10;
  return &a;
}
int main()
{
  int* p = test();
  printf("%d\n", *p);
  return 0;
}

画图演示如下:

按道理来说,p可以通过存放的a的地址来找到a,遗憾的是离开test函数时,a的空间已经还给操作系统了,已经不属于a了,但是a的地址又给p了,当我们对p中的地址进行解引用时,此时p中的地址就是野指针了!!

1.2 如何规避野指针

1.2.1 指针初始化

  1. 明确知道指针应该指向哪里,就初始化一个明确的地址。
  2. 如果现在还不知道该指向哪里,就初始化NULL

注:NULL是C语言中定义的一个标识符常量,值是0,0也是地址,这个地址是无法使用的,读写该地址会报错

例如:

#include <stdio.h>
int main()
{
  int a = 10;
  int* p1 = &a;//初始化一个明确地址
  int* p2 = NULL;//初始化为NULL
  return 0;
}

1.2.2 小心指针越界

⼀个程序向内存申请了哪些空间,通过指针也就只能访问哪些空间,不能超出范围访问,超出了就是越界访问。

1.2.3 指针变量不再使用时,及时置为NULL,指针使用之前检查

当指针变量指向⼀块区域的时候,我们可以通过指针访问该区域,后期不再使⽤这个指针访问空间的时候,我们可以把该指针置为NULL。因为约定俗成的⼀个规则就是:只要是NULL指针就不去访问,同时使用指针之前可以判断指针是否为NULL。

我们可以把野指针想象成野狗,野狗放任不管是⾮常危险的,所以我们可以找⼀棵树把野狗拴起来,就相对安全了,给指针变量及时赋值为NULL,其实就类似把野狗栓前来,就是把野指针暂时管理起来。

不过野狗即使拴起来我们也要绕着走,不能去挑逗野狗,有点危险;对于指针也是,在使用之前,我们也要判断是否为NULL,看看是不是被拴起来起来的野狗,如果是不能直使⽤,如果不是我们再去使用

1.2.4 避免返回局部变量的地址

如造成野指针的第三个例子,不要返回局部变量的地址。

2.assert断言

assert.h头文件定义了宏assert(),用于在运行时确保程序符合指定条件,如果不符合,就报错终止。这个宏常常被称为“断言

assert ( p ! = NULL );

assert()宏接收一个表达式作为参数,如果该表达式为真(返回值非零),assert()不会产生任何作用,程序继续运行。如果表达式为假(返回值为0),assert()就会报错,在stderr 中写入一条错误信息,显示没有通过的表达式,以及包含这个表达式的文件名和行号。

例如:


目录
相关文章
|
24天前
|
C语言
【c语言】指针就该这么学(1)
本文详细介绍了C语言中的指针概念及其基本操作。首先通过生活中的例子解释了指针的概念,即内存地址。接着,文章逐步讲解了指针变量的定义、取地址操作符`&`、解引用操作符`*`、指针变量的大小以及不同类型的指针变量的意义。此外,还介绍了`const`修饰符在指针中的应用,指针的运算(包括指针加减整数、指针相减和指针的大小比较),以及野指针的概念和如何规避野指针。最后,通过具体的代码示例帮助读者更好地理解和掌握指针的使用方法。
45 0
|
23天前
|
C语言
【c语言】指针就该这么学(3)
本文介绍了C语言中的函数指针、typedef关键字及函数指针数组的概念与应用。首先讲解了函数指针的创建与使用,接着通过typedef简化复杂类型定义,最后探讨了函数指针数组及其在转移表中的应用,通过实例展示了如何利用这些特性实现更简洁高效的代码。
15 2
|
23天前
|
C语言
如何避免 C 语言中的野指针问题?
在C语言中,野指针是指向未知内存地址的指针,可能引发程序崩溃或数据损坏。避免野指针的方法包括:初始化指针为NULL、使用完毕后将指针置为NULL、检查指针是否为空以及合理管理动态分配的内存。
|
23天前
|
C语言
C语言:哪些情况下会出现野指针
C语言中,野指针是指指向未知地址的指针,通常由以下情况产生:1) 指针被声明但未初始化;2) 指针指向的内存已被释放或重新分配;3) 指针指向局部变量,而该变量已超出作用域。使用野指针可能导致程序崩溃或不可预测的行为。
|
30天前
|
存储 C语言
C语言32位或64位平台下指针的大小
在32位平台上,C语言中指针的大小通常为4字节;而在64位平台上,指针的大小通常为8字节。这反映了不同平台对内存地址空间的不同处理方式。
|
29天前
|
存储 算法 C语言
C语言:什么是指针数组,它有什么用
指针数组是C语言中一种特殊的数据结构,每个元素都是一个指针。它用于存储多个内存地址,方便对多个变量或数组进行操作,常用于字符串处理、动态内存分配等场景。
|
30天前
|
存储 C语言
C语言指针与指针变量的区别指针
指针是C语言中的重要概念,用于存储内存地址。指针变量是一种特殊的变量,用于存放其他变量的内存地址,通过指针可以间接访问和修改该变量的值。指针与指针变量的主要区别在于:指针是一个泛指的概念,而指针变量是具体的实现形式。
|
30天前
|
C语言
C语言指针(3)
C语言指针(3)
11 1
|
30天前
|
C语言
C语言指针(2)
C语言指针(2)
13 1
|
23天前
|
编译器 C语言
【c语言】指针就该这么学(2)
本文详细介绍了指针与数组的关系,包括指针访问数组、一维数组传参、二级指针、指针数组和数组指针等内容。通过具体代码示例,解释了数组名作为首元素地址的用法,以及如何使用指针数组模拟二维数组和传递二维数组。文章还强调了数组指针与指针数组的区别,并通过调试窗口展示了不同类型指针的差异。最后,总结了指针在数组操作中的重要性和应用场景。
17 0