C51程序设计中的数组和指针关系

一、指针是地址
各种类型的数据被分配合适的内存。比如整形数据通常被分配两个连续的存储单元(字节)存放。对数据的访问是通过分配给数据的内存首地址来实现的。我们称这些内存地址为指针。

二、指针变量是存放地址的变量
如果我们定义了一些变量来存放数据的地址(指针)，这样的变量就是指针变量。也就是说，指针变量有两个特征：首先它作为变量会分配内存空间；其次，它存放的内容应该是内存地址。

比如，当我们声明了一个整形变量i并且赋予初始值10；同时我们声明了一个整形的指针变量p，将它指向变量i。当我们运行代码时，内存中可能是这样的：

i -> |0AH| FFF0H

|00H|FFF1H
|...|
p -> |0F0H | FFFAH

|0FFH|FFFBH

三、一维数组是指针，它指向数组首(元素)地址
1. 代码int a[3] = {1, 2, 3}; 定义了一个包含3个元素的整形一维数组。在引用数组元素时，我们使用“a[下标]”的格式；在引用数组时，我们直接使用数组名a。而数组名a表示(指向)数组首元素的地址(指针)

测试代码：
int a[3] = {1, 2, 3};
printf("a = %xn", a);
printf("&a[0] = %xn", &a[0]);

执行结果：
a= fff0
&a[0] = fff0

2. 由于一维数组是指针，所以可以按照指针来操作它: 一维数组指向数组首元素，所以在一维数组前加一元操作符“*”可以返回第一个元素的值。比如：

测试代码：
int a[3] = {1, 2, 3};
printf("*a = %xn", *a);
printf("a[0] = %xn", a[0]);

执行结果：
*a= 1
a[0] = 1

四、一维数组(名)不是指针变量
上面的测试代码中，数组名a是一个指针变量吗? 如果数组名a是一个指针变量，那么，它在应该会被分配独立的存储空间(有自己的地址)，并且它的值应该是数组首地址，如图：

指针变量a -> | 0F0H | xxxxH

| 0FFH | yyyyH

...
元素a[0]-> |01H| FFF0H

|00H| FFF1H
|02H| FFF2H
|00H| FFF3H
|03H| FFF4H
|00H| FFF5H

下面，我们再做一个试验：
int a[3] = {1, 2, 3};
printf("&a = %xn", &a);
printf("a= %xn", a);
printf("*a = %xn", *a);
printf("a[0] = %xn", a[0]);

执行结果：
&a = fff0
a= fff0
*a = fff0
a[0] = 1

执行结果很奇怪，如果按照结果画出内存示意图，似乎是这样的：

指针变量a -> | 0F0H |FFF0H

| 0FFH |FFF1H

...
元素a[0]-> |01H|FFF0H

|00H|FFF1H
|02H| FFF2H
|00H| FFF3H
|03H| FFF4H
|00H| FFF5H

奇怪在哪里? ------ 怎么可能有两个内存空间的地址相同呢(FFF0H)? 当然不可能，这正好说明数组名a并不是一个指针变量因为它没有自己的存贮空间。这些奇怪的结果是编译器在编译期间根据另外的规则做出的处理。