C/C++的全局变量初始化与不初始化的区别

来源:互联网 发布:windows loader用不了 编辑:程序博客网 时间:2024/04/30 07:29

可执行程序包括BSS段、数据段、代码段(也称文本段)。
BSS(Block Started by Symbol)通常是指用来存放程序中未初始化的全局变量和静态变量的一块内存区域。特点是:可读写的,在程序执行之前BSS段会自动清0。所以,未初始的全局变量在程序执行之前已经成0了。
注意和数据段的区别,BSS存放的是未初始化的全局变量和静态变量,数据段存放的是初始化后的全局变量和静态变量。
UNIX下可使用size命令查看可执行文件的段大小信息。如size a.out。

在C语言里,全局变量如果不初始化的话,默认为0,也就是说在全局空间里:

  int x =0; 跟 int x; 的效果看起来是一样的。但其实这里面的差别很大,强烈建议大家所有的全局变量都要初始化,他们的主要差别如下:

  编译器在编译的时候针对这两种情况会产生两种符号放在目标文件的符号表中,对于初始化的,叫强符号,未初始化的,叫弱符号。

  连接器在连接目标文件的时候,如果遇到两个重名符号,会有以下处理规则:

  1、如果有多个重名的强符号,则报错。

  2、如果有一个强符号,多个弱符号,则以强符号为准。

  3、如果没有强符号,但有多个重名的弱符号,则任选一个弱符号。

  基于以上规则看下面的程序:(编译器为gcc 3.4.6, VC下结果不一样)


   main.cpp
  int x;
  void foo();
  int main(int argc, char* argv[])
  {
  printf("x1:%d\n", x);
  foo();
  printf("x2:%d\n", x);
  return 0;
  }
  int x;
  void foo()
  {
  x = 2;
  }

  因为两个文件里面的x都被初始化了,所以编译出来的两个目标文件里x都是强符号,连接的时候会报错:

  multiple definition of `x'

  符合规则1。

  把var.cpp里面的int x = 0;改成 int x; 不做初始化,编译、连接无任何警告,运行结果为:

  x:1

  x:2

  说明连接的时候以main.cpp中的x为准,foo函数修改的是main.cpp中定义的x。符合规则2。

  把main.cpp中的初始化也去掉,改成 int x; 编译、连接仍然很顺利,运行结果为:

  x:1

  x:2

  说明main函数和foo函数修改的是同一个x,连接器自己选择了一个x,符合规则3.

  大部分情况下,我们不希望连接器为我们做决定,所以我不是很认同后两个规则,至少应该给个警告,而不应该安静地通过。

  也许写var.cpp的人根本不知道main.cpp里面也有一个x呢,foo函数的本意也许并不是要修改main.cpp中的x。因为这种问题引起的bug会很难查。

  所以我们要尽量把全局变量初始化,对于不想给别的文件引用的变量,也尽量用static修饰。

  除了连接时的表现不一样外,为初始化的符号在目标文件的
原创粉丝点击