深入理解指针

一、回顾基本知识

（一）性质

（1）指针变量是用来存放地址的，地址唯一标识一块内存空间

内存编号 = 地址 = 指针

（2）指针大小固定是 4 / 8 个字节（32位平台 / 64位平台）
（3）指针是有类型的，指针的类型决定了 指针 + - 整数 的步长、指针解引用操作时的权限

（二）形参

（1）一维数组传参形参写法

方法	写法
数组	void test ( int arr [ ] ) / void test ( int* arr [ ] )
指针	void test ( int* p) / void test ( int** p )

（1）二维数组传参形参写法

方法	写法
数组	void test ( int arr [ ][ 5 ] )
指针数组	void test ( int ( *p )[ 5 ] )

（三）传参

类型	可接受的传参
void test ( int* ptr )	test( arr1 / &a / p )
void test ( char** ppc )	test( arr2 / &pc / ppc )
void test1( int( *p )[ 3 ][ 5 ] )	test1( &arr3 )
void test2( int( *p )[ 5 ] )	test2( arr3 )

PS：arr3为二维数组，test1 传的是整个二维数组的地址，test2 传的只是第一行的地址

---

二、字符指针变量

在指针的类型中我们知道有一种指针类型为字符指针 char*
一般使用：

还有⼀种使用方式如下：

代码 const char* pstr = “hello bit.”; 特别容易让同学以为是把字符串 hello bit 放到字符指针 pstr 里了，但是本质是把字符串 hello bit. 首字符的地址放到了pstr中。

上面代码的意思是把⼀个常量字符串的首字符 h 的地址存放到指针变量 pstr 中。

《剑指offer》中收录了一道和字符串相关的笔试题，我们一起来学习一下：


这里str3和str4指向的是⼀个同⼀个常量字符串。C/C++会把常量字符串存储到单独的一个内存区域，当几个指针指向同⼀个字符串的时候，他们实际会指向同一块内存。但是用相同的常量字符串去初始化不同的数组的时候就会开辟出不同的内存块。所以str1和str2不同，str3和str4相同。

---

三、数组指针变量

（一） 数组指针变量是什么

之前我们学习了指针数组，指针数组是⼀种数组，数组中存放的是地址（指针）。
数组指针变量是指针变量？还是数组？

答案是：指针变量。

我们已经熟悉：
• 整形指针变量： int* pint; 存放的是整形变量的地址，能够指向整形数据的指针。
• 浮点型指针变量： float* pf; 存放浮点型变量的地址，能够指向浮点型数据的指针。

那数组指针变量应该是：存放的应该是数组的地址，能够指向数组的指针变量。

下面代码哪个是数组指针变量？

思考一下：p1, p2分别是什么？

数组指针变量

解释：p 先和 * 结合，说明 p 是一个指针变量，然后指向的是⼀个大小为10个整型的数组。所以 p 是一个指针，指向一个数组，叫 数组指针。

这里要注意：[ ]的优先级要高于 * 号的，所以必须加上（）来保证p先和*结合。

（二）数组指针变量怎么初始化

数组指针变量是用来存放数组地址的，那怎么获得数组的地址呢？就是我们之前学习的 &数组名

如果要存放数组的地址，就得存放在数组指针变量中，如下：

我们调试也能看到 &arr 和 p 的类型是完全⼀致的。

数组指针类型解析：

（三）二维数组传参的本质

有了数组指针的理解，我们就能够讲⼀下二维数组传参的本质了。

过去我们有⼀个二维数组的需要传参给⼀个函数的时候，我们是这样写的：

这里的实参是二维数组，形参也写成二维数组的形式，那还有什么其他的写法吗？

首先我们再次理解一下⼆维数组，二维数组起始可以看做是每个元素是⼀维数组的数组，也就是二维数组的每个元素是一个一维数组。那么二维数组的首元素就是第一行，是个一维数组。
如下图：

所以，根据数组名是数组首元素的地址这个规则，二维数组的数组名表示的就是第一行的地址，是一维数组的地址。根据上面的例子，第一行的一维数组的类型就是 int [5] ，所以第一行的地址的类型就是数组指针类型 int(*)[5] 。那就意味着二维数组传参本质上也是传递了地址，传递的是第一行这个一维数组的地址，那么形参也是可以写成指针形式的。如下：

总结：二维数组传参，形参的部分可以写成数组，也可以写成指针形式。

---

四、函数指针变量

（一）函数指针变量的创建

什么是函数指针变量呢？
根据前面学习整型指针，数组指针的时候，我们的类比关系，我们不难得出结论：函数指针变量应该是用来存放函数地址的，未来通过地址能够调用函数的。
那么函数是否有地址呢？

我们做个测试：

输出结果如下：

确实打印出来了地址，所以函数是有地址的，函数名就是函数的地址，当然也可以通过 &函数名 的方式获得函数的地址。

如果我们要将函数的地址存放起来，就得创建函数指针变量咯，函数指针变量的写法其实和数组指针非常类似。如下：

函数指针类型解析：

（二）函数指针变量的使用

通过函数指针 调用 指针指向的函数

（三）两段有趣的代码

两段代码均出自：《C陷阱和缺陷》这本书

理解：
代码1：
Step1：把 0 强制类型转换为函数指针类型，这意味着 0 地址处放一个返回类型是 void 、无参的函数
Step2：调用 0 地址处的这个函数
代码2：
调用 以 int 、void ( * ) (int) 为参数，以 void ( * ) (int) 为返回值的 signal 函数

（四）typedef关键字

