C语言之指针初阶,指针基础知识


目录

前言

一、内存与地址的关系

二、指针变量

三、野指针

四、const

五、传值调用与传址调用

总结


前言

        本文主要介绍C语言指针的一些基础知识,为后面深入理解指针打下基础,因此本文内容主要包括内存与地址的关系,指针的基本语法,指针运算,野指针,还有const修饰指针和assert断言的使用,最后还会讲到指针的传址调用,希望对大家有所帮助。


一、内存与地址的关系

指针作为C语言的核心知识,那么指针究竟是什么呢?

  1. 首先指针其实就是地址,而地址是内存中一个个内存单元的编号
  2. 我们知道计算机上CPU(中央处理器)在处理数据的时候,需要的数据是在内存中读取的,处理后的数据也会放回内存中,那我们买电脑的时候,电脑上内存有8GB/16GB/32GB等,这些内存就是程序运行时需要用到的内存
  3. 为了更高效的管理与使用这些内存,于是就将这些内存分为一个个内存单元,每个内存单元的大小取一个字节,也就是8个比特位,⼀个比特位可以存储一个2进制的位1或者0
  4. 每个内存单元也都有一个编号,有了这个内存单元的编号,CPU就可以快速找到一个内存空间,在计算机中我们把内存单元的编号也称为地址。C语言中给地址起了新的名字:指针
  5. 所以我们可以这样理解:内存单元的编号 == 地址 == 指针

如图:


二、指针变量

指针变量就是储存地址的变量

1. 取地址操作符  &

&操作符是一个单目操作符,用来取出一个变量的地址

比如,创建 int a,观察其地址

图中画红线的部分就为a变量在内存中的地址以及储存的数据,即0x004FF82C为地址,0a 00 00 00为以16进制储存的数据,其中 0a 表示的就是以16进制保存的十进制数字10,因为一个16进制数需要4个比特位表示,0a就是两个16进制数,占了8个比特位刚好为一个字节,而0a 00 00 00 四个这样的就刚好表示4个字节,它是00 00 00 0a倒着的形式,至于为什么0a在前面,这是编译器自己的实现,涉及倒大小端字节序了


2.指针变量创建

对于一般的指针变量的创建

(类型) * 变量名;

这样就将变量 a ,b 的地址存储在对应类型的指针变量里面,其余的如float、double等可以以此类推

注意:这里的*号表示其变量为指针变量,它是与变量名结合,前面的类型是指针变量的类型,它与指针访问地址时的权限大小有关(后面有讲)


3.解引用操作符  *

* 解引用操作符为一个单目操作符,它可以通过地址找到其对应的数据

因为指针变量存储的就是地址,所以指针变量搭配*就可以找到其对应的数据进行操作

如:

我们可以通过解引用操作符修改指针对应的变量数据


4.指针变量类型的意义

指针变量的大小和类型无关,只要是指针变量,在同一个平台下,大小都是一样的,比如在32位平台上指针类型的变量大小都是4个字节,64位平台上为8个字节(以下在32位上演示)

既然指针变量的大小和类型无关,那么指针变量的类型有什么意义呢?

其实,这个意义非常重要:指针的类型决定了,对指针解引用的时候有多大的权限(一次能操作几个字节)。比如: char* 的指针解引用就只能访问⼀个字节,而 int* 的指针的解引用就能访问四个字节,这个权限的大小就是指针变量类型的大小

如:我们再次创建一个变量a。(注:程序每次运行时分配的地址不一样)

除了a变量的地址不一样,其他和上面一样为 0a 00 00 00,它表示的是10,并且每两位表示一个字节,而一个字节表示一个内存单元,因此如上的0x0099FC8C其实表示的是储存0a的地址,我们可以一列一列的观察其内存

因为a为整形变量,占4个字节,因此其在内存中为4个连续的内存单元,如上标记的区域,此时如果我们创建一个整形指针变量接收a的地址,这时候指针变量接收的其实是a在内存中的连续区域的首地址,我们解引用该指针就可以操作这四个字节

注:指针存储一个大于1字节的数据时,存储的是该数据在内存中的首地址

如:

注:90 01 00 00 在读取时是以 00000190,也就是190,为16进制

十进制刚好为400

此时变量a可以被正常修改,而如果我们以字符类型的指针接收a的地址后,我们一次只能修改一个字节

如:

16进制28等于十进制40,如上我们貌似也能正常修改整形变量a的数组,但实际上只要我们修改的数值大于两位16进制能表达的最大数字,就不能正常修改a的数值

如:

我们只能改变一个字节,也就是char类型的指针一次只能修改一个字节

这就是指针类型的意义,当然不止如此,指针变量的类型还决定了指针加减整数的时候一次跳过多少字节,下面就会讲到


5.指针 + - 整数

先说结论:指针加减整数,会使指针前进或后退n个字节,而指针的类型决定了指针向前或者向后走一步有多大(距离)

也就是说,指针类型决定了指针加减1时的步长,比如char*指针,它一次只能跳过一个字节,它加减n也就是向前或向后跳过n*sizeof(char)个字节

比如:

(注:此处int *parr = arr不能写成&arr,下篇指针进阶文章我会讲到) 

此处我们就利用了循环来使数组首元素地址依次跳过 i个int类型大小的字节,实现了循环打印数组元素

