新手小心:c语言中强符号与弱符号的使用_C 语言

声明:下面的实例全部在linux下尝试,window下未尝试。有兴趣者可以试一下。文章针c初学者。
c语言的强符号和弱符号是c初学者经常容易犯错的地方。而且很多时候,特别是多人配合开发的程序,它引起的问题往往非常行为怪异而且难以定位。
什么是强符号和弱符号?
在c语言中,函数和初始化的全局变量是强符号,未初始化的全局变量时弱符号。强符号和弱符号的定义是连接器用来处理多重定义符号的,它的规则是:
不允许多个强符号;
如果一个强符号和一个弱符号,这选择强符号;
如果多个弱符号,则任意选一个。
它的陷阱:
上代码:

复制代码 代码如下:

//main.c
#include <stdio.h>
int fun();
int x;
int main()
{
 printf("in main.c:x=%p\n", &x);
 fun();
 return 0;
}
//test.c
#include <stdio.h>
int x;
int fun()
{
 printf("in test.c:x=%p\n", &x);
 return 0;
}

编译:gcc main.c test.c,运行,结果:
in main.c:x=0x80496a8
in test.c:x=0x80496a8
两个x是一个变量。这也许可以说的过去,可能一个忘记加extern了。
再看:

复制代码 代码如下:

//main.c
#include <stdio.h>
int fun();
int x;
int main()
{
 printf("in main.c:&x=%p\n", &x);
 fun();
 return 0;
}

复制代码 代码如下:

//test.c
#include <stdio.h>
struct
{
<span style="white-space:pre"> </span>char a;
<span style="white-space:pre"> </span>char b;
<span style="white-space:pre"> </span>char c;
<span style="white-space:pre"> </span>char d;<span style="white-space:pre"> </span>

复制代码 代码如下:

<span style="white-space:pre"> </span>int t;

复制代码 代码如下:

} x;
int fun()
{
 printf("in test.c:&x=%p\n", &x);
 return 0;
}

运行结果:
in main.c:&x=0x80496e0
in test.c:&x=0x80496e0
连接器还认为他们是一个变量,这个时候程序员非常可能认为他们是两个变量(或者说优秀的程序员会)。而事实却相反,同一块内存,在不同的文件中会有不同的类型和含义。这两个文件对这块内存读写的过程中,都会影响到对方,引发非常诡异的问题。
设想一下,如果是一个程序同时又多个人员来开发,如果他们只有有一个全局变量重名,且没有初始化,那么就会引发问题了。
在一个程序中出现问题还算好,毕竟代码都在一起。如果你使用的动态库或者静态库中有未初始化的全局变量,并且恰好也和你定义的重名,结果如何?我尝试过,和上面一样,冲突的两个变量地址也相同。而这个时候你如果没有库的源码,当发生了问题,变量被修改,你估计要走很多弯路才能想到是库改了你的变量。这是我曾经解决过的一个问题。从那之后,我要求我们公司所有库的源码中不可以出现非static全局变量。
如何避免?
1、上策:想办法消除全局变量。全局变量会增加程序的耦合性,对他要控制使用。如果能用其他的方法代替最好。
2、中策:实在没有办法,那就把全局变量定义为static,它是没有强弱之分的。而且不会和其他的全局符号产生冲突。至于其他文件可能对他的访问,可以封装成函数。把一个模块的数据封装起来是一个好的实践。
3、下策:把所有的符号全部都变成强符号。所有的全局变量都初始化,记住,是所有的。如果一个没有初始化,就可能会和其他人产生冲突,尽管别人初始化了。(自己写代码测试一下)。
4、必备之策:GCC提供了一个选项,可以检查这类错误:-fno-common。
c语言为什么设计它?
容易引发问题,怎么回事C的一个特性?可能是历史的原因,没有深究。但我认为也可能是部分语言设计哲学的原因:c语言的设计哲学有一点就是充分的相信程序员,给他们最大的权利和灵活性。这个特性在某些特殊的情况下也许可能发挥作用。
语言中的君子和小人:
古人说要近君子,远小人。像今天说的这个特性(共同体也可以算一个),应该是c语言中的“小人”(轻拍,可能说的比较重)。我们还是敬而远之的比较好。康熙好像说过,(特殊时期)治国不但要用君子,还要会用小人,但要能够驾驭得当。否则会引火烧身。

时间: 2024-09-22 20:16:02

新手小心:c语言中强符号与弱符号的使用_C 语言的相关文章

详解C语言中的符号常量、变量与算术表达式_C 语言

C语言中的符号常量在结束讨论温度转换程序前,我们再来看一下符号常量.在程序中使用 300.20 等类似的"幻数"并不是一个好习惯,它们几乎无法向以后阅读该程序的人提供什么信息,而且使程序的修改变得更加困难.处理这种幻数的一种方法是赋予它们有意义的名字.#define 指令可以把符号名(或称为符号常量)定义为一个特定的字符串: #define 名字 替换文本 在该定义之后,程序中出现的所有在 #define 中定义的名字(既没有用引号引起来,也不是其它名字的一部分)都将用相应的替换文本替

