指针与数组是如何访问的——可以用extern int *p作为int p[N]的外部声明吗?

[摘要]C语言中,很多情况下指针与数组的的使用方式十分类似,使用数组名为一个指针变量赋值也是完全合法的。这造成一个假象,即数组就是指针,对于它们二者的区别是一个老生常谈的话题,本文仅从指针与数组访问内存的方式进行区分,其余不再赘述。另外还讨论了使用指针作为数组的外部声明时产生的问题,以及extern int a[]与extern int a[N]的一点小区别。

1、数组与指针访问内存的方式

数组访问:

 指针与数组是如何访问的——可以用extern int *p作为int p[N]的外部声明吗?_第1张图片

指针访问

指针与数组是如何访问的——可以用extern int *p作为int p[N]的外部声明吗?_第2张图片

指针偏移访问:

指针与数组是如何访问的——可以用extern int *p作为int p[N]的外部声明吗?_第3张图片

可见,指针访问内存的方式更为灵活,但它会增加一次额外的内存读取,即先将指针的值从内存中读出来,再用它作为地址去访问数据。

2、使用指针作为数组的外部声明

例如以下代码:

file2.c
	int p[100];
        ……

file1.c
	extern int *p;
        ……
	p[0] = 1;

根据指针访问内存的方式,编译器首先提取p的值,在VC 6.0编译环境下,此处提取的是0x0000 0000,然后加上偏移量18CH,将1写入,程序崩溃。

修正方法:使声明与定义相匹配,声明为extern int p[];


3、数组声明中要不要写明元素个数

声明并不分配内存,只是告诉编译器对象的名字和类型,所以一般不需写明数组大小,但对于多维数组要写明左边一维之外的其他维的长度——给编译器足够的信息去产生代码。

但是,如果在引用变量处需要使用sizeof来取得数组大小,则必须指明,因为编译时编译器会计算出sizeof的结果。经试验,此处sizeof的结果只与声明中指定的元素个数相关,与定义处无关。

在上例中,如果按以下方式声明:

extern int p[];   //1
extern int p[100];//2
extern int p[50]; //3

三者中sizeof(p)的结果分别是 0,400,200

对于3,虽然声明中p中只有50个int,但是依然可以正常引用p[99],因为p的内存是在定义处分配的,与声明无关。

你可能感兴趣的:(c,File,语言,编译器)