C语言中数组和指针--数组的退化

前段时间闲来看了下《c专家编程》这本书,总天来说写得不错,就是省略了些东西,当时没搞明白--数组和指针的纠结关系,最近写了几句代码测试了下,顿时豁然开朗...

 

我写了段测试代码:

#include<stdio.h>void func1(char str[]){char *ptr = str;char str1[3] = {'s','w','v'};printf("***str1's neirong:%x/n",str1);printf("***str1's addr:%x/n",&str1); //上面弄个局部变量数组做为对比 //下面就是做为函数参数的数组的变化printf("*******************************/n");printf("***str's addr:%x/n",&str);printf("***str's neirong:%x/n",str);printf("***str[0]'s addr:%x/n",&str[0]);printf("***str[0]'s neirong:%c/n",str[0]);printf("***ptr's addr:%x/n",&ptr);printf("***ptr's neirong:%x/n",ptr);}int main(){char str[5] = {'a','b','c','d','e'};func1(str);return 0;}

 

下面是对应的汇编代码:

.file"array.c".section.rodata.LC0:.string"***str1's neirong:%x/n".LC1:.string"***str1's addr:%x/n".LC2:.string"***str's addr:%x/n".LC3:.string"***str's neirong:%x/n".LC4:.string"***str[0]'s addr:%x/n".LC5:.string"***str[0]'s neirong:%x/n".LC6:.string"***ptr's addr:%x/n".LC7:.string"***ptr's neirong:%x/n".text.globl func1.typefunc1, @functionfunc1:pushl%ebpmovl%esp, %ebpsubl$24, %espmovl8(%ebp), %eaxmovl%eax, -4(%ebp)movb$115, -7(%ebp)movb$119, -6(%ebp)movb$118, -5(%ebp)subl$8, %espleal-7(%ebp), %eaxpushl%eaxpushl$.LC0callprintfaddl$16, %espsubl$8, %espleal-7(%ebp), %eaxpushl%eaxpushl$.LC1callprintfaddl$16, %espsubl$8, %espleal8(%ebp), %eaxpushl%eaxpushl$.LC2callprintfaddl$16, %espmovl8(%ebp), %eaxsubl$8, %esppushl%eaxpushl$.LC3callprintfaddl$16, %espmovl8(%ebp), %eaxsubl$8, %esppushl%eaxpushl$.LC4callprintfaddl$16, %espmovl8(%ebp), %eaxmovb(%eax), %almovsbl%al,%eaxsubl$8, %esppushl%eaxpushl$.LC5callprintfaddl$16, %espsubl$8, %espleal-4(%ebp), %eaxpushl%eaxpushl$.LC6callprintfaddl$16, %espmovl-4(%ebp), %eaxsubl$8, %esppushl%eaxpushl$.LC7callprintfaddl$16, %espleaveret.sizefunc1, .-func1.globl main.typemain, @functionmain:leal4(%esp), %ecxandl$-16, %esppushl-4(%ecx)pushl%ebpmovl%esp, %ebppushl%ecxsubl$20, %espmovb$97, -9(%ebp)movb$98, -8(%ebp)movb$99, -7(%ebp)movb$100, -6(%ebp)movb$101, -5(%ebp)subl$12, %espleal-9(%ebp), %eaxpushl%eaxcallfunc1addl$16, %espmovl$0, %eaxmovl-4(%ebp), %ecxleaveleal-4(%ecx), %espret.sizemain, .-main.ident"GCC: (GNU) 4.1.2".section.note.GNU-stack,"",@progbits

下面是这段代码的输出:

***str1's neirong:bfe381f1***str1's addr:bfe381f1//这里,str1和&str1的值是完全一样的,所以在数组做为局部变量的时候,//数组名就是数组的起始地址,也就是在编译器中的符号表中数组名str1直//接对应的地址就是数组的起始地址,并不是指针的形式.***str's addr:bfe38200***str's neirong:bfe3821f***str[0]'s addr:bfe3821f***str[0]'s neirong:61***ptr's addr:bfe381f4***ptr's neirong:bfe3821f//这里就是作为函数形参传递的时候,str和&str[0]以及ptr的值都是以//一样的,这里str已经退化成了指针,就需要按照指针的解析来对数组名//进行解析,而str本身的地址&str则是和&ptr一样,具有自己的地址的,//因此在这里,str和ptr是一样的,已经变成了一个指针.也就是说在编//译器中的符号表中,有与str对应的地址,就是str变量本身的地址,到//这个地址里面取的内容,则就是数组的起始地址的内容.

 

其实这里得出的结论只有一句话:在数组名做为函数参数和用于表达式中的时候,数组名就退化成了指针,这个退化是完全意义上的,即数组名实际上就是成了一个指针变量,可以完全用解析指针的方法来解析数组名.