又遇到一个问题了。

我的理解是, extern int b[]表示在原来1.c中的a数组处开始一段数组（好像不恰当，不知道怎么说）， 则y = b[3], y会被赋予值4。程序验证也对了。
extern int* a;这句不理解，程序验证中， a的值是0x1， 也就是1.c中a原数组的首个元素的值。为什么会这样啊？求解。@别急还没硬

值被解释成地址肯定是不对的，c专家编程第四章有详解。

在2.c中
a是一个int*
a的值存储在&a
&a的值是1.c中数组首元素的地址
那么指针a的值就是1.c中数组首元素的地址 即0x1
a[3] 写成*(a+3)比较好理解
a求值 0x1
*(a+3) .....................
据说是这样....错了 求指正

extern int*和extern int[]是不同的, 标准中其中一个例子就是这个.
前者是指向int的指针, 后者是未指定类型的数组.