extern数组与extern指针

首页 > extern数组与extern指针

extern数组与extern指针

数组名代表了存放该数组的那块内存，它是这块内存的首地址。这就说明了数组名是一个地址，而且，还是一个不可修改的常量，完整地说，就是一个地址常量。数组名跟枚举常量一样，都属于符号常量。数组名这个符号，就代表了那块内存的首地址。注意了！不是数组名这个符号的值是那块内存的首地址，而是数组名这个符号本身就代表了首地址这个地址值，它就是这个地址。这就是数组名属于符号常量的意义所在。由于数组名是一种符号常量，它是一个右值，而指针，作为变量，却是一个左值，一个右值永远都不是左值，那么，数组名永远都不会是指针！

对于这段话我是这么理解的：数组名在经过编译之后将变成一个数值，这个数值就是该数组的首地址。由于数组名是一个地址，那么把它赋给一个指针变量也就不足为奇了。

例如有定义

char a[14];

char * p;

char * q;

void foo(char * pt)

{

};

考虑以下几种赋值：

p=a;// 合法，将一个地址赋给一个指针变量；

q=p;// 合法，将一个指针变量的值赋给另一个指针变量；

a=p;// 非法，a 是数组名即地址，不是一个变量，不可被赋值（也就是上文中说的"数组名是右值" ）

再看这几种调用：

foo(a);// 将一个地址作为参数传入函数，函数中用一个指针变量接收这个地址值

foo(p);// 将一个指针变量的值传入函数（也是一个地址），函数中用一个指针变量接收这个地址

可以看出许多时候数组名和指针可以等同地看待，而c 也把它们看作是兼容的类型对待，这就是为什么我那个错误的声明不被编译器在语法检查的时候“ 喀嚓” 的原因。

关于extern 的作用，许多地方都有说明，例如可以在c++ 里进行c 格式函数的声明，可以声明一个变量或函数是外部变量或外部函数；我们这里要讨论的是外部变量的声明。被extern 修饰的全局变量不被分配空间，而是在连接的时候到别的文件中通过查找索引定位该全局变量的地址。

有了这些基础后，我们现在正式开始研究extern 数组和extern 指针的问题：

首先在一个.c 文件中有如下定义：

char a[]={1,2,3,4};

分析：这是一个数组变量的定义，编译器将为这个数组分配4 字节的空间，并且建立一个索引，把这个数组名、数组类型和它被分配的空间首地址对应起来。它被编译之后生成一个中间文件

然后我们在另一个.c 文件中分别以不同的形式进行声明：

(1) extern char a[];

分析：这是一个外部变量的声明，它声明了一个名为a 的字符数组，编译器看到这个声明就知道不必为这个变量分配空间，这个.c 文件中所有对数组a 的引用都化为一个不包含类型的标号，具体地址的定位留给连接器完成。编译完成之后也得到一个中间文件，连接器遍历这个文件，发现有未经定位的标号，于是它搜索其他中间文件，试图寻找到一个匹配的空间地址，在此例中无疑连接器将成功地寻找到这个地址并将此中间文件中所有的这个标号替换为连接器所寻找到的地址，最终生成的可执行文件中，所有曾经的标号都应当已经被替换为地址。这是一个正常工作过程，连接出来的可执行文件至少在对于该数组的引用部分将工作得很好。

(2) extern char * a;

分析：这是一个外部变量的声明，它声明了一个名为a 的字符指针，编译器看到这个声明就知道不必为这个指针变量分配空间，这个.c 文件中所有对指针a 的引用都化为一个不包含类型的标号，具体地址的定位留给连接器完成。编译完成之后仍然得到一个中间文件，连接器遍历这个文件，发现有未经定位的标号，于是它搜索其他中间文件，试图寻找到一个匹配的空间地址，经过一番搜索，找到了一个分配过空间的名为a 的地方（也就是我们先定义的那个字符数组），连接器并不知道它们的类型，仅仅是发现它们的名字一样，就认为应该把extern 声明的标号连接到数组a 的首地址上，因此连接器把指针a 对应的标号替换为数组a 的首地址。这里问题就出现了：由于在这个文件中声明的a 是一个指针变量而不是数组，连接器的行为实际上是把指针a 自身的地址定位到了另一个.c 文件中定义的数组首地址之上，而不是我们所希望的把数组的首地址赋予指针a （这很容易理解：指针变量也需要占用空间，如果说把数组的首地址赋给了指针a ，那么指针a 本身在哪里存放呢？）。这就是症结所在了。所以此例中指针a 的内容实际上变成了数组a 首地址开始的4 字节表示的地址（如果在16 位机上，就是2 字节）。本例中指针a 的初值将会是0x0a090807 （little endian ），显然不是我们的期望值，所以运行会出错也就理所应当了。

