其他分享
首页 > 其他分享> > C基础之函数指针、二重指针

C基础之函数指针、二重指针

作者:互联网

函数指针、二重指针

1.指针数组与数组指针
1.1、字面意思来理解指针数组与数组指针
(1)指针数组的实质是一个数组,这个数组中存储的内容全部是指针变量。
(2)数组指针的实质是一个指针,这个指针指向的是一个数组。
1.2、分析指针数组与数组指针的表达式
(1)int *p[5]; int (*p)[5]; int (p[5]);
(2)我们在定义一个符号时,关键在于:首先要搞清楚你定义的符号是谁(第一步:找核心);其次再来看谁跟核心最近、谁跟核心结合(第二步:找结合);以后继续向外扩展。
(3)如果核心和
结合,表示核心是指针;如果核心和[]结合,表示核心是数组;如果核心和()结合,表示核心是函数。

2.函数指针与typedef
2.1、函数指针的实质(还是指针变量)
(1)函数指针的实质还是指针,还是指针变量。本身占4字节(在32位系统中)
(2)函数的实质是一段代码,这一段代码在内存中是连续分布的(一个函数的大括号括起来的所有语句将来编译出来生成的可执行程序是连续的),所以对于函数来说很关键的就是函数中的第一句代码的地址,这个地址就是所谓的函数地址,在C语言中用函数名表示。
(3)结合函数的实质,函数指针其实就是一个普通变量,这个普通变量的类型是函数指针变量类型,它的值就是某个函数的地址(也就是它的函数名这个符号在编译器中对应的值)
2.2、函数指针的书写和分析方法
(1)C语言本身是强类型语言(每一个变量都有自己的变量类型),编译器可以帮我们做严格的类型检查。
(2)所有的指针变量类型其实本质都是一样的,但是为什么在C语言中要去区分它们?
int a[5];
int (*p)[5]=&a; //数组指针所指向的变量类型一定要和数组一样,元素个数也要一样
(3)假设有个函数是:void func(void); 对应的函数指针:void (p)(void); 类型是:void ()(void);
(4)函数名和数组名最大的区别就是:函数名做右值时加不加&效果和意义都是一样的。
(5)写一个复杂的函数指针的实例:譬如函数是strcpy函数(char *strcpy(char *dest, const char *src);),对应的函数指针是:char *(*pFunc)(char *dest, const char src);
2.3、typedef关键字的用法
(1)typedef是C语言中一个关键字,作用是用来定义(或者叫重命名类型)
(2)C语言中的类型一共有2种:一种是编译器定义的原生类型(基础数据类型,如int、double之类的);第二种是用户自定义类型,不是语言自带的是程序员自己定义的(譬如数组类型、结构体类型、函数类型·····)。
(3)我们今天讲的数组指针、指针数组、函数指针等都属于用户自定义类型。
(4)有时候自定义类型太长了,用起来不方便,所以用typedef给它重命名一个短点的名字。
(5)注意:typedef是给类型重命名,也就是说typedef加工出来的都是类型,而不是变量。
typedef char
(*pType)(char *, const char );
// 函数指针数组
typedef char
(*pType[5])(char , const char );
// 函数指针数组指针
typedef char
(
(*pType)[5])(char *, const char *);

5.再论typedef
5.1、C语言的2种类型:内建类型与用户自定义类型
(1)内建类型ADT、自定义类型UDT
5.2、typedef定义(或者叫重命名)类型而不是变量
(1)类型是一个数据模板,变量是一个实在的数据。类型是不占内存的,而变量是占内存的。
(2)面向对象的语言中:类型就是类class,变量就是对象。
5.3、typedef与#define宏的区别
typedef char *pChar;
#define pChar char *
5.4、typedef与结构体
(1)结构体在使用时都是先定义结构体类型,再用结构体类型去定义变量。
(2)C语言语法规定,结构体类型使用时必须是struct 结构体类型名 结构体变量名;这样的方式来定义变量。
(3)使用typedef一次定义2个类型,分别是结构体变量类型,和结构体变量指针类型。

typedef struct teacher
{
	char name[20];
	int age;
	int mager;
}teacher, *pTeacher;
main()
{
teacher t1;
	t1.age = 23;
	pTeacher p1 = &t1;
	printf("teacher age = %d.\n", p1->age);
}