此处我们有几处需要注意的点:

  1. 数组的元素在内存中是连续存放的,并且地址由低到高,不了解的可以参考我主页的数组文章
  2. 此处我们发现,如果把 *(arr+i) 换成 arr[ i ] 也就是我们之前的写法达到的效果是一样的,这是因为 *(arr+i) 是完全等价于 arr[ i ] ,也就是说,当编译器遇到 arr[ i ] 时会把它解读为 *(arr+i),按这样理解,因为 arr+i 等于 i+arr ,也就是可以写成 *(i+arr),进而可以写成 i[arr] ,我们可以验证一下
  3. 答案是完全可以的,但是平时不建议这样写,因为 i[arr] 可读性不如 arr[ i ]。总结就是 [ ] 操作符其实也是解引用的效果,只不过多了加法的作用


6.指针 - 指针

对于指针 - 指针这个运算来说,只有两指针指向的是同一块连续的内存区域时才有意义

我们可以通过指针 - 指针来计算数组两元素地址之间有多少个元素

如:

那么为什么是9个而不是10个呢?

我们可以画图来理解:

画图我们就可以很直观的感受到,arr[9] 的元素没有被计算到,因为如果指针指向的数据大小大于一个字节,那么指针储存的该数据地址为该数据储存在内存中的首地址,参考上文中的 int a 变量的地址观察


三、野指针

1.概念

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

野指针成因:

  1. 指针未初始化:主要是创建在函数中的指针变量没有进行初始化,造成指针指向的地址是随机值,此时指针指向的地址随机,不能对其进行解引用。
  2. 指针越界访问:这种主要出现在数组中,指针指向的地址超出了数组所在的内存区域,指向了一个不确定的地址
  3. 指针指向的空间被释放:这种主要发生在指针变量指向的地址是已经被释放的内存空间地址,被释放的空间不属于该程序,虽然可能引用不会导致报错,但是不安全


2.如何规避野指针

野指针的危害有:访问违规、数据损坏、内存泄露、安全风险等。

野指针的危害众多、因此我们的代码中需要规避野指针,那么如何规避野指针呢?

  1. 指针变量初始化时如果没有需要赋值的地址就先赋值为NULL
  2. 指针变量不再使用时,及时置NULL,指针使用之前检查有效性:当指针变量指向一块区域的时候,我们可以通过指针访问该区域,后期不再使用这个指针访问空间的时候,我们可以把该指针置为NULL。因为约定俗成的⼀个规则就是:只要是NULL指针就不去访问, 同时使用指针之前可以判断指针是否为NULL。
  3. 避免返回局部变量的地址,比如避免函数返回局部变量地址

除了以上的方法,还有一个常用的方法:

assert 断言

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

比如:assert (p != NULL);

上面代码在程序运行到这一行语句时,验证变量 p 是否等于 NULL 。如果确实不等于NULL 继续运行,否则就会终止运行,并且给出报错信息提示。

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

如:

assert() 的使用对程序员是非常友好的,使用 assert() 有几个好处:它不仅能自动标识文件和出问题的行号,还有一种无需更改代码就能开启或关闭 assert() 的机制。如果已经确认程序没有问 题,不需要再做断言,就在 #include <assert.h>语句的前面,定义一个宏 NDEBUG

如下assert()就会失去作用:

如果想再次启用assert()只需要注释掉第一行的宏就行

assert() 的缺点:因为引入了额外的检查,增加了程序的运行时间。 一般我们可以在 Debug 中使用,在 Release 版本中选择禁用 assert 就行,在 VS 这样的集成开发环境中,Release 版本中,assert()直接就是自动优化掉了。这样在debug版本写有利于程序员排查问题,在Release 版本不影响用户使用时程序的效率。


四、const

const的作用:被const修饰的变量不能被直接修改

如:

程序在还未运行时已经发出错误警告

虽然不能直接修改,但是还能通过指针变量间接修改:


但是如果const修饰的是指针变量,就分以下两种情况:

  • const如果放在*的左边,修饰的是指针指向的内容,保证指针指向的内容不能通过指针来改变。 但是指针变量本身的内容可变。
  • const如果放在*的右边,修饰的是指针变量本身,保证了指针变量的内容不能修改,但是指针指向的内容,可以通过指针改变。

如:


五、传值调用与传址调用

传值调用与传址调用,这个主要针对的是自定义函数的参数,也就是说:

  1. 函数参数为非指针类型,调用时传入非指针类型参数,即为传值调用
  2. 函数参数为指针类型,调用时传给函数地址,即为传址调用

那么这两个有什么区别呢?

其实主要是传值调用时,在函数内部修改形参不会影响实参,而在传址调用时,修改形参也同样会会修改实参

比如这个例题:编写一个函数,交换两个整形变量的内容

此前我们在主函数中只需要再创建一个变量,通过三者交换即可达成题目这样的效果,但如果我们在自定义函数里面,函数参数为两个整形变量,分别接收需要交换内容的两个实参,使用一样的方法是达不到一样的效果的,这时候我们只需要使用传址调用即可

如:

通过传给函数实参的地址,在函数中用指针变量的形参接收,就可以在函数中解引用该指针变量来修改对应的实参变量的内容

这就是传值调用与传址调用的不同

另外,如果函数的参数为数组类型,其实也是指针变量,给函数传参时,一般传入的就是数组名,因为数组名就是数组首元素的地址,至于详细原因我会在指针进阶中讲到


总结

        以上就是本文的全部内容,希望对大家有所帮助,下一篇我会继续写指针的进阶篇,感谢大家的支持

  • 52
    点赞
  • 27
    收藏
    觉得还不错? 一键收藏
  • 8
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 8
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值