几点细节：我们发现，使用extern 修饰的变量在连接的时候只找寻同名的标号，不检查类型，例如如果我们定义的甚至不是一个变量而是一个全局的函数，比如去掉定义

char a[]={....};

代之以

void a(){};

连接器居然也会连接通过。

实例如下：

比如在 a.c 文件中有这样一段代码

int g_i[] = {1, 2, 3, 4};

extern void testdotp();

void main( void )

{

int i = 0;

int num = 0;

num = sizeof (g_i) / sizeof ( int );

for (i = 0; i < num; i++)

{

printf( "g_i[%d] = %d " , i, g_i[i]);

}

printf( "/n" );

testdotp();

}

而在 b.c 中的代码如下：

extern int *g_i;

void testdotp()

{

printf( "*(&g_i + 2) = %d/n" , *(&g_i + 2));

printf( "&g_i = %d/n" , &g_i);

printf( "&g_i + 1= %d/n" , &g_i + 1);

printf( "g_i = %d/n" , g_i);

printf( "g_i + 1 = %d/n" , g_i + 1);

}

运行结果为

g_i[0] = 1 g_i[1] = 2 g_i[2] = 3 g_i[3] = 4

*(&g_i + 2) = 3

&g_i = 4344368

&g_i + 1= 4344372

g_i = 1

g_i + 1 = 5

分析如下 :

因为 b.c 文件中 g_i 变量的地址是 a.c 文件中 g_i 数组的首地址，故 g_i 的值为 g_i[0] 的值， &g_i 的值为 g_i 地址的首地址。

而 *(&g_i + 2) 的值： &g_i 的值为 g_i 数组的首地址， (&g_i + 2) 就为数组 g_i 第 3 个元素的地址， *(&g_i + 2) 就为第 2 个元素的值，即 3 。

&g_i + 1 ：由于 &g_i 的值为 g_i 数组首地址，由于在 32 位机上运行，故 &g_i + 1 在 &g_i 基础上加上 4 个字节

g_i + 1 ：由于 g_i 是一个指针变量， g_i 变量内存放的是地址，又因为 g_i 的值为 1 ，而 g_i + 1 就为 1 + 4 的单元的内存空间（ 32 位机上），故 g_i + 1 为 5 。

转自:http://blog.csdn.net/hxg130435477/archive/2009/03/21/4012686.aspx

extern数组与extern指针

更多相关：

威纶通触摸屏与单片机MODBUS_威纶通案例集锦51-55

VSCode设置类似Webstorm那样可以用本地局域网IP地址访问自己开发的测试项目，vs code 前端如何以服务器模式打开？

在CentOS 6.9 x86_64的nginx 1.12.2上开启ngx_http_geo_module模块实录

uboot引导kernel - 2- uboot/kernel需要放在DDR什么位置的问题

linux内存布局及页面映射

傅里叶变换之看不懂就掐死我教程

深入浅出的讲解傅里叶变换（完整）

Ubuntu 12.04下玩转终端管理器Byobu

NBIOT-NPSS/NSS/NPBCH的资源位置

shell中引号的使用方法

js array 删除指定元素_数组--学习笔记（数据结构数组 /js数组）

C++中关于[]静态数组和new分配的动态数组的区别分析

【力扣网练习题】移除元素

【力扣网练习题】删除排序数组中的重复项

Go 分布式学习利器（5）-- 数组和切片