【全局变量】编译期间和链接期间全局变量的相关研究

已于 2023-11-01 10:24:31 修改
阅读量140 收藏
点赞数
文章标签： c++ 开发语言 c语言
于 2023-04-26 15:15:34 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_40877617/article/details/130385825
版权

编译期间和链接期间全局变量的研究

全局变量

一般我们认为未初始化的全局变量和静态局部变量都是存放在.bss段中，初始化了的全局变量和静态局部变量存放在.data段中。

实验环境
host：Ubuntu 20.04
gcc：gcc version 9.4.0 (Ubuntu 9.4.0-1ubuntu1~20.04.1)

//a.c

int a;
int b=10;

extern int c;
int main(void)
{
    static int static_init_var = 10;
    static int static_uninit_var;
	swap(&c,&b);
}

//b.c
int c = 100;
void swap(int *a, int *b)
{
	int *temp;
	temp = a;
	a = b;
	b = temp;
}

gcc -c a.c -fno-stack-protector
gcc -c b.c -fno-stack-protector
ld a.o b.o -e main -o ab

现在来看一下三个elf文件的符号信息。

$ readelf -s a.o b.o ab

File: a.o

Symbol table '.symtab' contains 17 entries:
   Num:    Value          Size Type    Bind   Vis      Ndx Name
     0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS a.c
     2: 0000000000000000     0 SECTION LOCAL  DEFAULT    1 
     3: 0000000000000000     0 SECTION LOCAL  DEFAULT    3 
     4: 0000000000000000     0 SECTION LOCAL  DEFAULT    4 
     5: 0000000000000000     4 OBJECT  LOCAL  DEFAULT    4 static_uninit_var.1917
     6: 0000000000000004     4 OBJECT  LOCAL  DEFAULT    3 static_init_var.1916
     7: 0000000000000000     0 SECTION LOCAL  DEFAULT    6 
     8: 0000000000000000     0 SECTION LOCAL  DEFAULT    7 
     9: 0000000000000000     0 SECTION LOCAL  DEFAULT    8 
    10: 0000000000000000     0 SECTION LOCAL  DEFAULT    5 
    11: 0000000000000004     4 OBJECT  GLOBAL DEFAULT  COM a
    12: 0000000000000000     4 OBJECT  GLOBAL DEFAULT    3 b
    13: 0000000000000000    39 FUNC    GLOBAL DEFAULT    1 main
    14: 0000000000000000     0 NOTYPE  GLOBAL DEFAULT  UND c
    15: 0000000000000000     0 NOTYPE  GLOBAL DEFAULT  UND _GLOBAL_OFFSET_TABLE_
    16: 0000000000000000     0 NOTYPE  GLOBAL DEFAULT  UND swap

File: b.o

Symbol table '.symtab' contains 11 entries:
   Num:    Value          Size Type    Bind   Vis      Ndx Name
     0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS b.c
     2: 0000000000000000     0 SECTION LOCAL  DEFAULT    1 
     3: 0000000000000000     0 SECTION LOCAL  DEFAULT    2 
     4: 0000000000000000     0 SECTION LOCAL  DEFAULT    3 
     5: 0000000000000000     0 SECTION LOCAL  DEFAULT    5 
     6: 0000000000000000     0 SECTION LOCAL  DEFAULT    6 
     7: 0000000000000000     0 SECTION LOCAL  DEFAULT    7 
     8: 0000000000000000     0 SECTION LOCAL  DEFAULT    4 
     9: 0000000000000000     4 OBJECT  GLOBAL DEFAULT    2 c
    10: 0000000000000000    43 FUNC    GLOBAL DEFAULT    1 swap

File: ab

Symbol table '.symtab' contains 17 entries:
   Num:    Value          Size Type    Bind   Vis      Ndx Name
     0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 00000000004001c8     0 SECTION LOCAL  DEFAULT    1 
     2: 0000000000401000     0 SECTION LOCAL  DEFAULT    2 
     3: 0000000000402000     0 SECTION LOCAL  DEFAULT    3 
     4: 0000000000404000     0 SECTION LOCAL  DEFAULT    4 
     5: 0000000000404008     0 SECTION LOCAL  DEFAULT    5 
     6: 0000000000000000     0 SECTION LOCAL  DEFAULT    6 
     7: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS a.c
     8: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS b.c
     9: 0000000000404000     4 OBJECT  GLOBAL DEFAULT    4 b
    10: 0000000000401027    55 FUNC    GLOBAL DEFAULT    2 swap
    11: 0000000000404004     4 OBJECT  GLOBAL DEFAULT    4 c
    12: 0000000000404008     0 NOTYPE  GLOBAL DEFAULT    5 __bss_start
    13: 0000000000401000    39 FUNC    GLOBAL DEFAULT    2 main
    14: 0000000000404008     0 NOTYPE  GLOBAL DEFAULT    4 _edata
    15: 0000000000404010     0 NOTYPE  GLOBAL DEFAULT    5 _end
    16: 0000000000404008     4 OBJECT  GLOBAL DEFAULT    5 a

