数组是一段连续的内存空间
数组空间大小为sizeof(array_type)*array_size
数组名可看作指向数组第一个元素的常量指针
当指针p指向一个同类型的数组的元素时:p+1将指向当前元素的下一个元素;p-1将指向当前元素的上一个元素。
指针之间只支持减法运算
参与减法运算的指针类型必须相同
注意:
1.只有当两个指针指向同一个数组中的元素时,指针相减才有意义,其意义为指针所指元素的下标差
2.当两个指针指向的元素不在同一个数组中时,结果未定义
指针也可进行关系运算
指针关系运算的前提是同时指向同一个数组中的元素
任意两个指针之间的比较运算(==,!=)无限制
参与比较运算的指针类型必须相同
小结
数组声明时编译器自动分配一片连续的内存空间
指针声明时只分配了用于容纳地址值的4字节空间
指针和整数可以进行运算,其结果为指针
指针之间只支持减法运算,其结果为数组元素下标差
指针之间支持比较运算,其类型必须相同
a和&a的区别
a为数组首元素的地址
&a为整个数组的地址
a和&a的区别在于指针运算
a+1 (unsigned int)a + sizeof(*a)
&a+1 (unsigned int)(&a) + sizeof(*&a) --> (unsigned int)(&a) + sizeof(a)
数组作为参数时,编译器将其编译成对应的指针
void f(int a[]); <--> void f(int* a)
void f(int a[5]); <--> void f(int* a)
结论:
一般情况下,当定义的函数中有数组参数时,需要定义另一个参数标示数组的大小
小结
数组名和指针仅使用方式相同
数组名的本质不是指针
指针的本质不是数组
数组名并不是数组的地址,而是数组首元素的地址
函数的数组参数退化为指针