typedef 是用来类型重命名的，可以将复杂的类型，简单化。

比如，你觉得 unsigned int 写起来不方便，如果能写成 uint 就方便多了，那么我们可以使用：

如果是指针类型，能否重命名呢？其实也是可以的，比如，将 int* 重命名为 ptr_t ,这样写：

但是对于数组指针和函数指针稍微有点区别：

比如我们有数组指针类型 int()[5] ,需要重命名为 parr_t ，那可以这样写：

函数指针类型的重命名也是⼀样的，比如，将 void()(int) 类型重命名为 pf_t ,就可以这样写：

那么要简化代码2，可以这样写：

---

五、函数指针数组

（一）函数指针数组的创建

数组是一个存放相同类型数据的存储空间，我们已经学习了指针数组，比如：

那要把函数的地址存到一个数组中，那这个数组就叫函数指针数组，那函数指针的数组如何定义呢？

答案是：parr1
**parr1 先和 [ ] 结合，说明 parr1是数组，数组的内容是什么呢？ 是 int (*)() 类型的函数指针。

（二）应用：移位表

法1：计算器的一般实现：

#include <stdio.h>
int add(int a, int b)
{
	return a + b;
}
int sub(int a, int b)
{
	return a - b;
}
int mul(int a, int b)
{
	return a * b;
}
int div(int a, int b)
{
	return a / b;
}
int main()
{
	int x, y;
	int input = 1;
	int ret = 0;
	do
	{
		printf("*************************\n");
		printf(" 1:add 2:sub \n");
		printf(" 3:mul 4:div \n");
		printf(" 0:exit \n");
		printf("*************************\n");
		printf("请选择：");
		scanf("%d", &input);
		switch (input)
		{
		case 1:
			printf("输⼊操作数：");
			scanf("%d %d", &x, &y);
			ret = add(x, y);
			printf("ret = %d\n", ret);
			break;
		case 2:
			printf("输⼊操作数：");
			scanf("%d %d", &x, &y);
			ret = sub(x, y);
			printf("ret = %d\n", ret);
			break;
		case 3:
			printf("输⼊操作数：");
			scanf("%d %d", &x, &y);
			ret = mul(x, y);
			printf("ret = %d\n", ret);
			break;
		case 4:
			printf("输⼊操作数：");
			scanf("%d %d", &x, &y);
			ret = div(x, y);
			printf("ret = %d\n", ret);
			break;
		case 0:
			printf("退出程序\n");
			break;
		default:
			printf("选择错误\n");
			break;
		}
	} while (input);
	return 0;
}

法2：使用函数指针数组的实现：

#include <stdio.h>
int add(int a, int b)
{
	return a + b;
}
int sub(int a, int b)
{
	return a - b;
}
int mul(int a, int b)
{
	return a * b;
}
int div(int a, int b)
{
	return a / b;
}
int main()
{
	int x, y;
	int input = 1;
	int ret = 0;
	int(*p[5])(int x, int y) = { 0, add, sub, mul, div }; //转移表
	do
	{
		printf("*************************\n");
		printf(" 1:add 2:sub \n");
		printf(" 3:mul 4:div \n");
		printf(" 0:exit \n");
		printf("*************************\n");
		printf("请选择：");
		scanf("%d", &input);
		if ((input <= 4 && input >= 1))
		{
			printf("输⼊操作数：");
			scanf("%d %d", &x, &y);
			ret = (*p[input])(x, y);
			//或者 ret = p[input](x, y);
			printf("ret = %d\n", ret);
		}
		else if (input == 0)
		{
			printf("退出计算器\n");
		}
		else
		{
			printf("输⼊有误\n");
		}
	} while (input);
	return 0;
}

法3：使用回调函数的实现：

回调函数就是一个通过函数指针调用的函数。
如果你把函数的指针（地址）作为参数传递给另一个函数，当这个指针被用来调用其所指向的函数时，被调用的函数就是回调函数。回调函数不是由该函数的实现方直接调用，而是在特定的事件或条件发生时由另外的一方调用的，用于对该事件或条件进行响应。

法1中有些代码是重复出现的，其中虽然执行计算的逻辑是区别的，但是输入输出操作是冗余的，有没有办法，简化⼀些呢？
它们只有调用函数的逻辑是有差异的，我们可以把调用的函数的地址以参数的形式传递过去，使用函数指针接收，函数指针指向什么函数就调用什么函数，这里其实使用的就是回调函数的功能。

#include <stdio.h>
int add(int a, int b)
{
	return a + b;
}
int sub(int a, int b)
{
	return a - b;
}
int mul(int a, int b)
{
	return a * b;
}
int div(int a, int b)
{
	return a / b;
}
void calc(int(*pf)(int, int))
{
	int ret = 0;
	int x, y;
	printf("输⼊操作数：");
	scanf("%d %d", &x, &y);
	ret = pf(x, y);
	printf("ret = %d\n", ret);
}
int main()
{
	int input = 1;
	do
	{
		printf("*************************\n");
		printf(" 1:add 2:sub \n");
		printf(" 3:mul 4:div \n");
		printf(" 0:exit \n");
		printf("*************************\n");
		scanf("%d", &input);
		switch (input)
		{
		case 1:
			calc(add);
			break;
		case 2:
			calc(sub);
			break;
		case 3:
			calc(mul);
			break;
		case 4:
			calc(div);
			break;
		case 0:
			printf("退出程序\n");
			break;
		default:
			printf("选择错误\n");
			break;
		}
	} while (input);
	return 0;
}

---

完