readelf -s 输出的Ndx列表示的是所在段的编号，可以通过readelf -t来查看。

$ readelf -t a.o b.o ab

File: a.o
There are 13 section headers, starting at offset 0x3b8:

Section Headers:
  [Nr] Name
       Type              Address          Offset            Link
       Size              EntSize          Info              Align
       Flags
  [ 0] 
       NULL             0000000000000000  0000000000000000  0
       0000000000000000 0000000000000000  0                 0
       [0000000000000000]: 
  [ 1] .text
       PROGBITS         0000000000000000  0000000000000040  0
       0000000000000027 0000000000000000  0                 1
       [0000000000000006]: ALLOC, EXEC
  [ 2] .rela.text
       RELA             0000000000000000  00000000000002e8  10
       0000000000000048 0000000000000018  1                 8
       [0000000000000040]: INFO LINK
  [ 3] .data
       PROGBITS         0000000000000000  0000000000000068  0
       0000000000000008 0000000000000000  0                 4
       [0000000000000003]: WRITE, ALLOC
  [ 4] .bss
       NOBITS           0000000000000000  0000000000000070  0
       0000000000000004 0000000000000000  0                 4
       [0000000000000003]: WRITE, ALLOC
  [ 5] .comment
       PROGBITS         0000000000000000  0000000000000070  0
       000000000000002c 0000000000000001  0                 1
       [0000000000000030]: MERGE, STRINGS
  [ 6] .note.GNU-stack
       PROGBITS         0000000000000000  000000000000009c  0
       0000000000000000 0000000000000000  0                 1
       [0000000000000000]: 
  [ 7] .note.gnu.property
       NOTE             0000000000000000  00000000000000a0  0
       0000000000000020 0000000000000000  0                 8
       [0000000000000002]: ALLOC
  [ 8] .eh_frame
       PROGBITS         0000000000000000  00000000000000c0  0
       0000000000000038 0000000000000000  0                 8
       [0000000000000002]: ALLOC
  [ 9] .rela.eh_frame
       RELA             0000000000000000  0000000000000330  10
       0000000000000018 0000000000000018  8                 8
       [0000000000000040]: INFO LINK
  [10] .symtab
       SYMTAB           0000000000000000  00000000000000f8  11
       0000000000000198 0000000000000018  11                8
       [0000000000000000]: 
  [11] .strtab
       STRTAB           0000000000000000  0000000000000290  0
       0000000000000055 0000000000000000  0                 1
       [0000000000000000]: 
  [12] .shstrtab
       STRTAB           0000000000000000  0000000000000348  0
       000000000000006c 0000000000000000  0                 1
       [0000000000000000]: 

File: b.o
There are 12 section headers, starting at offset 0x290:

