深入理解指针3

hello，各位小伙伴，本篇文章跟大家一起继续深入学习指针，感谢大家对我上一篇的支持，如有什么问题，还请多多指教 

如果本篇文章对你有帮助，还请各位点点赞！！！

 话不多说，进入正题

1. 字符指针变量

 一般，我们有这两种方式来创建字符指针，但是我们看到代码2中的字符指针用 const 修饰了，也就是*pstr不能改变，也就是字符串不能修改。因为代码2中字符指针存储的是常量字符串，常量字符串是不能修改的。

这里有一个要注意的点：在代码2中，字符串指针pstr存的不是整个字符串，而是字符串首字符的地址。看图解:

所以，pstr存的是h的地址

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

#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相同。

2. 数组指针变量 

2.1 数组指针变量是什么？

首先我们要搞明白的是：数组指针变量是指针变量。举个例子：红色苹果是苹果，因为红色是形容词；所以数组指针变量中的数组就是形容词，用来修饰指针变量。

我们学过整型指针变量、还有刚那个字符指针变量：

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

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

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

 我们来猜猜哪一个是数组指针变量

int *p1[10];
int (*p2)[10];

答案是：p2

首先，[ ]的优先级比 * 更高，所以[ ]会优先与p1结合，也就是p1是一个数组，存放的是int *元素（也就存放的是：整型指针），所以p1为指针数组

那么p2有（）括着*p2，也就是p2是一个指针，指向后面的[10]（也就是指向数组，大小为10个整型的数组），而前面的int则是表示数组里存的元素为整型，所以p2为数组指针变量

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

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

知道数组指针变量存的是数组的地址，那怎么存呢？ 

在深入理解指针2有讲过：&数组名

int arr[10] = {0};
&arr;//取得arr的地址

那么同样的，指针指向数组：

int arr[10] = {0};
int (*p)[10] = &arr;

可以看到&arr和p的类型是完全一样的

数组指针类型解析：

int     (*p)        [10] = &arr;

|           |             |

|           |             |

|           |           p指向数组的元素个数

|           p是数组指针变量名

p指向的数组的元素类型

3. ⼆维数组传参的本质

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

#include <stdio.h>
void test(int a[3][5], int r, int c)
{
 int i = 0;
 int j = 0;
for(i=0; i<r; i++)
 {
 for(j=0; j<c; j++)
 {
 printf("%d ", a[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}};
 test(arr, 3, 5);
 return 0;
}

 我们知道二维数组就是一维数组里存放的是一维数组，那么一维数组的传参我们是学过的呀：

就是把数组的首元素地址传过去，那么二维数组首元素不就是一维数组了吗，那就意味着⼆维数组传参本质上也是传递了地址，传递的是第一个一维数组的地址，一维数组的地址类型：就是数组指针类型----int(*)[5] ，那么形参也是可以写成指针形式的 

#include <stdio.h>
void test(int (*p)[5], int r, int c)
{
 int i = 0;
int j = 0;
 for(i=0; i<r; i++)
 {
 for(j=0; j<c; j++)
 {
 printf("%d ", *(*(p+i)+j));// *(p+i) :就是二维数组里的元素---一维数组
 }                          // *(*(p+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}};
 test(arr, 3, 5);
 return 0;
}

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

不过写成数组形式更容易让人理解罢了

4. 函数指针变量 

4.1 函数指针变量的创建

是不是和数组指针变量名字上有点相似，对的，函数指针变量也是指针，存放的当然是函数啦

为了方便后面的理解，我们下来看一段代码：

#include <stdio.h>
void test()
{
 printf("hehe\n");
}
int main()
{
 printf("test: %p\n", test);
 printf("&test: %p\n", &test);
 return 0;
}

结果如下：

嗯？！&test和test在printf里打印地址的效果竟然一样，这种操作是不是似曾相识，没错，我们的数组也是一样的，等等！函数竟然也有地址，对，函数也有地址，函数名就是函数的地址

那我们把函数的地址存起来，不就是创建了函数指针变量了嘛，函数指针变量的写法其实和数组指针非常类似，看：

void test()
{
 printf("hehe\n");
}
void (*pf1)() = &test;
void (*pf2)()= test;//都表示test函数的地址
int Add(int x, int y)
{
 return x+y;
}
int(*pf3)(int, int) = Add;
int(*pf3)(int x, int y) = &Add;//x和y写上或者省略都是可以的

我们来分析一下这个指针类型的写法：

int (*pf3) (int x, int y)

*：表示pf3是一个指针

pf3：表示指针的变量名

*pf3后面跟着的 ( ) ：表示指针指向一个函数

该 ( ) 里面的int x，int y：表示这个函数所需传参的类型以及传参的个数

int：表示这个函数的返回类型为整型（int）

4.2 函数指针变量的使用

  既然我都存下了函数的地址，那我肯定是要用的，所以通过函数指针调用指针指向的函数。     

#include <stdio.h>
int Add(int x, int y)
{
 return x+y;
}
int main()
{
 int(*pf3)(int, int) = Add;

 printf("%d\n", (*pf3)(2, 3));
 printf("%d\n", pf3(3, 5));
 return 0;
}

发现pf3指针不需要解引用也可以调用函数

得出结论：pf3和test是一样的

我们来看看有趣的代码

代码1

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

 void (*)()：就是一个函数指针类型

(void (*)())0：就是将0强制转换为该函数指针类型

*(void (*)())0：就是将0解引用，也就是函数的名字

(*(void (*)())0)()：就是一个函数

代码2

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

这是一个函数声明，用于声明一个名为`signal`的函数，该函数接受两个参数：一个整数类型的参数和一个指向函数的指针，该函数的参数是整数类型且返回值为空。

函数`signal`的返回值是一个指向函数的指针，该函数有一个整数类型的参数和返回值为空。

通常，该函数用于注册信号处理程序，以处理在程序运行过程中接收到的各种信号。它允许用户指定对特定信号的处理方式，当接收到相应的信号时，调用相应的函数来处理。

请注意，这只是一个函数声明，并没有给出具体的函数实现。在使用`signal`函数之前，需要进行函数定义并提供相应的信号处理程序来实现具体的功能。

4.3.1 typedef关键字 

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

typedef unsigned int uint;

//将unsigned int 重命名为uint 

如果是指针类型，能否重命名呢？其实也是可以的，⽐如，将 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);//新的类型名必须在*的右边

那么修改名字后，代码可以这样写：

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

5. 函数指针数组

想必小伙伴们都知道函数指针数组是一个数组，用来存放函数指针变量的

我们来猜猜哪一个是函数指针数组：

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

 答案是：parr1

parr1[3]：表示函数指针数组是一个数组

parr1[3]前的 * ：表示该数组存的是函数指针（也就是指针嘛）

(*parr1[3])后面的( )：表示该指针指向函数，当然啦，( ) 里面的参数就和函数指针里的意思一样

前面的int ：表示该函数的返回类型

总的来说：该数组的内容是int (*)() 类型的函数指针

好啦，本篇文章对于指针就讲到这里，如果有什么问题，还请指教指教，希望本篇文章能够对你有所帮助，我们下一篇见！！！ 

如你喜欢，点点赞就是对我的支持，感谢感谢！！！