C语言指针（3）

目录

1. 字符指针变量

2. 数组指针变量

2.1数组指针变量是什么？

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

3. 二维数组传参的本质

4.函数指针变量

4.1 函数指针变量的创建

4.2函数指针变量的使用

4.3两段有趣的代码

4.3.1 typedef关键字

5. 函数指针数组

---

1. 字符指针变量

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

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

还有⼀种使用方式如下：

int main()
{
    const char* pstr = "hello qingtian";//这⾥是把⼀个字符串的首地址放到pstr指针变量
                        //常量字符串
                        //不能改变
    printf("%s\n", pstr);
    return 0;
}

//上面的形式类似这种
char arr[]="hello qingtian";
char *pstr=arr;//把arr的地址放到pstr

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

注：const 

这里的字符串是常量字符串，是无法被修改的，所以使用const修饰，防止对字符串进行修改

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

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

#include <stdio.h>
int main()
{
	char str1[] = "hello qingtian";
	char str2[] = "hello qingtian";
	const char* str3 = "hello qingtian";
	const char* str4 = "hello qingtian";
	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数组指针变量是什么？

首先先举个例子

字符指针变量   char* p   是指向字符数据的指针，存放的是字符的地址

整型指针变量    int*  p    是指向整型数据的指针，存放的是整型的地址

浮点型指针变量 float * pf 指向浮点型数据的指针，存放的是浮点型变量的地址

类比

数组指针变量-------------是指向数组的指针，存放的是数组的地址

数组指针是一种指针变量，是存放数组地址的指针变量

数组指针和指针数组的区别

int *p1[10];//这是指针数组变量     //在C语言指针（1）里面有详解

int (*p2)[10];//这是数组指针变量

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

所以p是⼀个指针，指向⼀个数组，叫数组指针。
这⾥要注意：[ ]的优先级要⾼于*号的，所以必须加上（）来保证p先和*结合。

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

int arr[10] = {0};
&arr;//得到的就是数组的地址


//如果要存放个数组的地址，就得存放在数组指针变量中，如下
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] ，所以第一行的地址的类
型就是数组指针类型 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));
        }
        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;
}

结果

确实打印出来了地址，所以函数是有地址的，函数名就是函数的地址，当然也可以通过 &函数名 的方式获得函数的地址。
如果我们要将函数的地址存放起来，就得创建函数指针变量咯，函数指针变量的写法其实和数组指针
⾮常类似。如下：
 

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

可以看出void和int都是函数的返回值类型，p1，2，3，4是函数指针变量的变量名，后面括号内的是函数的参数类型。

函数指针类型解析：

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

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;
}

结果：

4.3两段有趣的代码

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

1.(*(void (*)())0)();
2.void (*signal(int , void(*)(int)))(int);

第一个

首先看内部的void (*)()，这是一个无参数的，返回值为void类型的函数指针，而void (*)()是该函数指针的类型，所以这里是把0作为地址进行了强制类型转换，将int类型（0）转为了函数指针类型，而外层是对函数指针变量的解引用，外层函数也是无参的。

第二个

看外层是一个函数指针，然后看内层，我们发现内部也有一个函数指针，难道一个函数指针是另一个函数指针的变量名吗？显然不是这样的，其实这里的函数signal有两个参数，一个是int类型的，另一个是函数指针类型，并且signal函数的返回值类型也是函数指针。我们换一种形式来写，应该是这样的：

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

4.3.1 typedef关键字

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 *arr[10];
//数组的每个元素是int*

那要把函数的地址存到⼀个数组中，那这个数组就叫函数指针数组

这样定义：
 

int (*parr1[3])();

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