Section Headers:
  [Nr] Name
       Type              Address          Offset            Link
       Size              EntSize          Info              Align
       Flags
  [ 0] 
       NULL             0000000000000000  0000000000000000  0
       0000000000000000 0000000000000000  0                 0
       [0000000000000000]: 
  [ 1] .text
       PROGBITS         0000000000000000  0000000000000040  0
       000000000000002b 0000000000000000  0                 1
       [0000000000000006]: ALLOC, EXEC
  [ 2] .data
       PROGBITS         0000000000000000  000000000000006c  0
       0000000000000004 0000000000000000  0                 4
       [0000000000000003]: WRITE, ALLOC
  [ 3] .bss
       NOBITS           0000000000000000  0000000000000070  0
       0000000000000000 0000000000000000  0                 1
       [0000000000000003]: WRITE, ALLOC
  [ 4] .comment
       PROGBITS         0000000000000000  0000000000000070  0
       000000000000002c 0000000000000001  0                 1
       [0000000000000030]: MERGE, STRINGS
  [ 5] .note.GNU-stack
       PROGBITS         0000000000000000  000000000000009c  0
       0000000000000000 0000000000000000  0                 1
       [0000000000000000]: 
  [ 6] .note.gnu.property
       NOTE             0000000000000000  00000000000000a0  0
       0000000000000020 0000000000000000  0                 8
       [0000000000000002]: ALLOC
  [ 7] .eh_frame
       PROGBITS         0000000000000000  00000000000000c0  0
       0000000000000038 0000000000000000  0                 8
       [0000000000000002]: ALLOC
  [ 8] .rela.eh_frame
       RELA             0000000000000000  0000000000000210  9
       0000000000000018 0000000000000018  7                 8
       [0000000000000040]: INFO LINK
  [ 9] .symtab
       SYMTAB           0000000000000000  00000000000000f8  10
       0000000000000108 0000000000000018  9                 8
       [0000000000000000]: 
  [10] .strtab
       STRTAB           0000000000000000  0000000000000200  0
       000000000000000a 0000000000000000  0                 1
       [0000000000000000]: 
  [11] .shstrtab
       STRTAB           0000000000000000  0000000000000228  0
       0000000000000067 0000000000000000  0                 1
       [0000000000000000]: 

File: ab
There are 10 section headers, starting at offset 0x3250:

Section Headers:
  [Nr] Name
       Type              Address          Offset            Link
       Size              EntSize          Info              Align
       Flags
  [ 0] 
       NULL             0000000000000000  0000000000000000  0
       0000000000000000 0000000000000000  0                 0
       [0000000000000000]: 
  [ 1] .note.gnu.property
       NOTE             00000000004001c8  00000000000001c8  0
       0000000000000020 0000000000000000  0                 8
       [0000000000000002]: ALLOC
  [ 2] .text
       PROGBITS         0000000000401000  0000000000001000  0
       000000000000005e 0000000000000000  0                 1
       [0000000000000006]: ALLOC, EXEC
  [ 3] .eh_frame
       PROGBITS         0000000000402000  0000000000002000  0
       0000000000000058 0000000000000000  0                 8
       [0000000000000002]: ALLOC
  [ 4] .data
       PROGBITS         0000000000404000  0000000000003000  0
       0000000000000008 0000000000000000  0                 4
       [0000000000000003]: WRITE, ALLOC
  [ 5] .bss
       NOBITS           0000000000404008  0000000000003008  0
       0000000000000008 0000000000000000  0                 4
       [0000000000000003]: WRITE, ALLOC
  [ 6] .comment
       PROGBITS         0000000000000000  0000000000003008  0
       000000000000002b 0000000000000001  0                 1
       [0000000000000030]: MERGE, STRINGS
  [ 7] .symtab
       SYMTAB           0000000000000000  0000000000003038  8
       0000000000000198 0000000000000018  9                 8
       [0000000000000000]: 
  [ 8] .strtab
       STRTAB           0000000000000000  00000000000031d0  0
       000000000000002d 0000000000000000  0                 1
       [0000000000000000]: 
  [ 9] .shstrtab
       STRTAB           0000000000000000  00000000000031fd  0
       0000000000000052 0000000000000000  0                 1
       [0000000000000000]:

经过这里可以分析，在编译之后未链接之前，已经初始化的全局变量和静态局部变量都是在.data段，未经初始化的静态局部变量是在.bss段，

而未经初始化的全局变量是放在common块，common块最早来源于Fortran,早期Fortran没有动态分配空间的机制，程序员必须事先声明它所需的零时使用空间大小。Fortran把这种空间叫做common块 —《程序员的自我修养》
gcc的-fno-common允许我们把所有未初始化的全局变量不以common块的形式处理，或者以int global attribute((nocommon));一旦一个未初始化的全局变量不是以common块的形式存在，那么他就相当于一个强符号，如果其他目标文件中还有同一个变量的强符号定义，链接时就会发生符号重定义的错误。

但是在链接之后，通过readelf -s ab可以看出初始化的全局变量和静态局部变量依旧在.data段，未经初始化的全局变量和静态局部变量都在.bss段了。

原因分析

这里涉及到弱符号与强符号的概念，在链接期间，如果有多个同名的强符号则会出现重定义的错误，如果有多个同名的弱符号只有一个强符号，则以强符号的空间大小来分配空间，如果有没有强符号，则以最大的弱符号为主来分配空间。未初始化的全局变量就是一个弱符号，所以在编译期间，它并没有被放在.bss段，原因是在链接的时候有可能会遇到其他编译单元的同名符号，编译期间无法确定其分配大小，但是再链接期间，所有编译单元各段都组合好，此时可以确定符号所需要的确定空间，链接结束就会将其放入.bss段中。

