extern int *a与int a[] C语言数组与指针的不同之处

/

1：https://cdn2.jianshu.io/p/fef82704d741(写的很好)

2：http://www.cnblogs.com/yanlingyin/archive/2011/12/06/2277821.html

3：https://www.cnblogs.com/yanlingyin/archive/2011/12/07/2278961.html

 

extern int *a与int a[]

1 问题:

下面的声明取自某个源文件:

int a[10];
int *b=a;

但在另一个不同的源文件中，却发现了这样的代码：

extern int *a;
extern int b[];
int x,y;
x=a[3];
y=b[3];

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

2 解答：

1. 指针是变量,系统会为每个变量开辟存储空间,包括指针变量
2. 数组名神似指针,一些情况下可视为指向数组第一个元素的指针(所以定义的数组声明时被声明为指针也是可以的,只不过声明文件中代表指针用了),但是实际上数组名是"实实在在"的"地址",表示的是存储数组元素的空间的起始位置,系统不会为数组名本身开辟存储空间(&数组名得到的地址还是数组名)
3. 对待一个变量i,取出变量的内容步骤可以视为:1).找到变量i的地址(&i) 2).取出&i地址起i类型那么大空间的内容作为变量i的值

在第一个赋值中，编译器认为a是一个指针变量，所以它提取存储在那里的指针值，并加上12（3和整型的长度相乘），然后对这个结果执行间接访问操作。但a实际上是整型数组的起始位置，所以作为"指针"获得的这个值实际上是数组的第一个整形元素。它与12相加，其结果解释为一个地址，然后对它进行间接访问。作为结果，它或者将提取一些任意内存位置的内容，或者由于某种地址错误而导致程序失败。

在第2个赋值中，编译器认为b是个数组名，所以它把12加到b的存储地址，然后间接访问操作从那里获取的值。事实上，b是个指针变量，所以从内存中提取的后面的第三个int实际上是从另外的任意变量中取得的，这个问题说明了指针和数组虽然存在关联，但绝不是相同的。

《C陷阱与缺陷》提到要特别注意extern char *a与extern char a[]之间的区别。所以特意测试了一下。测试环境VC6

b.cpp

char *a="ABCDEF";

char b[]="ABCDEF";

第一种情况：主文件中声明

extern char a[];
extern char b[];

#include <iostream.h>

extern char a[];

extern char b[];

int main() { cout<<a<<endl; cout<<b<<endl; return 0; }

此时运行结果：

可以看到a乱码了。

第二种情况：主文件声明

extern char *a;
extern char *b;

#include <iostream.h>

extern char *a;

extern char *b;

int main() { cout<<a<<endl; cout<<b<<endl; return 0; }

此时运行结果：

可以看到a正确输出，然后程序出错。

原因分析：

char *a="ABCDEF";
char b[]="ABCDEF";

定义a时，a存储的字符串常量的地址。当以extern char a[];声明外边变量a时，编译器在b.cpp文件中寻找到变量a，并

认为a是char数组类型。a中本来存储的"ABCDEF"的地址，现在编译器却把a当作char数组，所以把a中存储的地址翻译

成字符，如果没有对应的字符，应该就乱码了。

定义b时，b是作为字符串数组的首址。当以extern char *b;声明外部变量b时，编译器在b.cpp中寻找到变量b，并认为b是char*类型。所以把"ABCD"当作地址，并访问这个地址，所以出现内存访问出错。

验证：

b.cpp

char *a="ABCDEF"; char b[]="ABCDEF"; //获取指针a本身存储的内容，并转化为无符号整数 unsigned int a_address() { return (unsigned int)a; } //32为系统，所以获取数组前四个字节转化为无符号整数 unsigned int b_int() { return *(unsigned int*)b; }

test.cpp

#include <iostream.h> extern char a[]; extern char *b; extern unsigned int a_address(); extern unsigned int b_int(); int main() { if(*(unsigned int*)a==a_address()) cout<<"指针a被错误的认为是数组"<<endl; if((unsigned int)b==b_int()) cout<<"数组b被错误的认为是指针"<<endl; return 0; }

 

所以，声明和定义一定要以相同的形式出现。