C语言进阶：第28课：指针和数组分析（上）

数组的本质：

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

数组的空间大小为

sizeof(array_type)*array_size

数组名可以看做指向数组第一个元素的常量指针。
问题： a+1的意义是什么？结果是什么？
指针运算的意义是什么？结果是什么？

int main()
{   
    int a[5] = {1, 2, 3, 4, 5};  
    int* p = NULL;
    
    printf("a = 0x%X\n", (unsigned int)(a));
    printf("a + 1 = 0x%X\n", (unsigned int)(a+1));//0 + sizeof(*a)  = 0xBFEA4998 + sizeof(a[0])
    printf("&a + 1 = 0x%X\n", (unsigned int)(&a+1));
    printf("%d\n", *(a+1));
    
    //p = a;
    
    printf("p = 0x%X\n", (unsigned int)(p));
    printf("p + 1 = 0x%X\n", (unsigned int)(p+1));// 0 + sizof(*P)

	return 0;
}

编译运行：

a = 0xBFEA4998
a + 1 = 0xBFEA499C
&a + 1 = 0xBFEA49AC
2
p = 0x0
p + 1 = 0x4

指针是一种特殊的变量，与整数的运算规则为：

	p+n  <---> (unsigned int)p + n * sizeof(p)

结论：

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

指针之间只支持减法运算

参与减法运算的指针类型必须相同

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

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

2、当两个指针指向的元素不在同一个数组中时，结果未定义（编译通过并不代表语法上不合法）。

指针的比较：
指针可以进行关系运算（<, <=, >, >=）
指针关系运算的前提是同时指向同一个数组中的元素；
任意两个指针之间的比较运算（==，！=）无限制；
参与比较运算的指针类型必须相同。

#include <stdio.h>

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

int main()
{
    char s[] = {'H', 'e', 'l', 'l', 'o'};
    char* pBegin = s;
    char* pEnd = s + DIM(s); // Key point
    char* p = NULL;
    
    printf("pBegin = %p\n", pBegin);
    printf("pEnd = %p\n", pEnd);
    
    printf("Size: %d\n", pEnd - pBegin);
	
    for(p=pBegin; p<pEnd; p++)
    {
        printf("%c", *p);
    }
    
    printf("\n");
   
    return 0;
}

数组声明时编译器自动分配一篇连续的内存空间

指针声明时只分配了用于容纳地址值的4字节空间

指数和整数可以进行运算，其结果为指针

指针之间只支持减法运算，其结果为数组元素的下标差

指针之间支持比较运算，其类型必须相同

C语言进阶：第28课：指针和数组分析（上）

猜你喜欢