4.4、数组与指针

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

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

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

4、指针的运算
    ·指针是一种特殊的变量，与整数的运算规则为
        p + n;<-->(unsigned int)p + n*sizeof(*p);
    ·结论：
        当指针p指向一个桶类型的数组的元素时；p+1将指向当前元素的下一个元素；p-1将
           指向当前元素的上一个元素。
           
5、指针之间只支持减法运算，且必须参与运算的指针类型必须相同
     p1 - p2;<-->((unsigned int)p1 - (unsigned int)p2)/sizeof(type);
        注意:
           ·只有当两个指针指向同一个数组中的元素时，指针相减才有意义，其意义为指针所指元素的下标差
           ·当两个指针指向的元素不在同一个数组中时，结果未定义
           
6、指针也可以进行关系运算
     <  <=  >  >=
     ·指针关系运算的前提是同时指向同一个数组中的元素
     ·任意两个指针之间的比较运算(==,!=)无限制
    
7、数组的访问
     ·以下标的形式访问数组中的元素
     ·以指针的形式访问数组中的元素
    
8、下标VS指针
     ·从理论上而言，当指针以固定增量在数组中移动时，其效率高于下标产生的代码
     ·当指针增量为1且硬件具有硬件增量模型时，表现更佳
       注意：
         现代编译器的生成代码优化率已大大提高，在固定增量时，下标形式的效率已经和指针形式相当；
           但从可读性和代码维护的角度来看，下标形式更优
    
9、    a和&a的区别
     ·a为数组的首元素地址
     ·&a为整个数组的地址
     ·a和&a的意义不同其区别在于指针运算
       a + 1 ->(unsigned int)a + sizeof(*a)
       &a + 1 ->(unsigned int)(&a) + sizeof(*&a)
       
9、指针运算经典问题(摩托莫拉)
     int main()
     {
         int a[5] = {1, 2, 3, 4, 5};
         int* p1 = (int*)(&a + 1);
         int* p2 = (int*)((int)a + 1);
         int* p3 = (int*)(a + 1);
        
         printf("%d, %d, %d\n", p1[-1], p2[0], p3[1]);
     }
    
10、C语言中，数组作为函数参数时，编译器将其编译成对应的指针
      void f(int a[]); <-->void f(int* a);
      void f(int a[5]); <-->void f(int* a);
      结论：
        一般情况下，当定义的函数中有数组参数时，需要定义另一个参数来标识数组的大小
        
11、指针和数组对比
     ·数组声明时编译器自动分配一片连续内存空间
     ·指针声明时只分配了用于容纳指针的4字节空间
     ·在作为函数参数时，数组参数和指针参数等价
     ·数组名在多数情况下可以看做常量指针，其值不能改变
     ·指针的本质是变量，保存的值被看做内存中的地址