陈序猿.C
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
C++全局变量（编译后）去哪儿
Jacketinsysu的专栏
04-15 1592
今天看到《堆栈的区别》的时候，发现全局变量和静态变量（以下统称为全局变量）在一个叫做全局区的地方，然后还说了，已经初始化过的全局变量在.data段，而未初始化的全局变量在.bss段。不清楚这些段为何物。因为为初始化的全局变量按照C++的规定，会统一将其初始化为0，所以我觉得这样应该是为了赋值方便。不过，当我看到博客1（看Reference部分）的时候，发现原因不是这么简单
C语言 extern 全局变量 编译出mutiple reference错误
ccy1994的博客
05-30 983
extern 全局变量 编译出mutiple reference错误：对于全局变量，extern的使用。由于基础不牢固，半路出家，有时候很混乱，容易犯多重定义定义mutiple reference。总结一下，自己错误的原因，分享一下经验。情况一：对于共有的头文件test.h，有extern int num;这是对变量num的声明，如果要在a.c文件中使用变量num。那么必须1.包含头文件test....
两个文件a,b，文件内部分别定义两个全局变量，编译的时候如何保证两个全局变量初始化顺序
慢慢冲鸭子的博客
08-17 1283
同一个文件中的全局变量，按照顺序初始化；不同文件中的全局变量，编译器没有规定哪一些会先初始化。 做法： 两个文件a，b定义两个类A,B，把全局变量x,y的初始化放到类A，B中，其中类B的构造函数依赖于类A全局变量，保证B的初始化在A之后，即保证y在x之后初始化。 //1.h #pragma once #include<iostream> using namespace std;...
static变量的生存期问题
你代码像一首诗的博客
05-26 1671
static变量的生存期问题 static变量是指静态的变量，不管是在全局还是局部声明的静态变量都存放于程序的全局变量区域，所以它的生命周期是从程序开始到到程序结束。但是在C和C++中，其初始化时机又有区别，具体结论如下： C 全局变量 文件域的静态变量 静态局部变量 初始化 编译期初始化 编译期初始化 编译期初始化 一些细节： 因为C语言的静态变量都是在编译阶段分配好内存之后就会进行初始化。所以，C语言之中无法使用变量对静态变量进行初始化，即以下写法是无法编译通过的： int a
每一个变量的地址是什么时候确认的？
Ineffable__的博客
07-03 716
谭浩强老先生的《C程序设计》中关于变量名的描述： “变量名实际上是一个符号地址，在对程序编译连接时由系统给每一个变量名分配一个内存地址。在程序中从变量中取值，实际上是通过变量名找到相应的内存地址，从其存储单元中读取数据。”总结：变量名就是编译期存在于编译器中的一个符号地址，编译或链接的时候，编译器或者链接器会给每个变量确定内存地址或偏移，并且通过符号表的方式将变量名和地址的映射关系保存起来，当代码中进行变量访问时，实际上是编译器通过变量名找到对应的内存地址，将变量名操作替换为内存地址操作，运行时程序访问该内
c语言中的局部变量和全局变量
热门推荐
bleauchat的博客
04-13 6万+
每个变量都有属于它的作用域，就是这些变量在什么范围内有效；我们按照变量的作用域范围可以把变量划分为局部变量和全局变量； 局部变量 局部变量出现在三种地方： (1)在函数的开头定义的变量 (2) 在函数内的复合语句内定义的变量 (3)形式参数 在一个函数内部定义的变量只在本函数范围内有效，也就是只有本函数内才能引用它们，在此函数外不能使用这些变量； 在复合语句内定义的变量只能在本复合语句范围内有效，只有本复合语句内才能引用他们，在该复合语句外不能使用这些变量； 还有就是函数的形参，只在该函数内有.
C++中全局变量、静态全局变量和全局常量详解
马上到我碗里来的博客
02-28 3754
在C++中，全局变量、静态全局变量和全局常量是程序中常见的概念，它们在不同的情境下有着不同的用途和特性。让我们深入了解这些概念，以及它们的区别和用法。
c语言建立全局变量,C语言全局变量和局部变量
weixin_30550287的博客
05-18 1292
引子---变量可以在程序中三个地方说明: 函数内部、函数的参数定义中或所有的函数外部。根据所定义位置的不同, 变量可分为局部变量、形式参数和全程变量。从空间角度来看，变量可以分为全局变量和局部变量，而从时间角度来分的 可以有静态存储变量和动态存储变量之分。一。全局变量和局部变量1。局部变量他是指在函数内部定义的变量 作用域为定义局部变量的函数 也就是说他只能在定义他的函数中使用最值得注意的是 只有...
c语言全局变量 extern,全局变量和extern详解
weixin_31884015的博客
05-19 4141
声明与定义首先讲一下声明与定义声明不等于定义，声明只是指出了变量的名字，并没有为其分配存储空间；定义指出变量名字同时为变量分配存储空间，定义包含了声明extern int i; //声明变量i，但没分配存储空间，还不能使用, 可以出现很多次，下面的三种情况只能出现一次int i; //定义了变量i，并分配了空间，可以使用extern int a =0 //定义一个全局变量a...
C++ 编译单元概述和全局变量的声明和定义
01-21
　一个，链接时的错误，主要是重复定义变量等。 　编译单元指在编译阶段生成的每个obj文件。 　一个obj文件是一个编译单元。 　一个.cpp(.c)和它相应的.h文件共同组成了一个编译单元。 　一个工程由很多编译...
浅析JavaScript预编译和暗示全局变量
11-19
// 若不执行函数，则不会进行函数预编译，d 就不会提升为全局变量 console.log(c); // error: c is not defined console.log(d); // 4 2. JavaScript执行过程 1. 语法分析，若存在低级语法错误，
浅谈java中的局部变量和全局变量
08-29
浅谈java中的局部变量和全局变量 Java 中的变量可以分为两大类：局部变量和全局变量。理解这两种变量的概念、生存时间和创建位置是java开发者必须具备的基本知识。下面我们将对java中的局部变量和全局变量进行详细...
408函数-递归调用-全局变量和局部变量
07-07
### 408函数-递归调用-全局变量和局部变量 #### 一、CLion环境下新建文件及函数管理 在CLion环境下新建文件，尤其是C/C++源文件，对于项目的组织和代码的管理非常关键。为了提高编程效率和调试效果，我们需要遵循...
GNU/GCC/G++ 编译/链接生成的常见段（section）表
zvvzxzko2006的专栏
09-17 7260
自建开发平台最令人头疼的莫过于处理链接器产生的大量错误。其中难免接触到段。本文列出了大多出可以碰到的标准段名及其定义，希望可以给你带来帮助。
【C语言】函数
2402_85428625的博客
07-23 1306
1. 函数的概念 2. 库函数 2.1 标准库和头⽂件 2.2 库函数的使⽤⽅法 2.2.1 功能 2.2.2 头⽂件包含 2.2.3 实践 2.2.4 库函数⽂档的⼀般格式 3. ⾃定义函数 3.1 函数的语法形式 3.2 函数的举例 4. 形参和实参 4.1 实参 4.2 形参 4.3 实参和形参的关系 5. return语句 6. 数组做函数参数 7. 嵌套调⽤和链式访问 7.1嵌套调用 7.2 链式访问 8. 函数的声明和定义 8.1 单个⽂件 8.2 多个⽂件 8.3static 和 extern
C++---继承
最新发布
2302_80221042的博客
07-25 1243
我们之前学过类的访问限定符有这几种：
背单词工具(C++)
zeyeqianli的博客
07-24 3734
【代码】背单词工具(C++)
c＋＋初阶知识——string类详解
qq_58761784的博客
07-25 2076
C语言中，字符串是以'\0'结尾的一些字符的集合，为了操作方便，C标准库中提供了一些str系列的库函数，但是这些库函数与字符串是分离开的，不太符合OOP的思想，而且底层空间需要用户自己管理，稍不留神可能还会越界访问。
C++的STL简介（一）
2302_81171591的博客
07-23 1436
STL（standarf template libaray-标准模板库）：是C++标准库的重要组成部分，不仅是一个可复用的组件库，而且是一个包罗数据结构与算法的软件框架。
C语言编译原理：全局变量、局部变量与ELF文件详解
本文主要探讨了C语言与编译原理中的几个关键知识点，包括全局变量与局部变量的区别、字符串处理、汇编指令及其在程序结构中的作用，以及ELF文件格式的理解。 1. **全局变量与局部变量**: C语言中，全局变量在整个...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值