当前位置：首页 > 编程日记 > 正文

extern数组与extern指针

编程日记 2024-03-22 17:30:00

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

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

例如有定义

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

https://www.dkcj.cn/info/3547.html

extern数组与extern指针

相关文章：

Java项目:医院管理系统(java+javaweb+jdbc+Mysql+lw)

Mongodb地理空间索引

Juniper的路由器、防火墙、交换机如何恢复出厂配置

【转载】标准输入输出、错误输出、重定向标准输出

(Interrupt Latency) 中断延迟

Java项目:干活管理系统(java+SSM+Jsp+Mysql)

20135234mqy 实验四

我的第一张地图报表

SpringBoot第十篇：thymeleaf详解

嵌入式系统开发过程中遇到的——volatile

薏米红豆粥的功效和实践演示

Java项目:财务预算管理系统(java+SSM+Jsp+Mysql+Layui+Maven)

POJ 3080 多个串最长公共子序列

HDU 2561 第二小整数

Java项目:在线高中考试系统(java+SSM+Jsp+Mysql+Maven)

asp.net mvc 学习

Linux数据库性能优化--文件系统相关优化

jQuery Mobile的学习时间bottonbutton的事件学习

C++中 public，protected， private 访问标号小结

Java项目:学生管理系统(java+Springboot+Maven+mybatis+Vue+Mysql)

UVA 11752 超级幂

Awstats

fixture详细介绍-作为参数传入,error和failed区别

哈佛结构和冯诺依曼结构区别。

js 数据函数

Java项目:平行志愿管理系统(java+Springboot+Maven+mybatis+Vue+Mysql)

冒泡 MS Azure 不便宜。。。

数据库的概念以及MYSQL的安装和卸载

对ARM异常（Exceptions）的理解

Java项目:花店商城系统(java+Springboot+Maven+mybatis+Vue+Mysql)