Chinaunix

标题: 问高手一个数据段的问题 [打印本页]
作者: yifei429    时间: 2008-08-18 16:27
标题: 问高手一个数据段的问题
有4个文件：glo.h, b.h,b.c, a.c, 为了测试问题,在glo.h中定义（不是声明）一个全局变量
两个问题：
[1]b.c汇编后，b.c中定义的全局变量test_b_init位于.rodata段，test_b汇编后看不到，而glo.h中的global_var位于data段，为什么不一样？
[2]当glo.h中global_var没有初始化时，最终a.c可以编译执行，而如果global_var初始化，则报多次定义错误！这是为什么？



  2. //glo.h
  3. #ifndef _GLO_H_
  4. #define _GLO_H_

  6. int global_var=8;

  8. #endif
复制代码

//b.h
#ifndef _H_T_B_H
#define _H_T_B_T

void get_a();

#endif

  2. //b.c
  3. #include <stdio.h>

  5. #include "glo.h"

  7. int test_b;
  8. int test_b_init=1;

  10. void get_a()
  11. {
  12.         printf("b.c: a is :%d\n",global_var);
  13. }
复制代码




  2. //a.c
  3. #include <stdio.h>

  5. #include "glo.h"
  6. #include "b.h"


  9. int main()
  10. {
  11.         get_a();

  13.         printf("a.c: global_var is:%d\n",global_var);
  14.         return 0;
  15. }
复制代码
作者: yifei429    时间: 2008-08-18 16:54
有没有知道的高手在？
作者: cjaizss    时间: 2008-08-18 17:04
你这就在搞笑了，居然出了两个同一名字的全局变量，而且都有初值。
作者: yifei429    时间: 2008-08-18 17:24
标题: 回复 #3 cjaizss 的帖子
恩？两个变量一个名字？没有啊
作者: cjaizss    时间: 2008-08-18 22:41
标题: 回复 #4 yifei429 的帖子
你觉得以下程序有问题吗?

  2. //b.c
  3. #include <stdio.h>
  4. int global_var=8;
  5. int test_b;
  6. int test_b_init=1;
  7. void get_a()
  8. {
  9.         printf("b.c: a is :%d\n",global_var);
  10. }
复制代码

  2. //a.c
  3. #include <stdio.h>
  4. int global_var=8;
  5. #include "b.h"


  8. int main()
  9. {
  10.         get_a();

  12.         printf("a.c: global_var is:%d\n",global_var);
  13.         return 0;
  14. }
复制代码
作者: freearth    时间: 2008-08-19 00:29
[1]b.c汇编后，b.c中定义的全局变量test_b_init位于.rodata段，test_b汇编后看不到，而glo.h中的global_var位于data段，为什么不一样？

首先，test_b_init位于.data段，不是.rodata。第二，test_b位于.comm段(汇编代码中在.comm段，如果是二进制的代码，它在.bss段，而.bss段中的数据是不在可执行文件中出现的，因为它们都是0，只是在地址空间中给它们保留了一段，这就是你说的“看不到”吧)。

[2]当glo.h中global_var没有初始化时，最终a.c可以编译执行，而如果global_var初始化，则报多次定义错误！这是为什么？

这两个问题都涉及到同一个地方，全局声明怎么处理。

在一个文件中，如果你定义了一个全局变量，并且给了它显示的初始化表达式，那么这个变量会放到这个文件对应的汇编文件的.data段中，如果你没有给出显示的初始化表达式，那么这个变量会被放到.comm段中。
当链接器链接多个文件时，同名的.comm成员会被合并成一个。

现在可以回答你的第二个问题了。
当你没有给global_val初值时，a.o和b.o中各有一个global_var的定义（都没有初值），但是它们目前并没有存储空间，定义在.comm段中。当链接器将a.o和b.o链接起来的时候，发现.comm中同名的global_var，会将这两个变量合并起来，作为一个变量，在.bss段中分配空间。当你在程序中引用global_var的时候，其实引用的都是同一个地方。
如果global_var有初值，那么在a.o和b.o的.data段中各有一个全局的global_var。链接器会告诉你重复定义。
作者: cjaizss    时间: 2008-08-19 09:36
写C语言程序的时候，永远不要在头文件下定义全局变量
漏写了“全局”两个字，补上；
因为头文件的包含可能会导致全局变量重复定义

[ 本帖最后由 cjaizss 于 2008-8-19 13:32 编辑 ]
作者: nmap    时间: 2008-08-19 12:34
顶Alex和版主，最近学习《C和指针》，被作用域搞得晕乎乎的。



欢迎光临 Chinaunix (http://bbs.chinaunix.net/) Powered by Discuz! X3.2