数组与指针<二>

数组的本质：

数组是一段连续的内存空间

数组的空间大小为sizeof(array_type)*array_size

数组名可看做指向数组第一个元素的常量指针

 

指针的运算：

指针是一种特殊的变量，与整数的运算规则为：
p+n <=> (unsigned int)p + n*sizeof(*p)

当指针p指向一个同类型的数组的元素时，p+1将指向当前元素的下一个元素；p-1将指向当前元素的上一个元素。

 

指针的运算：

指针之间只支持减法运算，且必须参与运算的指针类型必须相同

p1 – p2 <=> ( (unsigned int)p1 - (unsigned int)p2) / sizeof(type)

*只有当两个指针指向同一个数组中的元素时，指针相减才有意义，其意义为指针所指元素的下标差

*当两个指针指向的元素不在同一个数组中时，结果未定义。

 

指针的比较：
指针关系运算的前提是同时指向同一个数组中的元素

任意两个指针之间的比较运算(==, !=)无限制

 1 #include <stdio.h>

 2 #include <malloc.h>

 3 

 4 #define DIM(a) (sizeof(a) / sizeof(*a))

 5 

 6 int main()

 7 {

 8     char s[] = {'H', 'e', 'l', 'l', 'o'};

 9     char* pBegin = s;

10     char* pEnd = s + DIM(s);

11     char* p = NULL;

12     

13     for(p=pBegin; p<pEnd; p++)

14     {

15         printf("%c", *p);

16     }

17     

18     printf("\n");

19     

20     return 0;

21 }

 

下标VS指针：

*从理论上而言，当指针以固定增量在数组中移动时，其效率高于下标产生的代码

*当指针增量为1且硬件具有硬件增量模型时，表现更佳

 

a和&a的区别：

a为数组是数组首元素的地址

&a为整个数组的地址

a和&a的意义不同其区别在于指针运算：

 a+1 ==>>  (unsigned int)a + sizeof(*a)

 &a+1 ==>> (unsigned int)(&a)+sizeof(*&a)

 1 #include <stdio.h>

 2 

 3 int main()

 4 {

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

 6     int* p1 = (int*)(&a + 1); 

 7     int* p2 = (int*)((int)a + 1);

 8     int* p3 = (int*)(a + 1);

 9     

10     printf("%d, %d, %d\n", p1[-1], p2[0], p3[1]);

11     

12     return 0;

13 }

 

数组参数：
c语言中，数组作为函数参数时，编译器将其编译成对应的指针

 void f(int a[]) <=> void f(int *a)

 void f(int a[1000]) <=> void f(int *a)

一般情况下，当定义的函数中有数组参数时，需要定义另一个参数来标示数组的大小。

 

好吧，先写到这，后续。