5.5、typedef与const
(1)typedef int *PINT; const PINT p2; 相当于是int *const p2;
(2)typedef int *PINT; PINT const p2; 相当于是int *const p2;
(3)如果确实想得到const int p;这种效果,只能typedef const int CPINT; CPINT p1;
5.6、使用typedef的重要意义(2个:简化类型、创造平台无关类型)
(1)简化类型的描述。
char ()(char *, char *); typedef char *(*pFunc)(char *, char *);
(2)很多编程体系下,人们倾向于不使用int、double等C语言内建类型,因为这些类型本身
和平台是相关的**(譬如int在16位机器上是16位的,在32位机器上就是32位的)。为了解决这个问题,很多程序使用自定义的中间类型来做缓冲。譬如linux内核中大量使用了这种技术.
内核中先定义:typedef int size_t; 然后在特定的编码需要下用size_t来替代int(譬如可能还有typedef int len_t)
(3)STM32的库中全部使用了自定义类型,譬如typedef volatile unsigned int vu32;

6.二重指针
6.1、二重指针与普通一重指针的区别
(1)二重指针和一重指针的本质都是指针变量,指针变量的本质就是变量。
(2)一重指针变量和二重指针变量本身都占4字节内存空间,
6.2、二重指针的本质
(1)二重指针本质上也是指针变量,和普通指针的差别就是它指向的变量类型必须是个一重指针。二重指针其实也是一种数据类型,编译器在编译时会根据二重指针的数据类型来做静态类型检查,一旦发现运算时数据类型不匹配编译器就会报错。
(2)C语言中如果没有二重指针行不行?其实是可以的。一重指针完全可以做二重指针做的事情,之所以要发明二重指针(函数指针、数组指针),就是为了让编译器了解这个指针被定义时定义它的程序员希望这个指针被用来指向什么东西(定义指针时用数据类型来标记),编译器知道指针类型之后可以帮我们做静态类型检查。编译器的这种静态类型检查可以辅助程序员发现一些隐含性的编程错误,这是C语言给程序员提供的一种编译时的查错机制。
(3)为什么C语言需要发明二重指针?原因和发明函数指针、数组指针、结构体指针等一样的。
6.3、二重指针的用法
(1)二重指针指向一重指针的地址
(2)二重指针指向指针数组的
int *p1[5];
int **p3;
p3 = p1;
(3)实践编程中二重指针用的比较少,大部分时候就是和指针数组纠结起来用的。
(4)实践编程中有时在函数传参时为了通过函数内部改变外部的一个指针变量,会传这个指针变量的地址(也就是二重指针)进去,如下:

void func(int **p)
{
	*p = (int *)0x12345678;
}
main(void)
{
	int a = 4;
	int *p = &a;				// p指向a
	printf("p = %p.\n", p);		// p打印出来就是a的内存地址
	func(&p);					// 在func内部将p指向了别的地方
	printf("p = %p.\n", p);		// p已经不指向a了,所以打印出来不是a的地址
	*p = 23;					// 因为此时p指向0x12345678,但是这个地址是不
							// 允许访问的,因此会段错误。
}

6.4、二重指针与数组指针
(1)二重指针、数组指针、结构体指针、一重指针、普通变量的本质都是相同的,都是变量。
(2)所有的指针变量本质都是相同的,都是4个字节,都是用来指向别的东西的,不同类型的指针变量只是可以指向的(编译器允许你指向的)变量类型不同。
(3)二重指针就是:指针数组指针

