C/C++中，数组名和指针的区别

【转载】http://blog.csdn.net/cbib_cat/article/details/6821189

我从本科开始学习C语言到现在读研究生，一直认为数组名等同于指针。无论我的C语言老师在课堂上讲，还是阅读国内的那些C语言教材，给我的理解就是：数组名就是指针。它们的区别就是：数组名是一个常量指针，不可以修改其值；而指针可以任意修改值，指向不同的地方。这几年来，我也一直把数组名当做指针用，也没有出现任何问题。

昨天，和一个本科同学在一起，他给我出了一个小题目，有2个C文件，如下：

在文件1中，定义一个数组。

//1.c

int a[] = {100, 2, 3, 4, 5};

在文件2中，通过extern引入文件1中的a，问a[2]是多少？

//2.c

1. #include "stdafx.h"  
2. #include "iostream"   

1. using namespace std;  
2.   
3. extern int *a;  
4.   
5. int main(int argc, char *argv[])  
6. {  
7.     cout<<a[2];  
8.     getchar();  
9. }  

 

我毫不犹豫的回答，a[2] = 3。通过上机测试下，答案是错误的。编译、链接都没错误，运行时出现了下面的错误：11.exe 中的 0x004113e5 处未处理的异常: 0xC0000005: 读取位置 0x0000006c 时发生访问冲突。是说访问内存错误，我看了下a的值，a0x00000064int *，即a = 100，即a是指向内存地址为100的地方。细心一下会发现，100是a[0]的值，如果我定义int a[] = {1, 2, 3, 4, 5}，运行时，会发现a = 1。所以在2.c中，int *a并没有指向1.c中数组a的内存空间，而是指向了内存地址为a[0]的地方，因此会发生访问错误。

为什么会出现这种情况，我到网上查了下，发现主要问题是：指针与数组寻址方式的不同。在编译器中，数组使用的是直接寻址方式，而指针使用的是间接寻址方式。大家看下下面的例子，就会很明白了。

当你定义一个数组, 编译器会对数组分配一段连续的内存空间. 一旦你使用数组来下标方式来存取元素, 其过程为:

 

 

char a[9] = "abcdefgh" ; c = a[3] ;

     假设编译器符号表具有一个地址 9980 (数组 a 的起始地址)
      运行时步骤 1: 直接将 9980 与 3 相加
      运行时步骤 2: 取该地址的内容

 

 

当你定义一个指针, 编译器会对指针分配一个存放指针大小的空间. 一旦使用指针来获取元素, 其过程为: 

char *p = "abcdefgh" ; c = p[3] ;

编译器符号表具有一个 p, 假设其地址为 4624, 内容为 5081
      运行时步骤 1: 取地址 4624 的内容, 即得到 5081
      运行时步骤 2: 将 5081 与 3 相加 
      运行时步骤 3: 取该地址内容 

 

以上可以看出, 对指针和数组的取值方式在底层实现有很大差异: 指针比数组多了一层取地址操作.

可能到这里，仍会有疑问：寻址方式不同和程序内存访问错误有什么直接的关系呢？如果再了解下编译的过程，就会明白很多。

在编译时，所有的变量都会存放的一个符号表中，一个简单的符号表如下所示：

 

 

 

以上符号表表示：变量a的存储地址是0xffaa，变量b的存储地址是0xffcc。而数组在符号表表示时：数组变量a的存放地址，就是数组的首地址，也就是&a[0]。

 

到这里一切都清晰了：我们在1.c中定义了数组a[]，它会在符号表中，增加一列：a | &a[0](数组的首地址)。

在2.c中，我们声明变量：extern int *a，此时编译器并不会为该a分配空间。再链接时，编译器会在符号表中寻找变量a，这时便会找到符号表中数组a变量。

由于数组和指针的寻址方式不同（如上），我们在2.c中，求取a[2]时，会首先从a的存放地址中求取a的值，即： a = *(&a[0])，之前提到的在2.c中，int *a并没有指向1.c中数组a的内存空间，而是指向了内存地址为a[0]的地方，就可以解释了。

在得到a的值后，a[2] = *(a+2)；由于此时a = a[0] = 100，则a[2] = *(100+2)。102这个地址偏低，不是程序数据段所在的位置，所以我们在访问该地址时，便会引发访问错误。

 

综上：数组名并不是指针。