思科的一道面试题如下:
不要用编译器 用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