八. C语言深入理解指针(1)

前言：接下来，我们将进入C语言最最最复杂的板块：指针。当然，不用对他们恐惧，翻过一座山就高过一座山！

1.内存和储存

当学习到这的时候我们应该对内存和储存有一定的区分

区别一：作用不同

1.内存是一种用于暂时存放CPU中的运算数据和外部储存器交换数据的随机储存器，读写速率极高，但需保持通电状态才能存放数据，充当外部储存和CPU沟通桥梁的角色。由于硬盘速度有限，为了提高处理速度，操作系统会预先将需要运算的数据由硬盘调取至内存，以便CPU快速调取数据进行运算。

　　2.储存是用于存放数据的，一般常见的机械硬盘和固态硬盘都是储存硬件，断电后数据依然可以存储在硬盘中。

区别二：性能不同

　　通常，内存（RAM）通过总线连接至CPU，且具有较强的数据传输能力，其读写速度要远远高于机械硬盘、固态硬盘这类储存硬件。

区别三：容量不同

　　1.由于内存是外部储存和CPU沟通的桥梁，加上内存虽具有储存能力，但断电后所有数据都会消失，所以内存的容量一般不，如8GB、16GB、32GB。

　　2.机械硬盘、固态硬盘这种用于储存数据的硬件拥有较大的容量，常见的有512GB、1TB、4TB等。

2.内存和地址

2.1内存和地址的联系

我们回到程序运行上来讲

内存的编号==地址==指针

我们可以这样理解，把内存的编号类比成小区门牌号

比如：百合苑-19栋-2单元-1001           →内存编号

这是现实中的地址，对于计算机来说

红箭头部分就是计算机程序的地址

在C语言中，我们把地址起了个新名字：指针

2.2 编址

当CPU访问内存中某个空间的时候，必须知道这个空间在什么位置，就像外卖员必须知道我们家庭住址一样。这时候，电脑硬件需要给内存编址

通常，我们熟悉32位和64位，它们的意思相当于

这台机器有32(64)根线，每根线传送两种状态——0和1，那么一根线相当于表示两种含义，32(64)根线相当于可以传输2^32(2^64)种状态。这些都是非常庞大的数量，这些称为地址总线

3.指针变量和地址

3.1取地址操作符&

在C语言中创建变量其实就是向内存申请空间

程序第一步：创建一个变量a，并赋值为10

第二步：在内存上申请4个字节的空间，并存放10

打印结果(64位)

32位

(不难看出，32位环境的地址更短更简单，当我们用于查找等简单的情况时，我们可以使用32位环境)

地址都是以16进制的形式输出

如果我们存入的是一个大于一个字节的数呢

随我观察 

44、33、22、11各占一个字节

我们会发现

我们打印的是四个字节的第一个字节

也就是，&a取出的是a所占字节中地址较小的字节的地址

这样如果我们想要观察其它地址，我们可以顺腾摸瓜找到后面的地址

(这样设定有C语言它的道理（doge）)

3.2指针变量

我们通过 取地址操作符 & 拿到的是一个地址，如果我们把这个地址存储起来为了方面后期使用，那我们可以把它存放在  指针变量 中

如何理解指针变量呢？

我们首先需要知道

这三种都是对的，*  在哪都可以

接着我们解释一下，这样表示的含义(图中解释)

如下同理

3.3 指针变量的大小

前⾯的内容我们了解到，32位机器假设有32根地址总线，每根地址线出来的电信号转换成数字信号后 是1或者0，那我们把32根地址线产⽣的2进制序列当做⼀个地址，那么⼀个地址就是32个bit位，需要4 个字节才能存储。

如果指针变量是用来存放地址的，那么指针变的大小就得是4个字节的空间才可以。

同理64位机器，假设有64根地址线，⼀个地址就是64个⼆进制位组成的⼆进制序列，存储起来就需要 8个字节的空间，指针变的大小就是8个字节。

指针变量的大小取决于地址的大小

32位——32个bit位(4个字节)

64位——64个bit位(8个字节)