对C语言中指针的理解与其基础使用实例_C 语言

C语言的指针,关键意思在于"指". "指"是什么意思? 其实完全可以理解为指示的意思.比如,有一个物体,我们称之为A.正是这个物体,有了这么个称谓,我们才能够进行脱离这个物体的实体而进行一系列的交流.将一个物体的指示,是对这个物体的抽象.有了这种抽象能力,才有所谓的智慧和文明.所以这就是"指示"这种抽象方法的威力. 退化到C语言的指针,指针是一段数据/指令(在冯诺易曼体系中,二者是相通,在同一空间中的)的指示.这是指示,也就是这段数据/指令的起始

详解C语言中结构体的自引用和相互引用_C 语言

结构体的自引用(self reference),就是在结构体内部,包含指向自身类型结构体的指针. 结构体的相互引用(mutual reference),就是说在多个结构体中,都包含指向其他结构体的指针.1. 自引用 结构体 1.1 不使用typedef时错误的方式: struct tag_1{ struct tag_1 A; /* 结构体 */ int value; };         这种声明是错误的,因为这种声明实际上是一个无限循环,成员b是一个结构体,b的内部还会有成员是结构体,依次下去

C语言中全局数组和局部数组的问题_C 语言

今天同学遇到一个在C语言中全局数组和局部数组的问题,卡了许久,我也没有第一时间看出问题,现在把问题梳理一下,并给出解决方案. 问题描述: 在全局声明的数组与在局部声明的数组有着不同的效果. 首先来看一个程序: 复制代码 代码如下: #include <stdio.h> #include <stdlib.h> #define MAX 10 char a[MAX]; int main() { int i; char b[MAX]; char *c=(char *)malloc(MAX

C语言中的结构体的入门学习教程_C 语言

C语言中数组允许定义类型的变量,可容纳相同类型的多个数据项,但结构体在C语言编程中,它允许定义不同种类的数据项可供其他用户定义的数据类型. 结构是用来代表一个记录,假设要跟踪图书馆的书籍.可能要跟踪有关每本书以下属性: Title - 标题 Author - 作者 Subject - 科目 Book ID - 编号 定义结构体定义一个结构体,必须使用结构体的struct语句.该struct语句定义了一个新的数据类型,程序不止一个成员.struct语句的格式是这样的: struct [struct

C语言中操作密码文件的一些函数总结_C 语言

C语言setpwent()函数:从头读取密码文件中的账号数据 头文件: #include <pwd.h> #include <sys/types.h> 定义函数: void setpwent(void); 函数说明:setpwent()用来将getpwent()的读写地址指回密码文件开头. 范例 #include <pwd.h> #include <sys/types.h> main() { struct passwd *user; int i; for(i

详解C++语言中的加法运算符与赋值运算符的用法_C 语言

加法运算符:+ 和 -语法 expression + expression expression – expression 备注 相加运算符为: 加 (+) 减 (–) 这些二进制运算符具有从左至右的关联性. 相加运算符采用算术或指针类型的操作数.加法 (+) 运算符的结果是操作数之和.减法 (–) 运算符的结果是操作数之差.如果一个操作数是指针或两个操作数都是指针,则它们必须是指向对象的指针,而不是指向函数的指针.如果两个操作数都是指针,则结果没有意义,除非它们是指向同一数组中的对象的指针.

C语言中的内存泄露 怎样避免与检测_C 语言

有些程序并不需要管理它们的动态内存的使用.当需要内存时,它们简单地通过分配来获得,从来不用担心如何释放它.这类程序包括编译器和其他一些运行一段固定的(或有限的)时间然后终止的程序.当这种类型的程序终止时,所有内存会被自动回收.细心查验每块内存是否需要回收纯属浪费时间,因为它们不会再被使用. 其他程序的生存时间要长一点.有些工具如日历管理器.邮件工具以及操作系统本事经常需要数日及至数周连续运行,并需要管理动态内存的分配和回收.由于C语言通常并不使用垃圾回收器(自动确认并回收不再使用的内存块),这些

C语言中返回错误信息的相关函数用法总结_C 语言

C语言strerror()函数:返回错误原因的描述字符串头文件: #include <string.h> 定义函数: char * strerror(int errnum); 函数说明:strerror()用来依参数errnum 的错误代码来查询其错误原因的描述字符串, 然后将该字符串指针返回. 返回值:返回描述错误原因的字符串指针. 范例: /* 显示错误代码0 至9 的错误原因描述 */ #include <string.h> main() { int i; for(i = 0

简要对比C语言中三个用于退出进程的函数_C 语言

C语言_exit()函数:结束进程执行头文件: #include <unistd.h> 定义函数: void _exit(int status); 函数说明:_exit()用来立刻结束目前进程的执行, 并把参数status 返回给父进程, 并关闭未关闭的文件. 此函数调用后不会返回, 并且会传递SIGCHLD 信号给父进程, 父进程可以由wait 函数取得子进程结束状态. 附加说明:_exit ()不会处理标准I/O 缓冲区, 如要更新缓冲区请使用exit (). C语言on_exit()函数