7.二维数组
7.1、二维数组的内存映像
(1)一维数组在内存中是连续分布的多个内存单元组成的,而二维数组在内存中也是连续分布的多个内存单元组成的。
(1)从内存角度来看,一维数组和二维数组没有本质差别。
(2)二维数组int a[2][5]和一维数组int b[10]其实没有任何本质差别。我们可以把两者的同一单元的对应关系写下来。
a[0][0] a[0][1] a[0][4] a[1][0] a[1][1] a[1][4]
b[0] b[1] b[4] b[5] b[6] b[9]
(3)既然二维数组都可以用一维数组来表示,那二维数组存在的意义和价值在哪里?二维数组a和一维数组b在内存使用效率、访问效率上是完全一样的(或者说差异是忽略不计的)。在某种情况下用二维数组,原因在于二维数组好理解、代码好写、利于组织。
(4)总结:我们使用二维数组(C语言提供二维数组),并不是必须,而是一种简化编程的方式。想一下,一维数组的出现其实也不是必然的,也是为了简化编程。
7.2、哪个是第一维哪个是第二维?
(1)二维数组int a[2][5]中,2是第一维,5是第二维。
(2)结合内存映像来理解二维数组的第一维和第二维的意义。首先第一维是最外面一层的数组,所以int a[2][5]这个数组有2个元素;其中每一个元素又是一个含有5个元素的一维数组(这个数组就是第二维)。
(3)总结:二维数组的第一维是最外部的那一层,第一维本身是个数组,这个数组中存储的元素也是个一维数组;二维数组的第二维是里面的那一层,第二维本身是个一维数组,数组中存的元素是普通元素,第二维这个一维数组本身作为元素存储在第一维的二维数组中。
7.3、二维数组的下标式访问和指针式访问
(1)回顾:一维数组的两种访问方式。以int b[10]为例, int *p = b;。
b[0] 等同于 *(p+0); b[9] 等同于 (p+9); b[i] 等同于 (p+i)
(2)二维数组的两种访问方式:以int a[2][5]为例,(合适类型的)p = a;
a[0][0]等同于
(
(p+0)+0); a[i][j]等同于 ((p+i)+j)
7.4、二维数组的应用和更多维数组
(1)最简单情况,有10个学生成绩要统计;如果这10个学生没有差别的一组,就用b[10];如果这10个学生天然就分为2组,每组5个,就适合用int a[2][5]来管理。
(2)最常用情况:一维数组用来表示直线,二维数组用来描述平面。数学上,用平面直角坐标系来比拟二维数组就很好理解了。
(3)三维数组和三维坐标系来比拟理解。三维数组其实就是立体空间。
(4)四维数组也是可以存在的,但是数学上有意义,现在空间中没有对应(因为人类生存的宇宙是三维的)。
总结:一般常用最多就到二维数组,三维数组除了做一些特殊与数学运算有关的之外基本用不到。(四轴飞行器中运算飞行器角度、姿态时就要用到三维数组)

8.二维数组的运算和指针
8.1、指针指向二维数组的数组名
(1)二维数组的数组名表示二维数组的第一维数组中首元素(也就是第二维的数组)的首地址
(2)二维数组的数组名a等同于&a[0],这个和一维数组的符号含义是相符的。
(3)用数组指针来指向二维数组的数组名是类型匹配的。
8.2、指针指向二维数组的第一维
(1)用int *p来指向二维数组的第一维a[i]
8.3、指针指向二维数组的第二维
(1)二维数组的第二维元素其实就是普通变量了(a[1][1]其实就是int类型的7),已经不能用指针类型和它相互赋值了。
(2)除非int *p = &a[i][j];,类似于指针指向二维数组的第一维。

int main(void)
{
	int a[2][5] = {{1, 2, 3, 4, 5}, {6, 7, 8, 9, 10}};
	//int a[2][5] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

	printf("a[1][3] = %d.\n", a[1][3]);
	printf("a[1][3] = %d.\n", *(*(a+1)+3));
	
	//int *p1 = a;		// 类型不匹配
	//int **p2 = a;		// 类型不匹配
	
	// 指针指向二维数组的数组名
	int (*p3)[5];			// 数组指针,指针指向一个数组,数组有5个int类型元素
	p3 = a;				// a是二维数组的数组名,作为右值表示二维数组第一维的数组
						// 的首元素首地址,等同于&a[0]
	p3 = &a[0];
	
	printf("a[0][3] = %d.\n", *(*(p3+0)+3));
	printf("a[1][4] = %d.\n", *(*(p3+1)+4));
	
	// 指针指向二维数组的第一维
	//int *p4 = &a[0];		// 不可以
	int *p4 = a[0];			// a[0]表示二维数组的第一维的第一个元素,相当于是
							// 第二维的整体数组的数组名。数组名又表示数组首元素
							// 首地址,因此a[0]等同于&a[0][0];
	int *p5 = &a[0][0];	
	printf("a[0][4] = %d.\n", *(p4+4));
	int *p6 = a[1];
	printf("a[1][1] = %d.\n", *(p6+1));
	
	// 指向二维数组的第二维,
不行
	return 0;
}

标签:typedef,int,二重,二维,数组,类型,函数指针,指针
来源: https://blog.csdn.net/weixin_44705391/article/details/113794875