学步园

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

我写了段测试代码:

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

下面是对应的汇编代码:

.file "array.c"<br /> .section .rodata<br /> .LC0:<br /> .string "***str1's neirong:%x/n"<br /> .LC1:<br /> .string "***str1's addr:%x/n"<br /> .LC2:<br /> .string "***str's addr:%x/n"<br /> .LC3:<br /> .string "***str's neirong:%x/n"<br /> .LC4:<br /> .string "***str[0]'s addr:%x/n"<br /> .LC5:<br /> .string "***str[0]'s neirong:%x/n"<br /> .LC6:<br /> .string "***ptr's addr:%x/n"<br /> .LC7:<br /> .string "***ptr's neirong:%x/n"<br /> .text<br /> .globl func1<br /> .type func1, @function<br /> func1:<br /> pushl %ebp<br /> movl %esp, %ebp<br /> subl $24, %esp<br /> movl 8(%ebp), %eax<br /> movl %eax, -4(%ebp)<br /> movb $115, -7(%ebp)<br /> movb $119, -6(%ebp)<br /> movb $118, -5(%ebp)<br /> subl $8, %esp<br /> leal -7(%ebp), %eax<br /> pushl %eax<br /> pushl $.LC0<br /> call printf<br /> addl $16, %esp<br /> subl $8, %esp<br /> leal -7(%ebp), %eax<br /> pushl %eax<br /> pushl $.LC1<br /> call printf<br /> addl $16, %esp<br /> subl $8, %esp<br /> leal 8(%ebp), %eax<br /> pushl %eax<br /> pushl $.LC2<br /> call printf<br /> addl $16, %esp<br /> movl 8(%ebp), %eax<br /> subl $8, %esp<br /> pushl %eax<br /> pushl $.LC3<br /> call printf<br /> addl $16, %esp<br /> movl 8(%ebp), %eax<br /> subl $8, %esp<br /> pushl %eax<br /> pushl $.LC4<br /> call printf<br /> addl $16, %esp<br /> movl 8(%ebp), %eax<br /> movb (%eax), %al<br /> movsbl %al,%eax<br /> subl $8, %esp<br /> pushl %eax<br /> pushl $.LC5<br /> call printf<br /> addl $16, %esp<br /> subl $8, %esp<br /> leal -4(%ebp), %eax<br /> pushl %eax<br /> pushl $.LC6<br /> call printf<br /> addl $16, %esp<br /> movl -4(%ebp), %eax<br /> subl $8, %esp<br /> pushl %eax<br /> pushl $.LC7<br /> call printf<br /> addl $16, %esp<br /> leave<br /> ret<br /> .size func1, .-func1<br /> .globl main<br /> .type main, @function<br /> main:<br /> leal 4(%esp), %ecx<br /> andl $-16, %esp<br /> pushl -4(%ecx)<br /> pushl %ebp<br /> movl %esp, %ebp<br /> pushl %ecx<br /> subl $20, %esp<br /> movb $97, -9(%ebp)<br /> movb $98, -8(%ebp)<br /> movb $99, -7(%ebp)<br /> movb $100, -6(%ebp)<br /> movb $101, -5(%ebp)<br /> subl $12, %esp<br /> leal -9(%ebp), %eax<br /> pushl %eax<br /> call func1<br /> addl $16, %esp<br /> movl $0, %eax<br /> movl -4(%ebp), %ecx<br /> leave<br /> leal -4(%ecx), %esp<br /> ret<br /> .size main, .-main<br /> .ident "GCC: (GNU) 4.1.2"<br /> .section .note.GNU-stack,"",@progbits<br />

下面是这段代码的输出:

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

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