其实也就笔试的时候遇到过让解释复杂指针,平时到也没太这样用过;
在网上搜了一些资料,大体解释都相同,应该都是出自一个人或者一本书一手吧;
我身边广为流传是megaboy同学的指针扫盲,学习;
记录下,基本例子是摘自指针扫盲第八章附加自己的理解;
指针是c的核心,希望自己以后能有自己的见解...
首先介绍一个概念,[左右法则]..
右左法则:首先从最里面的圆括号看起,然后往右看,再往左看。每当遇到圆括号时,就应该掉转阅读方向。一旦解析完圆括号里面所有的东西,就跳出圆括号。重复这个过程直到整个声明解析完毕。
简单调整法则:从未定义标识符开始读起,之所以是未定义的标识符,是因为一个声明里面可能有多个标识符,但未定义的标识符只会有一个。
---小小疑问: 为什么未定义标识符只有一个,因为是函数名称的原因吗?..遇到括号跳转方向指的是什么?
举例说明: 有简入深
1 int (*func)(int *p);
--func是唯一未定义标示符;
--外面有括号,所以先看括号内,右边没有,左右是个*,说明func是指针;
--出括号,右边是一个括号,说明*func指向函数
--so func是一个指向函数的指针,该函数入参是一个int类型的指针,出参是int类型的值
2 int (*func)(int *p, int (*f)(int*));
--找到func
--括号内*func,说明func是指针
--右边是一个括号说明func是指向函数的指针
--既然是函数,那左边肯定是返回类型,右边就是实参
--右边想对复杂,重点看右边,int *p,int (*f)(int*)
---说明有两个形参,一个是int类型的指针,一个是指向函数类型的指针(形参为指针,返回类型为int)
--so func是一个指向函数的指针,该函数返回类型为int,具有两个实参,一个是int类型,一个是指向函数类型的指针
3 int (*func[5])(int *p);
--找到func
--右边[],左边*,[]优先级比*高;因此func是一个有五个元素的数组,*修饰改数组;func[5]数组存放指针
--跳出括号,是一个括号,说明,func数组是指向函数的指针
--so you know ,func是一个指针数组,即数组里面都是指针类型的元素;
--也就是该指针数组是指向函数的指针数组,数组内能容乃5个指向函数的指针;
说到这,顺便提一下指针数组,和数组指针:
指针数组:还是数组,数组里面存放的元素类型是指针;像整型数组,字符型数组..*pa[]样式
数组指针:还是指针,指针指向一个一维数组;也就是指针每一移动一步就移动了一个数组的长度;常用于二维数组;..(*p)[]..
二维数组暂时不做详解,有时间在学习...
4 int (*(*func)[5])(int *p);
--找到func
--括号内,func是指针
--跳出括号,右边是[],说明func是指向数组的指针..简称数组指针
--左边,是*,说明数组的元素是指针,到这和到一起就是func是指向数组元素为指针的数组指针;
--分析好func周围的东东,把它当做一个整体是个指针,右边是个(),说明改指针指向函数,返回类型形参略
--so 总结下自己的小经验
把func当做一个单位,看最外层,也可以说是离形参括号最近的一层,
(*(p)[]) --p表示*func
p是一个指针数组,右边是(),既同例三,该指针数组存放的是指向函数的指针
在把p展开,func是一个指针..
--so 由下而上,func是一个指向数组的指针,这个数组的元素是函数指针,这些指针指向具有int*形参,返回值为int类型的函数
-----话说到这我也有点晕晕了..知道这样说,但是不知道;
-----这是用指针来操作一个里面是函数指针的数组不,这样一说又清晰了,上面仿佛又吧他复杂化了..
5 int (*(*func)(int *p))[5];
func是一个函数指针,这类函数具有int*类型的形参,返回值是指向数组的指针,所指向的数组的元素是具有5个int元素的数组。
有些是非法的..
6 int func(void) [5];
func是一个返回值为具有5个int元素的数组的函数。但C语言的函数返回值不能为数组,这是因为如果允许函数返回值为数组,那么接收这个数组的内容的东西,也必须是一个数组,但C语言的数组名是一个右值,它不能作为左值来接收另一个数组,因此函数返回值不能为数组。
7 int func[5](void);
func是一个具有5个元素的数组,这个数组的元素都是函数。这也是非法的,因为数组的元素除了类型必须一样外,每个元素所占用的内存空间也必须相同,显然函数是无法达到这个要求的,即使函数的类型一样,但函数所占用的空间通常是不相同的。
--tips:数组[]靠近啥,就说明数组里面是啥...
8 复杂练习 待
int (*(*func)[5][6])[7][8];
func是一个指向数组的指针,这类数组的元素是一个具有5X6个int元素的二维数组,而这个二维数组的元素又是一个二维数组。
int (*(*(*func)(int *))[5])(int *);
func是一个函数指针,这类函数的返回值是一个指向数组的指针,所指向数组的元素也是函数指针,指向的函数具有int*形参,返回值为int。
int (*(*func[7][8][9])(int*))[5];
func是一个数组,这个数组的元素是函数指针,这类函数具有int*的形参,返回值是指向数组的指针,所指向的数组的元素是具有5个int元素的数组。
实践当中,需要声明一个复杂指针时,如果把整个声明写成上面所示的形式,对程序可读性是一大损害。应该用typedef来对声明逐层分解,增强可读性,例如对于声明:
int (*(*func)(int *p))[5];
可以这样分解:
typedef int (*PARA)[5];
typedef PARA (*func)(int *);
typedef 不是特别熟悉..备录