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

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

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

数组访问：

 

指针访问

指针偏移访问：

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

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的内存是在定义处分配的，与声明无关。