C语言指针进阶

1. ⼆级指针

指针变量也是变量，是变量就有地址，那指针变量的地址存放在哪⾥？

这就是 ⼆级指针 。

#include <stdio.h>

int main()
{
	int a = 10;
	int* pa = &a;
	int** ppa = &pa;

	return 0;
}

对于⼆级指针的运算有：

• *ppa 通过对ppa中的地址进⾏解引⽤，这样找到的是 pa ， *ppa 其实访问的就是 pa .

int b = 20;
*ppa = &b;//等价于 pa = &b;

• **ppa 先通过 *ppa 找到 pa ,然后对 pa 进⾏解引⽤操作： *pa ，那找到的是 a .

**ppa = 30;
//等价于*pa = 30;
//等价于a = 30;

2. 指针数组

指针数组是指针还是数组？

我们类⽐⼀下，整型数组，是存放整型的数组，字符数组是存放字符的数组。

那指针数组呢？是存放指针的数组。

指针数组的每个元素都是⽤来存放地址（指针）的。

如下图：

3. 指针数组模拟⼆维数组

#include <stdio.h>
int main()
{
	int arr1[] = {1,2,3,4,5};
	int arr2[] = {2,3,4,5,6};
	int arr3[] = {3,4,5,6,7};
	//数组名是数组⾸元素的地址，类型是int*的，就可以存放在arr数组中
	int* arr[3] = { arr1,arr2,arr3 };
	int i = 0;
	for (i = 0; i < 3; i++)
	{
		int j = 0;
		for (j = 0; j < 5; j++)
		{
			printf("%d ", arr+ [j]);
		}
		printf("\n");
	}
}

运行结果如图:

arr[i]是访问parr数组的元素，arr[i]找到的数组元素指向了整型⼀维数组，parr[i][j]就是整型⼀维数组中的元素。上述的代码模拟出⼆维数组的效果，实际上并⾮完全是⼆维数组，因为每⼀⾏并⾮是连续的。

4. 字符指针变量

在指针的类型中我们知道有⼀种指针类型为字符指针 char* ;

⼀般使⽤:

int main()
{
	char ch = 'w';
	char *pc = &ch;
	*pc = 'w';
	return 0;
}

还有⼀种使⽤⽅式如下：

#include <stdio.h>
int main()
{
	const char* pstr = "hello world.";//不是把字符串abcdef\0存放在p中,而是把第一个字符的地址放在p中
	printf("%c\n", *pstr);
	//1. 可以把一个字符串想象成一个字符数组,但是这个数组是不能修改的
	printf("%c\n", "abcdef"[3]);
	printf("%c\n", pstr[3]);
	//2. 当常量字符串出现在表达式中的时候,它的值是第一个字符的地址
	return 0;
}

在内存的只读数据区里存放"hello world.",这是个常量字符串,由于这块区域的数据只能读不能写,所以只需要在内存中存一份,当要使用它的时候，就把这个字符常常量的首地址传出去就好了，因为我们只会使用它，并不会修改它的值。

#include <stdio.h>
int main()
{
 char str1[] = "hello bit.";
 char str2[] = "hello bit.";
 const char *str3 = "hello bit.";
 const char *str4 = "hello bit.";
 if(str1 ==str2)
 printf("str1 and str2 are same\n");
 else
 printf("str1 and str2 are not same\n");
 
 if(str3 ==str4)
 printf("str3 and str4 are same\n");
 else
 printf("str3 and str4 are not same\n");
 
 return 0;
}

运行结果如图:

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

这是一个常量字符串没有可能被别人修改，那这个常量字符串内容永远都是"hello.",当在这里又有一个常量字符串的时候，有没有必要在内存中在创建一个这样的常量字符串呢？从内存的利用率的角度来讲，常量字符串如果内容一样的话，只要保存一份就够了，因为，我们只能拿它内容而不能改它，既然没有不能改它，就没有必要存多份，在内存中存一份，大家都用这一份就好了，所以，如果常量字符串内容相等的话它只会保留一份。

总结：

1. 常量字符串的内容是不能被修改的。
2. 内存中只存在一份，多个字符指针指向相同的字符串，这些指针中存放的地址相同。
3. 将其赋值给字符指针时，是把其首字符的地址赋值给字符指针。

5. 数组指针变量

5.1 数组指针变量是什么？

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

答案是：指针变量。

我们已经熟悉：

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

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

数组指针变量

int (*p)[10];

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

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

2.2 数组指针变量怎么初始化

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

#include <stdio.h>
int main()
{
	int arr[] = { 1,2,3,4,5,6,7,8,9,0 };
	int(*pa)[10] = &arr;
	//int(*)[10]   int(*)[10]
}

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

数组指针类型解析：

int (*p) [10] = &arr;
 |   |    |
 |   |    |
 |   |    p指向数组的元素个数
 |   p是数组指针变量名
 p指向的数组的元素类型

