指针和数组(上)
专题四:指针和数组(上)。包括以下章节:
- 指针基础
- 数组基础
- 数组与指针分析
- C语言中的字符串
数组的本质
- 数组是一段连续的内存空间
- 数组的空间大小为sizeof(array_type) * array_size
- 数组名可看做指向数组第一个元素的指针
指针的运算
- 指针是一种特殊的变量,与整数的运算规则为:
p + n; <==> (unsigned int)p + n * sizeof(*p); - 结论: 当指针p指向一个同类型的数组的元素时:p+1将指向当前元素的下一个元素;p-1将指向当前元素的上一 个元素。
3-1.c
#include<stdio.h>
int main()
{
int a[5] = {0};
//a=F70BE2B0
//根据公式:a+1 = F70BE2B0 + 1 * sizeof(*a) = F70BE2B4
//*a是a数组第一个元素的值0,是int型, sizeof(*a) = 4
printf("%0X, %0X\n", (unsigned int)(long)a, (unsigned int)(long)(a+1));
return 0;
}
结果:
指针之间只支持减法运算,且必须参与运算的指针类型必须相同
p1 – p2; ( (unsigned int)p1 - (unsigned int)p2) / sizeof(type);- 只有当两个指针指向同一个数组中的元素时,指针 相减才有意义,其意义为指针所指元素的下标差
- 当两个指针指向的元素不在同一个数组中时,结果未定义(1,一个在栈上定义,一个在堆上定义;2,计算出来的是相差字节数)
3-2.c
#include <stdio.h>
#include <malloc.h>
int main()
{
char s1[] = {'H', 'e', 'l', 'l', 'o'};
int i = 0;
char s2[] = {'W', 'o', 'r', 'l', 'd'};
char* p0 = s1;
char* p1 = &s1[3];
char* p2 = s2;
int* p = &i;
printf("%d\n", p0 - p1);
printf("%d\n", p0 + p2);
printf("%d\n", p0 - p2);
printf("%d\n", p0 - p);
printf("%d\n", p0 * p2);
printf("%d\n", p0 / p2);
return 0;
}
指针的比较
- 指针也可以进行关系运算
- 指针关系运算的前提是同时指向同一个数组中的元素
- 任意两个指针之间的比较运算(==, !=)无限制
3-3.c
#include <stdio.h>
#include <malloc.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);//'o'下一个地址
char* p = NULL;
for(p=pBegin; p<pEnd; p++)
{
printf("%c", *p);
}
printf("\n");
return 0;
}
结果:
数组的访问
//以下标的形式访问数组中的元素
int main()
{
int a[5];
a[1] = 3;
a[3] = 5;
return 0;
}
//以指针的形式访问数组中的元素
int main()
{
int a[5];
*(a+1) = 3;
*(a+3) = 5;
return 0;
}
- 从理论上而言,当指针以固定增量在数组中移动时,其效率高于下标产生的代码
- 当指针增量为1且硬件具有硬件增量模型时,表现更佳
- 注意: 现代编译器的生成代码优化率已大大提高,在固定增 量时,下标形式的效率已经和指针形式相当;但从可 读性和代码维护的角度来看,下标形式更优。
#include <stdio.h>
#include <time.h>
int main()
{
clock_t start;
clock_t end;
int a[10000];
int b[10000];
int* pEnd = &a[10000];
int* pa = NULL;
int* pb = NULL;
int i = 0;
int k = 0;
start = clock();
for(k=0; k<10000; k++)
{
for(i=0; i<10000; i++)
{
b[i] = a[i];
}
}
end = clock();
printf("Index Timing: %d\n", end - start);
start = clock();
for(k=0; k<10000; k++)
{
for(pa=a, pb=b; pa<pEnd;)
{
*pb++ = *pa++;
}
}
end = clock();
printf("Pointer Timing: %d\n", end - start);
return 0;
}
结果:
a和&a的区别
- a为数组是数组首元素的地址
- &a为整个数组的地址
- a和&a的意义不同其区别在于指针运算
- a + 1 <==> (unsigned int)a + sizeof(*a)
- &a + 1 <==> (unsigned int)(&a) + sizeof(*&a)
实例分析3-1
#include<stdio.h>
int main()
{
int a[5] = {1,2,3,4,5};
int* p1 = (int*)(&a + 1); //p1的值是数组中最后一个元素下一个地址, &a[4] + 4
int* p2 = (int*)((int)a + 1);//p2的值是数组第一个元素的地址+1字节; &a[0] + 1
int* p3 = (int*)(a + 1);//p3的值是数组第一个元素的地址+4字节,&a[0] + 4 = a[1]
//p1[-1]:等价于*(p1-1)等价于*((unsigned int)p1-sizeof(int)) = *(&a[4] + 4 - 4) = *(a[4]) = a[4] 等于5
//p2[0]:等价于*p2
//p3[1]:等价于*(p3+1)等价于*((unsigned int)p3+1*sizeof(int)) = *(&a[1] + 4) = *(&a[2]) = a[2] = 3
printf("%d, %d, %d\n", p1[-1], p2[0], p3[1]);
return 0;
}
数组参数
- C语言中,数组作为函数参数时,编译器将其编译成对应的指针
- void f(int a[]); <==> void f(int* a);
- void f(int a[5]); <==> void f(int* a);
void f(int a[1000])
{
//打印结果:8。看做了指针int* a, sizeof(a) = 8(64位系统)
printf("%lu\n", sizeof(a));
}
int main()
{
int a[5] = {0};
f(a);//a[5]与f函数参数a[1000]不同,但编译器不报错
return 0;
}
- 结论: 一般情况下,当定义的函数中有数组参数时,需要定义另一个参数来标示数组的大小。
指针和数组的对比
- 数组声明时编译器自动分配一片连续内存空间
- 指针声明时只分配了用于容纳指针的4字节空间
- 在作为函数参数时,数组参数和指针参数等价
- 数组名在多数情况可以看做常量指针,其值不能改变
- 指针的本质是变量,保存的值被看做内存中的地址
数组和指针详细资料可以搜索:
数组与指针详情:
http://blog.csdn.net/yby4769250/article/details/7294718
数组名与指针的区别:
https://wenku.baidu.com/view/678d1925a5e9856a561260b1.html