问高手一个数据段的问题

yifei429

有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初始化，则报多次定义错误！这是为什么？

1. 
   
2. //glo.h
   
3. #ifndef _GLO_H_
   
4. #define _GLO_H_
   
5. 
   
6. int global_var=8;
   
7. 
   
8. #endif
   

复制代码

//b.h
#ifndef _H_T_B_H
#define _H_T_B_T

void get_a();

#endif

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

复制代码

1. 
   
2. //a.c
   
3. #include <stdio.h>
   
4. 
   
5. #include "glo.h"
   
6. #include "b.h"
   
7. 
   
8. 
   
9. int main()
   
10. {
    
11.         get_a();
    
12. 
    
13.         printf("a.c: global_var is:%d\n",global_var);
    
14.         return 0;
    
15. }

复制代码

yifei429

有没有知道的高手在？

cjaizss

你这就在搞笑了，居然出了两个同一名字的全局变量，而且都有初值。

yifei429

恩？两个变量一个名字？没有啊

cjaizss

你觉得以下程序有问题吗?

1. 
   
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. }
    

复制代码

1. 
   
2. //a.c
   
3. #include <stdio.h>
   
4. int global_var=8;
   
5. #include "b.h"
   
6. 
   
7. 
   
8. int main()
   
9. {
   
10.         get_a();
    
11. 
    
12.         printf("a.c: global_var is:%d\n",global_var);
    
13.         return 0;
    
14. }
    

复制代码

freearth

[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

写C语言程序的时候，永远不要在头文件下定义全局变量
漏写了“全局”两个字，补上；
因为头文件的包含可能会导致全局变量重复定义

[ 本帖最后由 cjaizss 于 2008-8-19 13:32 编辑 ]

nmap

顶Alex和版主，最近学习《C和指针》，被作用域搞得晕乎乎的。