有些人的第一反应是编译不过吧?
//fun.c
void func()
{
printf("测试1");
}
//main.c
void func()
{
printf("测试2");
}
void main()
{
func();
}
编译:
这里可以看到保存错了,因为func重复定义了。
但是重复定义就会全部错误吗?并不全是
看下边代码:
//ver.c
int num;
void change()
{
num = 1023;
}
//main.c
#include <stdio.h>
void change();
int num = 1024;
int main(void)
{
printf("before:num is %d\n",num);
change();
printf("after:num is %d\n",num);
return 0;
}
输出结果:
before:num is 1024
after:num is 1023
从结果中可以看到,虽然num被定义了两次,但是任然可以编译通过,并且可以正常运行,这又是为什么呐?
·这就需要引出{ 符号 }
符号:
在了解符号之前,可以先了解一下GCC的编译过程,ELF文件生成的最后阶段都会经历链接,而链接阶段正是基于符号才能完成的。每个目标文件都会有一个符号表。而且链接过程正是通过符号表中的符号,将不同的文件“粘贴”在一起,最后形成库或者可执行文件。要查看目标文件的符号信息也挺容易。
// symbol.c
#include <stdio.h>
int symbel = 1024;
int func_symbel()
{
return 0;
}
编译:
$ gcc smbol.c #编译
$ nm symbol.o #查看符号信息
0000000000000000 T func_symbol
0000000000000000 D symbol
弱符号和强符号
对于C/C++语言来说,编译器默认函数和初始化了的全局变量为强符号,未初始化的全局变量为弱符号。当然也可以通过
_attribute__((weak))
去定义一个强符号为弱符号
通过下边的例子来说明那些是强符号哪一些树弱符号:
#include <stdio.h>
int weak;//未初始化全局变量为弱符号
int strong = 1024;//已经初始化全局变量,强符号
_attribute__((weak)) int weak1 = 2222;//使用标识修饰弱符号
注意: 这里的强弱符号都是针对于指针定义来说的
同名时候用哪一个?
对于多重定义,即标题提到的变量重名的时候,链接器有自己的处理规则:
1、强符号不允许重复
2、有一个强符号和多个弱符号使用强符号
3、多个弱符号,则随便选择一个
关于第一点,在最开始的例子中你已经见到了,最常见的情况就是你重复定义了变量或者函数等等。
而第二点也有示例,示例中,虽然定义了两个num,但是var.c中未初始化的num是弱符号,main.c中的num是强符号,这种情况下编译正常。只是最终会使用强符号的num。
再看一个第三点的例子也是类似,当其中main.c的num无初始化时,也是可以编译过的。这种情况下的误用也就罢了,如果是重复的符号,但是类型不同,问题就更大了,即var.c的内容如下:
//var.c
double num;
void change()
{
num = 1023;
}
这里的num变成了double,再次编译运行,你会发现意想不到的结果:
为什么修改后是0?原因在于double类型的数据存储与int类型数据存储格式不一样,且它们占用空间长度都不一样,在本文例子中,double占用8字节,而int占用4字节。
来源:公众号【编程珠玑】
作者:守望先生
ID:shouwangxiansheng