C语言指针要详细了解有啥好的资料提供吗( 三 )

2020-09-09

step3 按照Proc2中的要求，由于exprX中没有*号，所以进入Proc3；
step4 按照Proc3中的要求，result_expr = exprX 返回，RecognizeExpr(expr)子算法结束；
step5 对result_exprX使用type函数获得类型(=\u0026gt;(void(int, int)))，即一个输入参量是int int 返回值是void的函数；
step6 变量p的类型即为(=\u0026gt;void(int, int))，即指向输入参量是int int 返回值是void的函数的指针,指针类型识别结束。#
上面三个例子都略微有些简单过程复杂化的嫌疑，但是真正强大的在后面，就能体会到这个方法的好处了
案例4 void (*)(int, int)(*p)
step1 令expr = {void (*)(int, int)(*p)} 执行RecognizeExpr(expr)
step2 按照Proc1中的要求，把*p包起来变成X，获得新表达式exprX = {void (*)(int, int)X}，进入Proc2
step3 按照Proc2中的要求，由于exprX中和X同括号层内不存在*号，所以进入Proc3;
step4 按照Proc3中的要求，result_expr = exprX 返回，RecognizeExpr(expr)子算法结束；
step5 对result_exprX使用type函数获得类型(=\u0026gt;((void(*)(int, int))))，即指向(void(*)(int, int))的类型的数组的指针，但是尴尬的是我们还是不知道void(*)(int, int)是啥。
step6 根据约定5，定义表达式_expr = {void(*_p)(int, int)}，将_expr 带入RecognizeExpr获取_p的类型，由于这个计算和案例3一模一样，这边直接给出结果_p的类型是(=\u0026gt;void(int, int))，于是原表达式p的类型是(=\u0026gt;((=\u0026gt;void(int, int))))，即p是指向一个数组类型的指针，他的数组元素是指向void(int, int)类型函数的指针，void(int, int)类型函数是输入为int int 返回为空的函数，类型识别结束。#
以下给出的例子是针对C++的印象中c里面没有const这个关键字
案例5 Const int* p
step1 令expr = {const int* p} 执行RecognizeExpr(expr)；
step2 按照Proc1中的要求，把*p包起来变成X，获得新表达式exprX={const int X} ,进入Proc2；
step3 按照Proc2中的要求，由于exprX中没有*号，所以进入Proc3；
step4 按照Proc3中的要求，result_expr = exprX 返回，RecognizeExpr(expr)子算法结束；
step5 对result_exprX使用type函数获得类型const int；
step6 变量p的类型即为(=\u0026gt;const int)，即指向int常量类型的指针,指针类型识别结束。#
案例6 int* const p
step1 令expr = {int* const p} 执行RecognizeExpr(expr)；
step2 按照Proc1中的要求，把*const p包起来变成X，获得新表达式exprX={int X} ,进入Proc2；
step3 按照Proc2中的要求，由于exprX中没有*号，所以进入Proc3；
step4 按照Proc3中的要求，result_expr = exprX 返回，RecognizeExpr(expr)子算法结束；
step5 对result_exprX使用type函数获得类型int；
step6 变量const p的类型即为(=\u0026gt;int)，即指向int类型的指针，而由于p前面有一个const，这就说明p这个指针是个常量，也就是说p本质上是指向int类型的常量指针(注意和案例5中的类型描述的区别)。#
案例7 int * const \u0026amp;p
step1 令expr = {int* const \u0026amp;p} 执行RecognizeExpr(expr)；
step2 按照Proc1中的要求，把*const \u0026amp; p包起来变成X，获得新表达式exprX={int X} ,进入Proc2；
step3 按照Proc2中的要求，由于exprX中没有*号，所以进入Proc3；
step4 按照Proc3中的要求，result_expr = exprX 返回，RecognizeExpr(expr)子算法结束；
step5 对result_exprX使用type函数获得类型int；
step6 变量const\u0026amp; p的类型即为(=\u0026gt;int)，即指向int类型的指针，而由于p前面有一个const\u0026amp;，这就说明p这个指针的常量引用，也就是说p本质上是指向int类型的常量引用指针(注意和案例5、6中的类型描述的区别)。#

推荐阅读

上一篇：MATLAB为啥给出了最小数（浮点精度限）

下一篇：朋友拉我投资DKC，不是很懂这方面，有风险么