数组的本质:
数组是一段连续的内存空间
数组的空间大小为
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字节空间
指数和整数可以进行运算,其结果为指针
指针之间只支持减法运算,其结果为数组元素的下标差
指针之间支持比较运算,其类型必须相同