数组指针的使用

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

但这样使用显然不合理

6. ⼆维数组传参的本质

有了数组指针的理解，我们就能够讲⼀下⼆维数组传参的本质了。
过去我们有⼀个⼆维数组的需要传参给⼀个函数的时候，我们是这样写的：

#include <stdio.h>

void Print(int arr[3][5], int row, int col)
{
	int i = 0;
	for (i = 0; i < row; i++)
	{
		int j = 0;
		for (j = 0; j < col; j++)
		{
			printf("%d ", arr[i][j]);
		}
		printf("\n");
	}
}

int main()
{
	int arr[3][5] = { {1,2,3,4,5}, {2,3,4,5,6},{3,4,5,6,7} };
	Print(arr, 3, 5);
	return 0;
}

运行结果如图:

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

⾸先我们再次理解⼀下⼆维数组，⼆维数组起始可以看做是每个元素是⼀维数组的数组，也就是⼆维数组的每个元素是⼀个⼀维数组。那么⼆维数组的⾸元素就是第⼀⾏，是个⼀维数组。

如下图：

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

void Print(int (*arr)[5], int row, int col)
{
	int i = 0;
	for (i = 0; i < row; i++)
	{
		int j = 0;
		for (j = 0; j < col; j++)
		{
			printf("%d ",*(*(arr + i) + j));
		}
		printf("\n");
	}
}

int main()
{
	int arr[3][5] = { {1,2,3,4,5}, {2,3,4,5,6},{3,4,5,6,7} };
	Print(arr, 3, 5);
	return 0;
}

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

4. 函数指针变量

4.1 函数指针变量的创建

什么是函数指针变量呢？

根据前⾯学习整型指针，数组指针的时候，我们的类⽐关系，我们不难得出结论：

函数指针变量应该是⽤来存放函数地址的，未来通过地址能够调⽤函数的。

那么函数是否有地址呢？

我们做个测试：

#include <stdio.h>

void test()
{
	printf("hehe\n");
}

int main()
{
	printf("%p\n", &test);
	printf("%p\n", &test);
}

运行结果如图:

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

总结:

• 数组名 – 数组首元素的地址
• &数组名 – 整个数组的地址
• 函数名 – 函数的地址
• &函数名 – 函数的地址

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

#include <stdio.h>

int Add(int x, int y)
{
	return x + y;
}

int main()
{
	int (*pf)(int, int) = Add;
	int ret = Add(3, 5);
	printf("%d\n", ret);

	int ret2 = (*pf)(4,9);
	printf("%d\n", ret2);
}

运行结果如图:

函数指针类型解析：

int (*pf3) (int x, int y)
 |    |       |
 |    |       |
 |    |       pf3指向函数的参数类型和个数的交代
 |   函数指针变量名
 pf3指向函数的返回类型
int (*) (int x, int y) //pf3函数指针变量的类型

4.3 两段有趣的代码

代码1

( * ( void (*)() ) 0 )();

1. void (*)()是函数指针类型，( void (*)() )是强制类型转换，意思是是把0强制类型转换成函数的地址，这个函数没有参数，返回类型是void
2. 去调用0地址处的函数

所以，上面的代码时一次函数调用

代码2

void (* signal( int , void(*)(int) ) )(int);

1. signal是一个函数
2. signal函数的参数有两个，第一个是int类型
3. 第二个是函数指针类型，该指针指向的函数参数是int，返回类型是void
4. signal函数的返回类型是这种类型的void(*)(int)函数指针
5. 该指针指向的函数参数是int，返回类型是void

所以，上面的代码是函数的声明

4.3.1 typedef关键字
typedef 是⽤来类型重命名的，可以将复杂的类型，简单化。

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

#include <stdio.h>

typedef unsigned int uint;

int main()
{
	uint num = 0;
}

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

typedef int* ptr_t;

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

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

typedef int(*parr_t)[5]; //新的类型名必须在*的右边

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

typedef void(*pfun_t)(int);//新的类型名必须在*的右边

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

typedef void(*pfun_t)(int);
pfun_t signal(int, pfun_t);

5. 函数指针数组

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

⽐如：

int *arr[10];//整形指针数组
//数组的每个元素是int*
int *arr[10]//字符指针数组

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

int (*parr1[3])();
int *parr2[3]();
int (*)() parr3[3];

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

代码举例:

#include <stdio.h>

int Add(int x, int y)
{
	return x + y;
}

int Sub(int x, int y)
{
	return x - y;
}

int Mul(int x, int y)
{
	return x * y;
}

int Div(int x, int y)
{
	return x / y;
}

int main()
{
	int (*pf[])(int, int) = { Add,Sub,Mul,Div };//存放函数指针的数组 - 函数指针数组

	int i = 0;
	for (i = 0; i < 4; i++)
	{
		int ret = pf[i](6, 2);
		printf("%d ", ret);
	}
}

运行结果如图:

画图演示: