转:关于"复杂类型声明"的分析方法

关于"复杂类型声明"的分析方法
小科 发表于 2006-8-11 20:15:00

今天看了一个博友的帖子,是关于复杂类型声明的;于是便一起复习了一下;
做了个总结;个人感觉这个方法能够分析任何复杂类型的声明;
复杂类型的声明主要涉及各种类型的指针,如果没有指针那么估计就没有什么
复杂的类型了.由于本人水平有限,还请各位大虾多多指教.

首先看以下最基本的==============================================>

1.看一个变量是否是指针:

 如果变量左边紧跟*;并且用括号和变量相结合,
那边它是指针;否则它不是;例如:
(int*)array[10]   array是指针数组,不是指针;
int (*array)[10]    array是数组指针.
---------------------------------------------------------------------------
(int *)fun()      fun 是函数
int (*fun)()        fun 是函数指针
------------------------------------------------------------------------
int *a            a是指针;
(int *)a          a 的类型未知,这里把a强制转换成指针

实际上指针数组,数组指针都表示一个地址,可以把数组名赋值给数组指针;
他们区别在于,数组名地址固定,而数组指针则可以指向任何同类型的数组;

函数指针和函数名也有类似关系;函数指针可以随便指,函数名却是一个固定地址.

2.形式上区别:

(TYPE)(*array)[SIZE]---------------------------->A
array是一个数组指针,指向数组(TYPE)ArrayName[SIZE]

(TYPE)array[SIZE]  ---------------------------->B
array是一个数组
----------------------------------------------------------------------------------
(RET TYPE)(*fun)(PARAM)------------------------->C
fun是函数指针,指向函数(RET TYPE)FuncName(PARAM)

(RET TYPE)fun(PARAM)  ------------------------->D
fun是函数

3.复杂类型分析方法:

  以声明的变量为中心,从右到左,从里到外;依次匹配上面A,B,C,D四个样式;
分析完毕清理;适当添加变量;下面结合具体的例子分析.

4.举例:

(1) int*( * (*gopher)( int(*)(int*) ) )(int*);

首先以声明变量gopher为中心;由于它左边紧跟一个*,并且有括号使之和变量结合因此它是一个指针;这符合A,C是个样式,
再向右看,右边是圆括号,显然符合C样式,说明这是一个函数指针;
右边括号中的是参数,剩下的是返回类型;
再看右边括号中的函数参数int(*)(int*),为了和样式对照,
我们添加适当的变量让其变成int(*a)(int*b),显然这符合样式C;说明参数a 是一个函数指针,
指向的函数参数是一个int 指针;返回值是int;
我们把分析完毕的部分(*gopher)( int(*)(int*)去掉,剩下了int*( * )(int*),这剩余的部分是
gopher指向函数的返回值,我们适当添加变量变为int*( *a)(int*b);这显然又符合样式C;
说明返回值a也是一个函数指针;其指向函数的参数是一个int 指针;返回值也是一个int 指针;

综上所述,gopher是一个函数指针,指向函数(1);
函数(1)的参数是一个函数(2)指针,返回值是一个函数(3)指针,
函数(2)的参数是int*,返回值是int;
函数(3)的参数是int*,返回值也是int*。

用typedef定义这个 gopher:
typedef int*( * (*gopher)( int(*)(int*)) )(int*);
以后用gopher fun1声明,则fun1就是和gopher类型一致的函数指针了。


(2)typedef double ( * (*(*fp3)())[10] )();

首先以变量fp3为中心,由于它左边紧跟一个*,因此它是一个指针;这符合A,C是个样式,
再向右看,右边是圆括号,显然符合C样式,说明这是一个函数指针;
右边括号中的是参数,剩下的是返回类型;
再看右边括号中的函数参数为空,也就是void类型的参数;
我们把分析完毕的(*fp3)()去掉剩下double ( * (*)[10] )();适当添加变量变为double ( *(*b)[10] )();
由于b左边紧跟一个*,因此它是一个指针;这符合A,C是个样式,
再向右看,右边是方括号,显然符合A样式,说明返回值b是一个数组指针;它指向一个数组;
那么数组中的元素是什么类型呢?我们去掉分析完毕的(*b)[10];剩下了double ( * )();
添加变量变为double ( *a)();这显然是C的样式,说明数组中的元素是函数指针,指向的函数参数为空;
返回值为double;

综上所述:fp3是一个函数(1)指针,该函数(1)没有参数,返回一个指针,
该指针是指向一个数组,这个数组“含有10个指向函数(2)的指针” ,
函数(2)不接受参,数,返回一个double值.

看上去分析很麻烦,其实分析多了不必完全按照上面的步骤进行也就很容易看懂了:)
下面是两个例子,自己分析一下吧:)

(3) void*  (*(*fp1)(int))[10];
fp1是一个函数指针,该函数接受一个整型参数,返回一个指针(前面多加一个*),
该指针指向含有10个void指针数组
如果分开写:
typedef (void**)FUN(int);
void** ppvoid = new void*[10];

(4)int (* ((*f4())[10]))(); 类似与上面的问题
f4是一个函数,返回一个指针,该指针指向含有10个函数指针的数组,这些函数返回int

  • 1
    点赞
  • 0
    收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:大白 设计师:CSDN官方博客 返回首页
评论

打赏作者

zjz800800

你的鼓励将是我创作的最大动力

¥2 ¥4 ¥6 ¥10 ¥20
输入1-500的整数
余额支付 (余额:-- )
扫码支付
扫码支付:¥2
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值