首页 C-pointer.pdf

C-pointer.pdf

C-pointer.pdf

上传者: 15101028049 2013-03-23 评分1 评论0 下载54 收藏0 阅读量693 暂无简介 简介 举报

简介:本文档为《C-pointerpdf》,可适用于IT书籍领域,主题内容包含转载述:这是一篇比较老的关于指针的文章作者站在初学者的角度对指针作了深入的剖析。如果你在学习指针的时候有什么问题看一看这篇文章定有收获。一。指针的概符等。

转载述:这是一篇比较老的关于指针的文章作者站在初学者的角度对指针作了深入的剖析。如果你在学习指针的时候有什么问题看一看这篇文章定有收获。一。指针的概念。指针的类型。指针所指向的类型。指针的值二。指针的算术运算三。运算符和*四。指针表达式五。数组和指针的关系一。指针的概念指针是一个特殊的变量它里面存储的数值被解释成为内存里的一个地址。要搞清一个指针需要搞清指针的四方面的内容:指针的类型指针所指向的类型指针的值或者叫指针所指向的内存区还有指针本身所占据的内存区。让我们分别说明。先声明几个指针放着做例子:例一:()int*ptr()char*ptr()int**ptr()int(*ptr)()int*(*ptr)如果看不懂后几个例子的话请参阅后面的文章。。指针的类型从语法的角度看你只要把指针声明语句里的指针名字去掉剩下的部分就是这个指针的类型。这是指针本身所具有的类型。让我们看看例一中各个指针的类型:()int*ptr指针的类型是int*()char*ptr指针的类型是char*()int**ptr指针的类型是int**()int(*ptr)指针的类型是int(*)()int*(*ptr)指针的类型是int*(*)怎么样?找出指针的类型的方法是不是很简单?。指针所指向的类型当你通过指针来访问指针所指向的内存区时指针所指向的类型决定了编译器将把那片内存区里的内容当做什么来看待。从语法上看你只须把指针声明语句中的指针名字和名字左边的指针声明符*去掉剩下的就是指针所指向的类型。例如:()int*ptr指针所指向的类型是int()char*ptr指针所指向的的类型是char()int**ptr指针所指向的的类型是int*()int(*ptr)指针所指向的的类型是int()()int*(*ptr)指针所指向的的类型是int*()在指针的算术运算中指针所指向的类型有很大的作用。指针的类型(即指针本身的类型)和指针所指向的类型是两个概念。当你对C越来越熟悉时你会发现把与指针搅和在一起的“类型”这个概念分成“指针的类型”和“指针所指向的类型”两个概念是精通指针的关键点之一。我看了不少书发现有些写得差的书中就把指针的这两个概念搅在一起了所以看起书来前后矛盾越看越糊涂。。指针的值指针的值或者叫指针所指向的内存区或地址。指针的值是指针本身存储的数值这个值将被编译器当作一个地址而不是一个一般的数值。在位程序里所有类型的指针的值都是一个位整数因为位程序里内存地址全都是位长。指针所指向的内存区就是从指针的值所代表的那个内存地址开始长度为sizeof(指针所指向的类型)的一片内存区。以后我们说一个指针的值是XX就相当于说该指针指向了以XX为首地址的一片内存区域我们说一个指针指向了某块内存区域就相当于说该指针的值是这块内存区域的首地址。指针所指向的内存区和指针所指向的类型是两个完全不同的概念。在例一中指针所指向的类型已经有了但由于指针还未初始化所以它所指向的内存区是不存在的或者说是无意义的。以后每遇到一个指针都应该问问:这个指针的类型是什么?指针指向的类型是什么?该指针指向了哪里?。指针本身所占据的内存区。指针本身占了多大的内存?你只要用函数sizeof(指针的类型)测一下就知道了。在位平台里指针本身占据了个字节的长度。指针本身占据的内存这个概念在判断一个指针表达式是否是左值时很有用。二。指针的算术运算指针可以加上或减去一个整数。指针的这种运算的意义和通常的数值的加减运算的意义是不一样的。例如:例二:。chara。int*ptr=a。ptr在上例中指针ptr的类型是int*,它指向的类型是int它被初始化为指向整形变量a。接下来的第句中指针ptr被加了编译器是这样处理的:它把指针ptr的值加上了sizeof(int)在位程序中是被加上了。由于地址是用字节做单位的故ptr所指向的地址由原来的变量a的地址向高地址方向增加了个字节。由于char类型的长度是一个字节所以原来ptr是指向数组a的第号单元开始的四个字节此时指向了数组a中从第号单元开始的四个字节。我们可以用一个指针和一个循环来遍历一个数组看例子:例三:intarrayint*ptr=array此处略去为整型数组赋值的代码。for(i=i<i){(*ptr)ptr}这个例子将整型数组中各个单元的值加。由于每次循环都将指针ptr加所以每次循环都能访问数组的下一个单元。再看例子:例四:。chara。int*ptr=a。ptr=在这个例子中ptr被加上了编译器是这样处理的:将指针ptr的值加上乘sizeof(int)在位程序中就是加上了乘=。由于地址的单位是字节故现在的ptr所指向的地址比起加后的ptr所指向的地址来说向高地址方向移动了个字节。在这个例子中没加前的ptr指向数组a的第号单元开始的四个字节加后ptr已经指向了数组a的合法范围之外了。虽然这种情况在应用上会出问题但在语法上却是可以的。这也体现出了指针的灵活性。如果上例中ptr是被减去那么处理过程大同小异只不过ptr的值是被减去乘sizeof(int)新的ptr指向的地址将比原来的ptr所指向的地址向低地址方向移动了个字节。总结一下一个指针ptrold加上一个整数n后结果是一个新的指针ptrnewptrnew的类型和ptrold的类型相同ptrnew所指向的类型和ptrold所指向的类型也相同。ptrnew的值将比ptrold的值增加了n乘sizeof(ptrold所指向的类型)个字节。就是说ptrnew所指向的内存区将比ptrold所指向的内存区向高地址方向移动了n乘sizeof(ptrold所指向的类型)个字节。一个指针ptrold减去一个整数n后结果是一个新的指针ptrnewptrnew的类型和ptrold的类型相同ptrnew所指向的类型和ptrold所指向的类型也相同。ptrnew的值将比ptrold的值减少了n乘sizeof(ptrold所指向的类型)个字节就是说ptrnew所指向的内存区将比ptrold所指向的内存区向低地址方向移动了n乘sizeof(ptrold所指向的类型)个字节。三。运算符和*这里是取地址运算符*是书上叫做“间接运算符”。a的运算结果是一个指针指针的类型是a的类型加个*指针所指向的类型是a的类型指针所指向的地址嘛那就是a的地址。*p的运算结果就五花八门了。总之*p的结果是p所指向的东西这个东西有这些特点:它的类型是p指向的类型它所占用的地址是p所指向的地址。例五:inta=intbint*pint**ptrp=aa的结果是一个指针类型是int*指向的类型是int指向的地址是a的地址。*p=*p的结果在这里它的类型是int它所占用的地址是p所指向的地址显然*p就是变量a。ptr=pp的结果是个指针该指针的类型是p的类型加个*在这里是int**。该指针所指向的类型是p的类型这里是int*。该指针所指向的地址就是指针p自己的地址。*ptr=b*ptr是个指针b的结果也是个指针且这两个指针的类型和所指向的类型是一样的所以用b来给*ptr赋值就是毫无问题的了。**ptr=*ptr的结果是ptr所指向的东西在这里是一个指针对这个指针再做一次*运算结果就是一个int类型的变量。四。指针表达式一个表达式的最后结果如果是一个指针那么这个表达式就叫指针表达式。下面是一些指针表达式的例子:例六:inta,bintarrayint*papa=aa是一个指针表达式。int**ptr=papa也是一个指针表达式。*ptr=b*ptr和b都是指针表达式。pa=arraypa这也是指针表达式。例七:char*arrchar**parr=arr如果把arr看作指针的话arr也是指针表达式char*strstr=*parr*parr是指针表达式str=*(parr)*(parr)是指针表达式str=*(parr)*(parr)是指针表达式由于指针表达式的结果是一个指针所以指针表达式也具有指针所具有的四个要素:指针的类型指针所指向的类型指针指向的内存区指针自身占据的内存。好了当一个指针表达式的结果指针已经明确地具有了指针自身占据的内存的话这个指针表达式就是一个左值否则就不是一个左值。在例七中a不是一个左值因为它还没有占据明确的内存。*ptr是一个左值因为*ptr这个指针已经占据了内存其实*ptr就是指针pa既然pa已经在内存中有了自己的位置那么*ptr当然也有了自己的位置。五。数组和指针的关系如果对声明数组的语句不太明白的话请参阅我后面的文章。数组的数组名其实可以看作一个指针。看下例:例八:intarray={,,,,,,,,,},valuevalue=array也可写成:value=*arrayvalue=array也可写成:value=*(array)value=array也可写成:value=*(array)上例中一般而言数组名array代表数组本身类型是int但如果把array看做指针的话它指向数组的第个单元类型是int*所指向的类型是数组单元的类型即int。因此*array等于就一点也不奇怪了。同理array是一个指向数组第个单元的指针所以*(array)等于。其它依此类推。例九:char*str={"Hello,thisisasample!","Hi,goodmorning","Helloworld"}charsstrcpy(s,str)也可写成strcpy(s,*str)strcpy(s,str)也可写成strcpy(s,*(str))strcpy(s,str)也可写成strcpy(s,*(str))上例中str是一个三单元的数组该数组的每个单元都是一个指针这些指针各指向一个字符串。把指针数组名str当作一个指针的话它指向数组的第号单元它的类型是char**它指向的类型是char*。*str也是一个指针它的类型是char*它所指向的类型是char它指向的地址是字符串"Hello,thisisasample!"的第一个字符的地址即'H'的地址。str也是一个指针它指向数组的第号单元它的类型是char**它指向的类型是char*。*(str)也是一个指针它的类型是char*它所指向的类型是char它指向"Hi,goodmorning"的第一个字符'H'等等。下面总结一下数组的数组名的问题。声明了一个数组TYPEarrayn则数组名称array就有了两重含义:第一它代表整个数组它的类型是TYPEn第二它是一个指针该指针的类型是TYPE*该指针指向的类型是TYPE也就是数组单元的类型该指针指向的内存区就是数组第号单元该指针自己占有单独的内存区注意它和数组第号单元占据的内存区是不同的。该指针的值是不能修改的即类似array的表达式是错误的。在不同的表达式中数组名array可以扮演不同的角色:在表达式sizeof(array)中数组名array代表数组本身故这时sizeof函数测出的是整个数组的大小。在表达式*array中array扮演的是指针因此这个表达式的结果就是数组第号单元的值。sizeof(*array)测出的是数组单元的大小。表达式arrayn(其中n=。)中array扮演的是指针故arrayn的结果是一个指针它的类型是TYPE*它指向的类型是TYPE它指向数组第n号单元。故sizeof(arrayn)测出的是指针类型的大小。例十:intarrayint(*ptr)ptr=array上例中ptr是一个指针它的类型是int(*)他指向的类型是int我们用整个数组的首地址来初始化它。在语句ptr=array中array代表数组本身。本节中提到了函数sizeof()那么我来问一问sizeof(指针名称)测出的究竟是指针自身类型的大小呢还是指针所指向的类型的大小?答案是前者。例如:int(*ptr)则在位程序中有:sizeof(int(*))==sizeof(int)==sizeof(ptr)==实际上sizeof(对象)测出的都是对象自身的类型的大小而不是别的什么类型的大小。六。指针和结构类型的关系七。指针和函数的关系八。指针类型转换九。指针的安全问题十、指针与链表问题六。指针和结构类型的关系可以声明一个指向结构类型对象的指针。例十一:structMyStruct{intaintbintc}MyStructss={,,}声明了结构对象ss并把ss的三个成员初始化为和。MyStruct*ptr=ss声明了一个指向结构对象ss的指针。它的类型是MyStruct*,它指向的类型是MyStruct。int*pstr=(int*)ss声明了一个指向结构对象ss的指针。但是它的类型和它指向的类型和ptr是不同的。请问怎样通过指针ptr来访问ss的三个成员变量?答案:ptr>aptr>bptr>c又请问怎样通过指针pstr来访问ss的三个成员变量?答案:*pstr访问了ss的成员a。*(pstr)访问了ss的成员b。*(pstr)访问了ss的成员c。呵呵虽然我在我的MSVC上调式过上述代码但是要知道这样使用pstr来访问结构成员是不正规的为了说明为什么不正规让我们看看怎样通过指针来访问数组的各个单元:例十二:intarray={,,}int*pa=array通过指针pa访问数组array的三个单元的方法是:*pa访问了第号单元*(pa)访问了第号单元*(pa)访问了第号单元从格式上看倒是与通过指针访问结构成员的不正规方法的格式一样。所有的CC编译器在排列数组的单元时总是把各个数组单元存放在连续的存储区里单元和单元之间没有空隙。但在存放结构对象的各个成员时在某种编译环境下可能会需要字对齐或双字对齐或者是别的什么对齐需要在相邻两个成员之间加若干个“填充字节”这就导致各个成员之间可能会有若干个字节的空隙。所以在例十二中即使*pstr访问到了结构对象ss的第一个成员变量a也不能保证*(pstr)就一定能访问到结构成员b。因为成员a和成员b之间可能会有若干填充字节说不定*(pstr)就正好访问到了这些填充字节呢。这也证明了指针的灵活性。要是你的目的就是想看看各个结构成员之间到底有没有填充字节嘿这倒是个不错的方法。通过指针访问结构成员的正确方法应该是象例十二中使用指针ptr的方法。七。指针和函数的关系可以把一个指针声明成为一个指向函数的指针。intfun(char*,int)int(*pfun)(char*,int)pfun=funinta=(*pfun)("abcdefg",)通过函数指针调用函数。可以把指针作为函数的形参。在函数调用语句中可以用指针表达式来作为实参。例十三:intfun(char*)intacharstr="abcdefghijklmn"a=fun(str)intfun(char*s){intnum=for(inti=i{num=*ss}returnnum}这个例子中的函数fun统计一个字符串中各个字符的ASCII码值之和。前面说了数组的名字也是一个指针。在函数调用中当把str作为实参传递给形参s后实际是把str的值传递给了ss所指向的地址就和str所指向的地址一致但是str和s各自占用各自的存储空间。在函数体内对s进行自加运算并不意味着同时对str进行了自加运算。八。指针类型转换当我们初始化一个指针或给一个指针赋值时赋值号的左边是一个指针赋值号的右边是一个指针表达式。在我们前面所举的例子中绝大多数情况下指针的类型和指针表达式的类型是一样的指针所指向的类型和指针表达式所指向的类型是一样的。例十四:。floatf=。float*fptr=f。int*p在上面的例子中假如我们想让指针p指向实数f应该怎么搞?是用下面的语句吗?p=f不对。因为指针p的类型是int*它指向的类型是int。表达式f的结果是一个指针指针的类型是float*,它指向的类型是float。两者不一致直接赋值的方法是不行的。至少在我的MSVC上对指针的赋值语句要求赋值号两边的类型一致所指向的类型也一致其它的编译器上我没试过大家可以试试。为了实现我们的目的需要进行“强制类型转换”:p=(int*)f如果有一个指针p我们需要把它的类型和所指向的类型改为TYEP*和TYPE那么语法格式是:(TYPE*)p这样强制类型转换的结果是一个新指针该新指针的类型是TYPE*它指向的类型是TYPE它指向的地址就是原指针指向的地址。而原来的指针p的一切属性都没有被修改。一个函数如果使用了指针作为形参那么在函数调用语句的实参和形参的结合过程中也会发生指针类型的转换。例十五:voidfun(char*)inta=,bfun((char*)a)voidfun(char*s){charcc=*(s)*(s)=*(s)*(s)=cc=*(s)*(s)=*(s)*(s)=c}}注意这是一个位程序故int类型占了四个字节char类型占一个字节。函数fun的作用是把一个整数的四个字节的顺序来个颠倒。注意到了吗?在函数调用语句中实参a的结果是一个指针它的类型是int*它指向的类型是int。形参这个指针的类型是char*它指向的类型是char。这样在实参和形参的结合过程中我们必须进行一次从int*类型到char*类型的转换。结合这个例子我们可以这样来想象编译器进行转换的过程:编译器先构造一个临时指针char*temp然后执行temp=(char*)a最后再把temp的值传递给s。所以最后的结果是:s的类型是char*,它指向的类型是char它指向的地址就是a的首地址。我们已经知道指针的值就是指针指向的地址在位程序中指针的值其实是一个位整数。那可不可以把一个整数当作指针的值直接赋给指针呢?就象下面的语句:unsignedintaTYPE*ptrTYPE是intchar或结构类型等等类型。a=ptr=我们的目的是要使指针ptr指向地址(十进制)ptr=a我们的目的是要使指针ptr指向地址(十进制)编译一下吧。结果发现后面两条语句全是错的。那么我们的目的就不能达到了吗?不还有办法:unsignedintaTYPE*ptrTYPE是intchar或结构类型等等类型。a=某个数这个数必须代表一个合法的地址ptr=(TYPE*)a呵呵这就可以了。严格说来这里的(TYPE*)和指针类型转换中的(TYPE*)还不一样。这里的(TYPE*)的意思是把无符号整数a的值当作一个地址来看待。上面强调了a的值必须代表一个合法的地址否则的话在你使用ptr的时候就会出现非法操作错误。想想能不能反过来把指针指向的地址即指针的值当作一个整数取出来。完全可以。下面的例子演示了把一个指针的值当作一个整数取出来然后再把这个整数当作一个地址赋给一个指针:例十六:inta=,bint*ptr=achar*strb=(int)ptr把指针ptr的值当作一个整数取出来。str=(char*)b把这个整数的值当作一个地址赋给指针str。好了现在我们已经知道了可以把指针的值当作一个整数取出来也可以把一个整数值当作地址赋给一个指针。九。指针的安全问题看下面的例子:例十七:chars='a'int*ptrptr=(int*)s*ptr=指针ptr是一个int*类型的指针它指向的类型是int。它指向的地址就是s的首地址。在位程序中s占一个字节int类型占四个字节。最后一条语句不但改变了s所占的一个字节还把和s相临的高地址方向的三个字节也改变了。这三个字节是干什么的?只有编译程序知道而写程序的人是不太可能知道的。也许这三个字节里存储了非常重要的数据也许这三个字节里正好是程序的一条代码而由于你对指针的马虎应用这三个字节的值被改变了!这会造成崩溃性的错误。让我们来看一例:例十八:。chara。int*ptr=a。ptr。*ptr=该例子完全可以通过编译并能执行。但是看到没有?第句对指针ptr进行自加运算后ptr指向了和整形变量a相邻的高地址方向的一块存储区。这块存储区里是什么?我们不知道。有可能它是一个非常重要的数据甚至可能是一条代码。而第句竟然往这片存储区里写入一个数据!这是严重的错误。所以在使用指针时程序员心里必须非常清楚:我的指针究竟指向了哪里。在用指针访问数组的时候也要注意不要超出数组的低端和高端界限否则也会造成类似的错误。在指针的强制类型转换:ptr=(TYPE*)ptr中如果sizeof(ptr的类型)大于sizeof(ptr的类型)那么在使用指针ptr来访问ptr所指向的存储区时是安全的。如果sizeof(ptr的类型)小于sizeof(ptr的类型)那么在使用指针ptr来访问ptr所指向的存储区时是不安全的。至于为什么读者结合例十七来想一想应该会明白的。十、指针与链表问题所示的程序语句有问题改正后的程序在下面。listc#include#includestructlistNode{intdatastructlistNode*nextPtr}typedefstructlistNodeLISTNODEtypedefLISTNODE*LISTNODEPTRvoidlist(LISTNODEPTR*,int)voidprintlist(LISTNODEPTR)main(){LISTNODEPTRnewPtr=inti,afor(i=i<i){printf("pleaseenteranumbern")scanf("d,",a)list(newPtr,a)此处给的是newPtr的地址注意!}printlist(newPtr)free(newPtr)链表的释放不能这样写这样只释放了newPtr指向的一个节点。可以先找到链表的尾然后反向释放或者利用printlist的顺序释放改函数printlist或在此函数里释放。return}voidlist(LISTNODEPTR*sPtr,inta){LISTNODEPTRnewPtr,currentPtrnewPtr=malloc(sizeof(LISTNODEPTR))此处错LISTNODEPTR是指针类型不是结构类型malloc返回void指针应该强制转换类型此处会告警不报错但应有良好的编程风格与习惯。if(newPtr!=){newPtr>data=anewPtr>nextPtr=currentPtr=*sPtr}if(currentPtr==){此处条件不确切因为currentPtr没有初始化如newPtr一旦为此句及以下就有问题。newPtr>nextPtr=*sPtr*sPtr=newPtr}在第一个数来的时候main里的newPtr通过sPtr被修改指向此节点。在第二个数来的时候main里的newPtr通过sPtr被修改指向此节点。在第三个数来的时候main里的newPtr通过sPtr被修改指向此节点。最后main里的newPtr指向第三个数。}voidprintlist(LISTNODEPTRcurrentPtr){if(currentPtr==)printf("Thelistisemptyn")else{printf("Thislistis:n")while(currentPtr!=){printf("d>",currentPtr>data)main里的newPtr指向第三个数。你先打印了最后一个数。currentPtr=currentPtr>nextPtr>data此句非法类型不同有可能让你只循环一次如data为。}printf("nn")}}对类似程序能运行但结果似是而非的情况应该多利用跟踪调试看变量的变化。改正后的正确程序#include#includestructlistNode{intdatastructlistNode*nextPtr}typedefstructlistNodeLISTNODEtypedefLISTNODE*LISTNODEPTRLISTNODEPTRlist(LISTNODEPTR,int)此处不同voidprintlist(LISTNODEPTR)voidfreelist(LISTNODEPTR)增加main(){LISTNODEPTRnewPtr=inti,afor(i=i<i){printf("pleaseenteranumbern")scanf("d,",a)newPtr=list(newPtr,a)此处注意}printlist(newPtr)freelist(newPtr)此处return}LISTNODEPTRlist(LISTNODEPTRsPtr,inta){if(sPtr!=)sPtr>nextPtr=list(sPtr>nextPtr,a)递归向后面的节点上加数据。else{sPtr=(LISTNODEPTR)malloc(sizeof(LISTNODE))注意是节点的尺寸,类型转换sPtr>nextPtr=sPtr>data=a}returnsPtr}voidfreelist(LISTNODEPTRsPtr){if(sPtr!=){freelist(sPtr>nextPtr)递归先释放后面的节点free(sPtr)再释放本节点}elsereturn此两行可不要}voidprintlist(LISTNODEPTRcurrentPtr){if(currentPtr==)printf("Thelistisemptyn")else{printf("Thislistis:n")while(currentPtr!=){printf("d>",currentPtr>data)currentPtr=currentPtr>nextPtr这里不一样}printf("nn")}}C语言所有复杂的指针声明都是由各种声明嵌套构成的。如何解读复杂指针声明呢?右左法则是一个既著名又常用的方法。不过右左法则其实并不是C标准里面的内容它是从C标准的声明规定中归纳出来的方法。C标准的声明规则是用来解决如何创建声明的而右左法则是用来解决如何辩识一个声明的两者可以说是相反的。右左法则的英文原文是这样说的:Therightleftrule:Startreadingthedeclarationfromtheinnermostparentheses,goright,andthengoleftWhenyouencounterparentheses,thedirectionshouldbereversedOnceeverythingintheparentheseshasbeenparsed,jumpoutofitContinuetillthewholedeclarationhasbeenparsed这段英文的翻译如下:右左法则:首先从最里面的圆括号看起然后往右看再往左看。每当遇到圆括号时就应该掉转阅读方向。一旦解析完圆括号里面所有的东西就跳出圆括号。重复这个过程直到整个声明解析完毕。笔者要对这个法则进行一个小小的修正应该是从未定义的标识符开始阅读而不是从括号读起之所以是未定义的标识符是因为一个声明里面可能有多个标识符但未定义的标识符只会有一个。现在通过一些例子来讨论右左法则的应用先从最简单的开始逐步加深:int(*func)(int*p)首先找到那个未定义的标识符就是func它的外面有一对圆括号而且左边是一个*号这说明func是一个指针然后跳出这个圆括号先看右边也是一个圆括号这说明(*func)是一个函数而func是一个指向这类函数的指针就是一个函数指针这类函数具有int*类型的形参返回值类型是int。int(*func)(int*p,int(*f)(int*))func被一对括号包含且左边有一个*号说明func是一个指针跳出括号右边也有个括号那么func是一个指向函数的指针这类函数具有int*和int(*)(int*)这样的形参返回值为int类型。再来看一看func的形参int(*f)(int*)类似前面的解释f也是一个函数指针指向的函数具有int*类型的形参返回值为int。int(*func)(int*p)func右边是一个运算符说明func是一个具有个元素的数组func的左边有一个*说明func的元素是指针要注意这里的*不是修饰func的而是修饰func的原因是运算符优先级比*高func先跟结合因此*修饰的是func。跳出这个括号看右边也是一对圆括号说明func数组的元素是函数类型的指针它所指向的函数具有int*类型的形参返回值类型为int。int(*(*func))(int*p)func被一个圆括号包含左边又有一个*那么func是一个指针跳出括号右边是一个运算符号说明func是一个指向数组的指针现在往左看左边有一个*号说明这个数组的元素是指针再跳出括号右边又有一个括号说明这个数组的元素是指向函数的指针。总结一下就是:func是一个指向数组的指针这个数组的元素是函数指针这些指针指向具有int*形参返回值为int类型的函数。int(*(*func)(int*p))func是一个函数指针这类函数具有int*类型的形参返回值是指向数组的指针所指向的数组的元素是具有个int元素的数组。要注意有些复杂指针声明是非法的例如:intfunc(void)func是一个返回值为具有个int元素的数组的函数。但C语言的函数返回值不能为数组这是因为如果允许函数返回值为数组那么接收这个数组的内容的东西也必须是一个数组但C语言的数组名是一个右值它不能作为左值来接收另一个数组因此函数返回值不能为数组。intfunc(void)func是一个具有个元素的数组这个数组的元素都是函数。这也是非法的因为数组的元素除了类型必须一样外每个元素所占用的内存空间也必须相同显然函数是无法达到这个要求的即使函数的类型一样但函数所占用的空间通常是不相同的。作为练习下面列几个复杂指针声明给读者自己来解析答案放在第十章里。int(*(*func))int(*(*(*func)(int*)))(int*)int(*(*func)(int*))实际当中需要声明一个复杂指针时如果把整个声明写成上面所示的形式对程序可读性是一大损害。应该用typedef来对声明逐层分解增强可读性例如对于声明:int(*(*func)(int*p))可以这样分解:typedefint(*PARA)typedefPARA(*func)(int*)这样就容易看得多了。以下文字摘自“C高质量编程点滴”------------先得明白几个概念char*char**char(*)char*(*)ThinkinginC里作者介绍了一个简单的方法来解读复杂的定义式,称为rightleftguideline简单的说就是从中间的变量名开始,按右左右左的顺序来读以这个题目为例:char(*(*x()))()从x开始:向右看到(),x是一个函数定义,没有参数向左看到*,x的返回值是指针向右看到,指针指向数组向左看到*,数组的元素也是指针向右看到(),指针指向的是函数,即函数指针,而且函数没有参数向左看到char,函数的返回值是char所以,x是一个没有参数的函数,它的返回值是指向一个数组的指针,而这个数组的元素是函数指针,指向的函数没有参数,且返回char根据优先级:char(*(*x()))()x()说明x是个函数函数的参数为空函数的返回值为下面:char(*(*x()))()=函数的返回值是个指针(*x())char(*(*x()))()=====指向一个数组(*x())char(*(*x()))()=数组的元素是指针(*(*x()))char(*(*x()))()=======而指针是指向函数的(*(*x()))(),显然函数的参数为空函数的返回值为char型

职业精品

分销渠道选择.ppt

辞职申请书(优质范文).doc

公司年检申请书doc.doc

厂家和经销商代理合同.doc

用户评论

0/200
    暂无评论
上传我的资料

精彩专题

相关资料换一换

资料评价:

/ 15
所需积分:0 立即下载

意见
反馈

返回
顶部