數組和指針

指針和數組有什麼區別？

C程序（array.c）：

#include <stdio.h>

int main()
{
    int date[3] = {2012,11,11};

    int *p = date;

    int a = date[1];
    int b = p[1];

    printf("a:%d b:%d\n", a, b);
    printf("date:%p\np   :%p\n", date, p);
    return 0;
}

彙編及註釋：

.file "array.c" .section .rodata .LC0: .string "a:%d b:%d\n" .LC1: .string "date:%p\np :%p\n" .text .globl main .type main, @function main: pushl %ebp #-幀指針切換 movl %esp, %ebp #/ andl $-16, %esp #-棧對齊到16字節 subl $48, %esp #-開拓局部變量空間 movl $2012, 24(%esp) #\ movl $11, 28(%esp) #-date數組初始化 movl $11, 32(%esp) #/ leal 24(%esp), %eax #\ movl %eax, 44(%esp) #-初始化指針p movl 28(%esp), %eax #\ movl %eax, 40(%esp) #-初始化a movl 44(%esp), %eax #\ addl $4, %eax #-\ movl (%eax), %eax #-初始化b movl %eax, 36(%esp) #/
`movl $.LC0, %eax movl 36(%esp), %edx movl %edx, 8(%esp) movl 40(%esp), %edx movl %edx, 4(%esp) movl %eax, (%esp) call printf #第一次調用 printf 函數`
`movl $.LC1, %eax movl 44(%esp), %edx movl %edx, 8(%esp) leal 24(%esp), %edx movl %edx, 4(%esp) movl %eax, (%esp) call printf #第二次調用 printf 函數`
`movl $0, %eax #return 0 leave ret .size main, .-main .ident "GCC: (GNU) 4.5.1 20100924 (Red Hat 4.5.1-4)" .section .note.GNU-stack,"",@progbits`

大家對 lea 指令可能比較陌生，它跟 mov 指令很像，不過 lea 指令傳遞的是內存的地址，而 mov 指令傳遞的的是內存的值，例如：

leal 24(%esp), %eax        # 將 24+esp 的結果給 eax
movl 24(%esp), %eax        # 將 2012 給 eax

總結

首先，我們看到 main 也是一個函數，它編譯後的彙編代碼跟函數調用中分析過的 Double 函數有一樣的結構。

　　其次，指針是有存儲空間的（32位機是4個字節的大小），其中存儲的是一個內存地址；而數組只有數組中的元素有存儲空間，而 C 代碼中經常用到的數組首地址（用數組名來代替）可以說是沒有存儲空間的。假設將數組首地址賦值給一個指針，數組首地址的存在形式是：

如果是全局數組，它將是 mov 指令中的一個立即數（常量）
如果是局部數組，它將是 lea 指令中由 esp 或 ebp + 常量計算的結果

所以數組的首地址是一條機器指令的操作數，不在局部變量空間中，也不在全局變量空間中，而是被固化在代碼中。因此，數組首地址不能被更改。

printf 函數的調用跟別的函數一樣：先傳參數，然後 call printf，打印指針都可以使用 %p 格式描述符。程序的運行結果如下：

[lqy@localhost temp]$ gcc -o array array.c
[lqy@localhost temp]$ ./array
a:11 b:11
date:0xbf9c3b68
p   :0xbf9c3b68
[lqy@localhost temp]$

date 和 p 的值都是 date 數組的首地址。