“定义为指针，外部以数组形式引用”和“定义为数组，外部以指针形式引用”会发生什么？

思科的一道面试题如下：

不要用编译器  用1分钟事件思考下

源文件A：
int a[10];
int *b=a;

源文件B:
extern int *a;
extern int b[];
int x,y;
...
x=a[3];
y=b[3];

解释执行两条赋值语句时会发生什么？

 

ChinaUnix里面有一高人的解释如下：

这个问题不会产生编译错误和链接错误，也就是说程序是合法的。当然运行时是会出问题的。指针本身的标识需要占用一个int长的空间；数组本身的标识是不占地方的，把数组第一个元素的地址作为数组的标识。所以这个问题有趣的地方在这里。

 

编译时

B里面编译器认为a是指针，所有它认定这个指针在某个地方占了一个int长。B里面编译器认为b是数组，所有它认定这个数组的地址是某个地方的第一个元素地址。

A里面编译器认为a是数组，b是指针，这是很直接的。

链接时

缺的都是符号，刚好有，所有连上去了B(a)=A(a),B(b)=A(b)

运行时

因为B(a)被认为是指针，所以运行的时候那个地址应该是一个int长来存放它的内容，所以它把A(a)的第一个int长作为指针的空间，所以A(a)的第一个数组元素的值就做了指针的值。
因为B(b)被认为是数组，所以运行的时候那个地址应该是一个数组的首元素地址，所以B(b)的第一个元素应该保存的是a的地址。

也就是说，如果A(a) = {n,......};，那么B(a)=n，B(b)=&A(a)

 

链接之后，b[3]是随机的，但是b[0]=&a和a=n是确定的。

讨论参见http://bbs.chinaunix.net/thread-3705891-1-1.html