【转】 http://blog.chinaunix.net/uid-21411227-id-1826897.html
一．指针与数组的联系：
指针与数组是C语言中很重要的两个概念，它们之间有着密切的关系，利用这种关系，可以增强处理数组的灵活性，加快运行速度，本文着重讨论指针与数组之间的联系及在编程中的应用。
1．指针与数组的关系
当一个指针变量被初始化成数组名时，就说该指针变量指向了数组。如：
1 char str[20], *ptr; 2 3 ptr=str;
ptr被置为数组str的第一个元素的地址，因为数组名就是该数组的首地址，也是数组第一个元素的地址。此时可以认为指针ptr就是数组str（反之不成立），这样原来对数组的处理都可以用指针来实现。如对数组元素的访问，既可以用下标变量访问，也可以用指针访问。
2．指向数组元素的指针
若有如下定义：
int a[10], *pa; pa=a;
则p=&a[0]是将数组第1个元素的地址赋给了指针变量p。
实际上，C语言中数组名就是数组的首地址，所以第一个元素的地址可以用两种方法获得：p=&a[0]或p=a。
这两种方法在形式上相像，其区别在于：pa是指针变量，a是数组名。值得注意的是：pa是一个可以变化的指针变量，而a是一个常数。因为数组一经被说明，数组的地址也就是固定的，因此a是不能变化的，不允许使用a＋＋、＋＋a或语句a＋=10，而pa＋＋、＋＋pa、pa＋=10则是正确的。由此可见，此时指针与数组融为一体。
3．指针与一维数组
理解指针与一维数组的关系，首先要了解在编译系统中，一维数组的存储组织形式和对数组元素的访问方法。
一维数组是一个线形表，它被存放在一片连续的内存单元中。C语言对数组的访问是通过数组名（数组的起始地址）加上相对于起始地址的相对量（由下标变量给出），得到要访问的数组元素的单元地址，然后再对计算出的单元地址的内容进行访问。通常把数据类型所占单元的字节个数称为扩大因子。
实际上编译系统将数组元素的形式a[i]转换成*(a＋i)，然后才进行运算。对于一般数组元素的形式：<数组名>[<下标表达式>]，编译程序将其转换成：*(<数组名>＋<下标表达式>)，其中下标表达式为：下标表达式*扩大因子。整个式子计算结果是一个内存地址，最后的结果为：*<地址>=<地址所对应单元的地址的内容>。由此可见，C语言对数组的处理，实际上是转换成指针地址的运算。
数组与指针暗中结合在一起。因此，任何能由下标完成的操作，都可以用指针来实现，一个不带下标的数组名就是一个指向该数组的指针。
4．指针与多维数组
用指针变量可以指向一维数组，也可以指向多维数组。但在概念上和使用上，多维数组的指针比一维数组的指针要复杂一些。
例如，在一个三维数组中，引用元素c[i][j][k]的地址计算最终将换成：*(*(*(c＋i)＋j)＋k)。了解了多维数组的存储形式和访问多维数组元素的内部转换公式后，再看当一个指针变量指向多维数组及其元素的情况。
1）指向数组元素的指针变量
若有如下说明：
1 int a[3][4]; 2 3 int *p; 4 5 p=a;
p是指向整型变量的指针；p=a使p指向整型二维数组a的首地址。
*(*(p＋1)＋2)表示取a[1][2]的内容；*p表示取a[0][1]的内容，因为p是指向整型变量的指针；p＋＋表示p的内容加1，即p中存放的地址增加一个整型量的字节数2，从而使p指向下一个整型量a[0][1]。
2）指向由j个整数组成的一维数组的指针变量
当指针变量p不是指向整型变量，而是指向一个包含j个元素的一维数组。如果p=a[0]，则p＋＋不是指向a[0][1]，而是指向a[1]。这时p的增值以一维数组的长度为单位。
5．指针与字符数组
C语言中许多字符串操作都是由指向字符数组的指针及指针的运算来实现的。因为对于字符串来说，一般都是严格的顺序存取方式，使用指针可以打破这种存取方式，更为灵活地处理字符串。
另外由于字符串以′\0′作为结束符，而′\0′的ASCII码是0，它正好是C语言的逻辑假值，所以可以直接用它作为判断字符串结束的条件，而不需要用字符串的长度来判断。C语言中类似的字符串处理函数都是用指针来完成，使程序运行速度更快、效率更高，而且更易于理解。
二．指针与数组的区别：
1.把数组作为参数传递的时候，会退化为指针
数组名作为函数形参时，在函数体内，其失去了本身的内涵，仅仅只是一个指针；很遗憾，在失去其内涵的同时，它还失去了其常量特性，可以作自增、自减等操作，可以被修改。
所以，数组名作为函数形参时，其沦落为一个普通指针！它的贵族身份被剥夺，成了一个地地道道的只拥有4个字节的平民。
典型的情况是
1 void func(int A[]) 2 3 { 4 5 //sizeof(A)得到的是4bytes 6 7 } 8 9 int main() 10 11 { 12 13 int a[10]; //sizeof(a) 得到的结果是40bytes 14 15 funct(a); 16 17 }
2、数组名可作为指针常量
根据结论2，数组名可以转换为指向其指代实体的指针，所以程序1中的第5行数组名直接赋值给指针，程序2第7行直接将数组名作为指针形参都可成立。
下面的程序成立吗？
1 int intArray[10]; 2 3 intArray++;
读者可以编译之，发现编译出错。原因在于，虽然数组名可以转换为指向其指代实体的指针，但是它只能被看作一个指针常量，不能被修改。
而指针，不管是指向结构体、数组还是基本数据类型的指针，都不包含原始数据结构的内涵，在WIN32平台下，sizeof操作的结果都是4。
顺便纠正一下许多程序员的另一个误解。许多程序员以为sizeof是一个函数，而实际上，它是一个操作符，不过其使用方式看起来的确太像一个函数了。语句sizeof(int)就可以说明sizeof的确不是一个函数，因为函数接纳形参（一个变量），世界上没有一个C/C++函数接纳一个数据类型（如int）为"形参"。
3．对于问题：
1 char a[3] = "abc"; 2 strcpy(a,"end");//it's ok 3 4 char *a = "abc"; 5 strcpy(a,"end"); //it's wrong
解释如下：
char *a = "abc"; abc是一个字符串常量，有它自己的存储空间，因为分配在只读数据块，我们无法直接访问。这样赋值后，a只能读，不能写
所以strcpy(a, "end")不行，只有当你为a分配非常量的存储空间后才行
如：
1 char *a = new char[4]; 2 3 strcpy(a, "end"); 4 5 printf("%s", a); 6 7 delete []a;
4．数组和指针的分配
数组是开辟一块连续的内存空间,数组本身的标示符代表整个数组,可以用sizeof取得真实的大小；指针则是只分配一个指针大小的内存,并可把它的值指向某个有效的内存空间
[全局的和静态的]
1 char *p= "hello ";//一个指针,指向只读数据块(section)里的 "hello ",可被编译器放入字符串池(也就是说, 你在写一个char *q= "hello ",可能和p共享数据) 2 3 char a[]= "hello ";//一个数组,分配在可写数据块(section),不会被放到字符串池中
[局部]
char *p= "hello ";
一个指针,指向只读数据块(section)里的 "hello ",可被编译器放入字符串池(也就是说, 你在写一个char *q= "hello ",可能和p共享数据),另外,在函数中可以返回它的地址,也就是说,指针是局部变量,他指向的数据却是全局的.
char a[]= "hello ";
一个数组,分配在堆栈上,初始化由编译器进行(短的话直接用指令填充,长的就从全局字符串表拷贝),不会被放到字符串池中(但是却可能从字符串池中拷贝过来),也不应该返回
它的地址.
[代码中的字面字符串]
printf( "%s\n ", "hello ");
这两个字面常量( "%s\n "和 "hello "),都在只读数据块里
[用途]
全局指针
用于不需要修改内容,却可能会修改指针的情况(当然,不修改也没人反对)
全局数组,用于不需要修改地址,却需要修改内容的场合
既需要修改指针,有需要修改内容怎么办呢?定义一个数组,在定义一个指针指向它就可以了
函数中如果不需要修改字符串的内容,应该尽量用char*p= "xxx "这种写法.
初始化的局部字符数组影响效率,一般应该尽量避开(应该使用的情况下则不要犹豫)