注意：指针变量的大小跟类型是无关的，只要是指针的变量，在相同平台下，大小都是相同的

4.指针的解引用

4.1  解引用操作符 *

我们把地址存起来，未来该如何使用呢？

外卖员在手机上收到了我们的家庭住址，通过家庭住址找到我们。

同样的，我们得到了数据的地址(指针)，那我们通过地址(指针)可以找到它们

这里，我们学习       解引用操作符     *

这样虽然没有直接给a赋值为0方便，但可以对代码的操作增加灵活性，后期慢慢就理解了

4.2  解引用深入理解

在内存方面，解引用对于不同类型的指针变量有着不同的规则

例如

我们进一步调试会发现，第一张代码 a的4个字节全部改为0，而第二张代码只是将第一个字节改为0

所以，指针类型决定了对指针解引用 的时候有多大权限(一次能操作几个字节)

5.指针+-整数

观察以下代码和结果

我们可以看出，char*  类型的指针变量+1跳过一个字节，而int*   类型的指针变量+1跳过了4个字节。

这就是指针类型差异带来的变化。

结论：指针的类型决定了指针向前或者向后走一步有多大（距离）。

6.const 修饰指针

6.1 const修饰变量

我们都知道，变量是可以修改的，如果把变量地址交给一个指针变量，通过指针变量也可以修改这个变量。

但是如果我们希望这个变量不被修改，这时候const 的作用就体现出来了

我们把n变量进行 const修饰后，在语法上加了限制，所以我们对n进行修改，就不符合语法规则，就会报错。

但，其实我们通过n的地址来修改n就能做到了

实际上，这种行为打破了语法规则，不建议用

6.2 const修饰指针变量

所以说，要想真真正正的让变量n不再能被修改

我们要对它被操作的指针变量进行限制

void test1()
{
	int n = 10;
	int m = 20;
	int* p = &n;
	*p = 20;//ok?
	p = &m; //ok?
}
void test2()
{
	//代码2
	int n = 10;
	int m = 20;
	const int* p = &n;
	*p = 20;//ok?
	p = &m; //ok?
}
void test3()
{
	int n = 10;
	int m = 20;
	int* const p = &n;
	*p = 20; //ok?
	p = &m;
}
void test4()
{
	int n = 10;
	int m = 20;
	int const* const p = &n;
	*p = 20; //ok?
	p = &m; //ok?
}
int main()
{
	//测试⽆const修饰的情况
	test1();
	//测试const放在*的左边情况
	test2();
	//测试const放在*的右边情况
	test3();
	//测试*的左右两边都有const
	test4();
	return 0;
}

其实，对于VS来讲，当我们打下这些代码时，错误已经报出来了

结论：(需要掌握)

1.    const如果放在*的左边，修饰的是指针指向的内容，保证指针指向的内容不能通过指针来改变。 但是指针变量本⾝的内容可变。

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

7.指针运算

指针的基本运算有三种
指针+-整数

指针-指针

指针的关系运算（指针之间比大小）

7.1 指针+-整数

其实简单来讲，在C语言语法中，以数组为例

如果指针+-1，那就是相当于数组元素+-1

7.2 指针-指针

同样，拿数组为例

指针-指针 的 绝对值 是 指针-指针 之间的 元素个数

注意：

指针-指针运算的前提条件是：两个指针指向的是同一块空间

7.3指针的关系运算

这些东西需要知道，虽然有更简单的方法打印，这里只当演示作用

7.4 其实，更简单的来讲

对于 指针-指针、指针+-整数，怎么可以这样类比

指针-指针=整数

指针+-整数=指针(地址)

就像

日期-日期=中间的天数

日期+-天数=日期

8.野指针

概念：野指针就是指针指向的位置是不可知的（随机的、不正确的、没有限制的）

8.1野指针成因

1.指针未初始化

具体如下

2.指针越界访问

3.指针指向的空间被释放

观察以上代码

听着这一类型很神奇

其实就是n变量创建的临时变量，在函数调用时会被摧毁，p指向的空间随之被摧毁

8.2 如何规避野指针 

