C语言核中核——指针（3）

1. 字符指针变量

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

⼀般使⽤:

还有⼀种使⽤⽅式如下：

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

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

我们可以把这个字符串想象成字符数组，如

我们可以通过《剑指offer》中收录了⼀道和字符串相关的笔试题来理解。

接下来我们来理解一下这个代码。首先str1和str2是两个数组名，代表的是两个数组首元素的地址，我们很容易知道这两个数组地址一定是不一样的，所以首元素地址更不可能相同，所以第一个if else语句执行了else。

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

所以str1和str2不同，str3和str4相同。

2. 数组指针变量

2.1 数组指针变量是什么？

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

答案是：指针变量。

我们已经熟悉：

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

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

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

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

显然，p1是指针数组，p2才是数组指针变量。为什么两者差了一个括号就导致如此大的区别呢。

解释：p先和*结合，说明p是⼀个指针变量变量，然后指着指向的是⼀个⼤⼩为10个整型的数组。所以 p是⼀个指针，指向⼀个数组，叫 数组指针。 这⾥要注意：[]的优先级要⾼于*号的，所以必须加上（）来保证p先和*结合。

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

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

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

通过调试我们也可以看见&arr和*p是同一个类型。

数组指针类型解析：int *p[10]     int是指向数组的类型，p是指针数组名，10是指向数组的元素个数。

3. ⼆维数组传参的本质

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

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

这⾥实参是⼆维数组，形参也写成⼆维数组的形式，那还有什么其他的写法吗？ ⾸先我们再次理解⼀下⼆维数组，⼆维数组起始可以看做是每个元素是⼀维数组的数组，也就是⼆维 数组的每个元素是⼀个⼀维数组。那么⼆维数组的⾸元素就是第⼀⾏，是个⼀维数组。

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

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

4. 函数指针变量

4.1 函数指针变量的创建

什么是函数指针变量呢？

根据前⾯学习整型指针，数组指针的时候，我们的类⽐关系，我们不难得出结论： 函数指针变量应该是⽤来存放函数地址的，未来通过地址能够调⽤函数的。

那么函数是否有地址呢？ 我们做个测试：

从上面的代码我们可以看出函数也是有它的地址。函数名就是函数的地址，当然也可以通过 &函数名的⽅式获得函数的地址。

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

如果函数中有参数的话，写不写名字无所谓，写上类型即可。

4.2 函数指针变量的使⽤

通过函数指针调⽤指针指向的函数。

4.3 对两段代码的深入解析

代码1

（* （void （*）（) ）    0）（） 首先void（*）（）是指针类型，而类似（int）2.5即强制类型转换，这里是将0强制类型转换， *（）解引用，括号里面就是地址。最后那个括号则是传参。

综上，这是一次函数调用，把0强制类型转换成函数地址，这个函数没有参数，返回值的类型是void，然后调用0地址处的函数。

代码2

signal是函数名字。参数一个是int类型，一个是函数指针类型，我们将signal后面的参数都去掉，得到void *（int），这是函数指针类型，说明signal这个函数返回类型是函数指针类型。

4.3.1 typedef关键字

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

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

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

但是对于数组指针和函数指针稍微有点区别： ⽐如我们有数组指针类型 int(*)[5] ,需要重命名为 parr_t ，那可以这样写：

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

5. 函数指针数组

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

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

哪一个是函数指针数组呢？

答案是：parr1

parr1 先和 [] 结合，说明 parr1是数组，数组的内容是什么呢？

是 int (*)() 类型的函数指针。

6. 转移表

函数指针数组的⽤途：转移表

举例：计算器的⼀般实现：

我们有了函数指针数组的概念，那我们就可以这么写：

将加法 减法 乘法 除法放入一个函数指针数组中，通过数组选择运算方式。