C语言进阶:第28课:指针和数组分析(上)

时间:2022-04-17 07:25:30

数组的本质:

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

数组的空间大小为

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字节空间

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

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

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