其实如何避免很简单嘛：对症下药。

就像平常学习一样，英语单词不会，那就背，高数不会，那就练，大丈夫生于天地之间岂能郁郁久居人下

1.指针初始化

如果明确知道指针指向哪⾥就直接赋值地址，如果不知道指针应该指向哪⾥，可以给指针赋值NULL.

NULL 是C语言中定义的⼀个标识符常量，值是0，0也是地址，这个地址是⽆法使⽤的，读写该地址 会报错。

如下

2.小心指针越界

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

3.当指针变量不再使用时，及时置NULL

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

3.避免返回局部变量的地址

第三种造成野指针的例子

9.  assert断言

assert.h 头⽂件定义了宏 assert() ，⽤于在运⾏时确保程序符合指定条件，如果不符合，就报

错终⽌运⾏。这个宏常常被称为“断言”。

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

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

assert() 的使⽤对程序员是非常友好的，使⽤ assert() 有⼏个好处：它不仅能⾃动标识文件和 出问题的行号，还有⼀种⽆需更改代码就能开启或关闭 assert() 的机制。

如果已经确认程序没有问 题，不需要再做断言，就在 #include <assert.h> 语句的前⾯，定义⼀个宏 NDEBUG 。

然后，重新编译程序，编译器就会禁⽤⽂件中所有的 assert() 语句。如果程序⼜出现问题，可以移 除这条 #define NDBUG 指令（或者把它注释掉），再次编译，这样就重新启⽤了 assert() 语句

assert() 的缺点是，因为引⼊了额外的检查，增加了程序的运⾏时间。

⼀般我们可以在 Debug 中使⽤，在 Release 版本中选择禁用  assert 就行，在 VS 这样的集成开 发环境中，在 Release 版本中，直接就是优化掉了。这样在debug版本写有利于程序员排查问题， 在 Release 版本不影响用户使用时程序的效率。

10.传值调用和传址调用

怎么理解这两个呢？

顾名思义，一个是传递值，一个是传递传递地址

例如：写一个函数，交换两个整数变量的值

我们可能会写出这样的代码

然后就会发现，咦？怎么没有效果呢

当我们测试一下

怎么回事呢？

其实

我们发现在main函数内部，创建了a和b，a的地址是0x006ffa80，b的地址是0x006ffa74，在调⽤ Swap1函数时，将a和b传递给了Swap1函数，在Swap1函数内部创建了形参x和y接收a和b的值

但是

x的地址是0x006ff99c，y的地址是0x006ff9a0，x和y确实接收到了a和b的值，

不过x的地址和a的地址不 ⼀样，y 的地址和 b 的地址不⼀样，相当于x和y是独立的空间，那么在Swap1函数内部交换x和y的值， ⾃然不会影响a和b，当Swap1函数调用结束后回到main函数，a和b的没法交换。Swap1函数在使用的时候，是把变量本⾝直接传递给了函数，这种调⽤函数的⽅式我们之前在函数的时候就知道了，这 种叫传值调用。

总的来说：

实参传递给形参的时候，形参会单独创建⼀份临时空间来接收实参，对形参的修改不影响实

参。

所以Swap是失败的了。

那应该怎么办呢？

我们现在要解决的就是当调⽤Swap函数的时候，Swap函数内部操作的就是main函数中的a和b，直接 将a和b的值交换了。那么就可以使⽤指针了，在main函数中将a和b的地址传递给Swap函数，Swap 函数⾥边通过地址间接的操作main函数中的a和b，并达到交换的效果就好了。

这种函数调用方式： 传址调用

传址调用，可以让函数和主调函数之间建⽴真正的联系，在函数内部可以修改主调函数中的变量；

所以未来函数中只是需要主调函数中的变量值来实现计算，就可以采用传值调用。如果函数内部要修改 主调函数中的变量的值，就需要传址调用。

总结：指针这块希望大家认真学习哦！ 

             指针(1)完

作者留言：本人初学者，也在慢慢学习，如有错误和不恰当的地方，欢迎指出！

                                                                                   创作时间：2024.1.2