[历史归档]本文原发布于 cstriker1407.info 个人博客内容为历史存档仅供参考。发布时间2015-02-16 标题【转】数组名和数组名取地址的区别分类编程 / C C 标签CC【转】数组名和数组名取地址的区别数组名和数组名取地址的区别本文转自【 http://blog.csdn.net/daniel_ice/article/details/6857019 】。数组名和数组名取地址的区别以下代码会打印出什么样的日志呢#includestdio.hinta[2]{1,2};intmain(){printf(a%p ,a);// Iprintf(a%p ,a);// IIprintf(a1%p ,a1);// IIIprintf(a1%p ,a1);// IVreturn0;}本机linux结果输出a 0x804a014 a 0x804a014 a 1 0x804a018 a 1 0x804a01c没错上面I 和 II打印出来的地址是一样的IV 要比 III 大4个字节的地址空间。下面是我对这一现象的解释如有不妥的地方请各位大虾一定给于指出:首先引用《C和指针》p141中的理论在C中 在几乎所有使用数组的表达式中数组名的值是个指针常量也就是数组第一个元素的地址。 它的类型取决于数组元素的类型 如果它们是int类型那么数组名的类型就是“指向int的常量指针“。看到这里我想应该就知道为什么 会有I 和 III式的结果了。对于II 和 IV 则是特殊情况在《C和指针》p142中说到在以下两中场合下数组名并不是用指针常量来表示就是当数组名作为sizeof操作符和单目操作符的操作数时。 sizeof返回整个数组的长度而不是指向数组的指针的长度。取一个数组名的地址所产生的是一个指向数组的指针而不是一个指向某个指针常量的指针。所以a后返回的指针便是指向数组的指针跟a一个指向a[0]的指针在指针的类型上是有区别的。然后我们用符号表和汇编代码来看看编译器到底是怎样区分a 和 a, 并将其转换为汇编代码的。通过 nm a.out 得到符号表如下。。。。。。。// 省略了一些与本主题无关的变量0804a01c A _edata0804a024 A _end080484ec T _fini08048508R _fp_hw080482bc T _init08048330T _start0804a014 D a// a 变量保存在虚拟地址0x0804a014 中0804a01c b completed.70210804a00c W data_start0804a020 b dtor_idx.7023080483c0 t frame_dummy080483e4T main// main函数的地址U printfGLIBC_2.0调用gcc -S xx.c得到汇编代码.file name_of_array.c .globl a .data .align 4 .type a, object .size a, 8 // 从这里我们便知道sizeof(a) 等于8 a: .long 1 // 从这里可以看出编译器直接把 .c文件中的int 转化为long型 .long 2 .section .rodata .LC0: .string a %p .LC1: .string a %p .LC2: .string a 1 %p .LC3: .string a 1 %p .text .globl main .type main, function main: pushl %ebp movl %esp, %ebp andl $-16, %esp subl $16, %esp movl $.LC0, %eax // I 所对应的汇编代码 movl $a, 4(%esp) movl %eax, (%esp) call printf movl $.LC1, %eax // II 所对应的汇编代码 movl $a, 4(%esp) movl %eax, (%esp) call printf movl $.LC2, %eax // III 所对应的汇编代码 movl $a4, 4(%esp) movl %eax, (%esp) call printf movl $a8, %edx // IV 所对应的汇编代码 movl $.LC3, %eax movl %edx, 4(%esp) movl %eax, (%esp) call printf movl $0, %eax leave ret .size main, .-main .ident GCC: (Ubuntu 4.4.3-4ubuntu5) 4.4.3 .section .note.GNU-stack,,progbitsI所对应的汇编代码 movl $a, 4(%esp)表示取地址通过符号表我们知道 a 对应地址为 0 x 0804 a 014 所以这段代码将会打印 0 x 0804 a 014 。但是我们明明在代码里写的是 p r i n t f ( a , a ) , 如果 a 不为数组名而是一般意义的 i n t 变量相应的汇编码应为 m o v l a , 4 ( 表示取地址通过符号表我们知道a对应地址为0x0804a014 所以这段代码将会打印0x0804a014。但是我们明明在代码里写的是printf(a %p , a), 如果a不为数组名而是一般意义的int变量相应的汇编码应为movl a, 4(%esp) 怎么编译后的汇编代码会是对a取地址呢 本人猜测为编译器自动给a 加了一个取值符从而翻译为表示取地址通过符号表我们知道a对应地址为0x0804a014所以这段代码将会打印0x0804a014。但是我们明明在代码里写的是printf(a,a),如果a不为数组名而是一般意义的int变量相应的汇编码应为movla,4(a。结论 对于用户没有明确给出的编码编译器翻译自动给变量a加上取值符$ 其中取a的地址得到的指针类型由数组元素决定。II 略过III movla 4 , 4 ( 对 a 加上取值符得到 a4, 4(%esp) 对a加上取值符得到a4,4(对a加上取值符得到a因为数组元素类型为int所以指针每次需要移动四个字节的地址空间。 所以c代码 a 1 翻译为汇编 $a 4IV movlKaTeX parse error: Expected EOF, got at position 37: …ntf(a %p , ̲a 1) 根据《C和指针…a 8结论 对于用户明确给出的编码编译器将会把取a的地址得到的指针类型看作指向数组的指针。总结编译器通过用户是否给出来决定指针变量的类型进而翻译为相应的汇编码。 或者换句话说