数组与指针的不同点

 

 

/
//BY:CHLAW
//

※※※※※※※※※※※※※※※※数组与指针的相同点※※※※※※※※※※※※※※※※※※※15:09 2008-1-24
相同点就是可以互换的情形。主要在于"声明"和"使用"
声明本身还可以分成3种情况.
·外部数组的声明.  //不同
·数组的定义(这是声明的一种特殊情况) //不同
·函数的声明.     //相同
数组的声明就是数组,指针的神明就是指针.不能混淆.
在函数参数中数组名总是可以通过编译器转换为指针. 所以在形参中数组与指针可以互换.这是相同的.
//其实就是作为"函数定义的形式参数"的情况下,数组与指针是相同的.

在表达式中,数组和指针可以互换.
然而,数组和指针在编译器处理时是不同的,在运行时也是不一样的.并可能产生不同的代码.对编译器而言.一个数组就是一个地址,一个指针就是一个地址的地址.

*******************什么时候数组和指针是相同的********************************
C标准对此说明是:
规则1. 表达式中的数组名(与声明不同)被编译器当作一个指向该数组第一个元素的指针.
规则2.下标总是与指针的偏移量相同.
规则3.在函数参数的声明中,数组名被编译器当作指向该数组第一个元素的指针.
对于规则1. 只要记住:在表达式中,指针和数组是可以互换的,因为他们在编译器里最终形式都是指针,并且都可以进行取下标操作.
·在下列情况下,对数组的引用不能用指向该数组第一个元素的指针代替.
·  数组作为sizeof()的操作数的时候,因为sizeof求的是整个数组的大小,而不是指针所指向的第一个元素的大小.
·  使用&操作符取数组的地址的时候.
·  数组是一个字符串(或宽字符串)常量初始化值.
C语言把数组下标改写成指针偏移量的根本原因是底层硬件所使用的基本模型。
对于规则3.
在函数形参定义这个特殊情况下,编译器必须把数组形式改写成指向数组第一个元素的指针形式,编译器只向函数传递数组的地址,而不是整个数组的拷贝. ----所以在这种情况下,数组和指针是相同的.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
关于为什么C语言把数组形参当作指针
________________________________________________________________________________
如果采用"所有的数组在作为参数传递时都转换为指向数组的起始地址的指针,而其他参数均采用传值调用的"的预定,就可以简化编译器.类似的,函数的返回值绝对不能是一个函数数组,而只能是指向数组或函数的指针.

数组和指针可交换性的总结.
1.用a[i]这样的形式对数组进行访问总是被编译器"改写"或解释为"*(a+i)"这样的指针访问.
2.指针始终就是指针.它绝不可以改写成数组.你可以用下标形式访问指针,一般都是指针作为函数参数时,而且你知道实际传递给函数的是一个数组.
3.在特定的上下文中,也就是把它作为函数的参数(也只有这种情况),一个数组的声明可以看作为一个指针,作为函数参数的数组(就是在一个函数调用中)始终会被编译器修改成为指向数组第一个元素的指针.
4.因此,当把一个数组定义为函数的参数时,可以选择把它定义成数组,也可以定义成指针,不管是哪种方法,在函数内部事实上获得的都是一个指针.
5.在其他所有情况中,定义和声明必须匹配.如果定义了一个数组,在其他文件对它进行声明时也必须把它声明为数组,指针也是如此,

C标准中表示:当几个[] 修饰符连续出现时(方括号里面是数组的范围),就是定义一个多维数组.
C语言里面只有一种别的语言称为数组的数组的形式,但C语言称它为多维数组.

不能把一个数组赋值给另一个数组,因为数组作为一个整体不能成为被赋值的对象.可以把数组名赋值给一个指针,就是因为这个"在表达式中的数组名被当作一个指针"的规则.

只有字符常量才可以初始化指针数组.指针数组不能由非字符串的类型直接初始化.

※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※