实验10-多重定义符号的处理规则

多重定义符号的处理规则

Rule 1:

• 强符号不能多次定义
• 强符号只能被定义一次，否则链接错误

Rule 2:

• 若一个符号被定义为一次强符号和多次弱符号，则按强定义为准
• 对弱符号的引用被解析为其强定义符号

Rule 3:

• 若有多个弱符号定义，则任选其中一个
• 使用命令 gcc fno common 链接时，会告诉链接器在遇到多个弱定义的全局符号时输出一条警告信息。

分析：
程序可以链接成功，对于其中多次出现的符号y、z、p1，其中y有一次强定义，一次弱定义；z有两次弱定义；p1有一次强定义，一次弱定义。根据多重定义解析规则可知，y按照强定义解释，z按照任意一个解析；p1按照强定义解析。这样的话，程序本身链接不会出错。
程序结果的解释：运行主函数，z被解释为int型变量，被赋值为1000；然后调用p1();此时p1按照强定义的解释，即执行模块p2.c中的函数p2，在p2中y按照强定义解释，被赋值为200；z被赋值为2000；此时输出y和z的值即为200和2000。

分析：
程序链接不会出错，但是运行结果不符合预期。程序执行，调用q2();此时被解释为强符号，那么会执行d=1.0；此时d是一个double类型的变量赋值时，操作了8个字节的内存单元，这8个单元被赋值为0x3FF00000 00000000而事实上，d被解释为强定义的int型变量占4个字节的内存单元，而x则是与d相邻的4个字节的内存单元。由于是小端机器，最终x对应的内存单元中存放0x3FF00000，d中存放的是0x00000000。输出的时候x的0x3FF000000按照int值补码转换为真值即为1072693248。d补码转化为真值为0。