C++静态初始化过程

参考: <<深度探索C++对象模型>>第6章–全局对象

这是一个有趣的例子,在学习C语言的时候,老师总是说所有程序都是从main()函数开始执行,暂且可以这样认为,当然main()函数也是一个函数,它是谁调用的呢?

 // test.c
  1 #include<iostream>
  2 using namespace std;
  3 
  4 
  5 class x{
  6 
  7 public:                                                                                                                                                                                                 
  8     x(int v= 10):m(v)
  9     {
 10         cout<<v<<endl;
 11         cout<<"x(int v)"<<endl;
 12     }
 13     ~x(){cout<<"~x()"<<endl;}
 14 private:
 15     int m;
 16 
 17 };
 18 
 19 
 20 x x2(100);
 21 int main()
 22 {
 23     cout<<"main run"<<endl;
 24     x x1;
 25     return 0;
 26 }

执行结果:
100
x(int v)
main run
10
x(int v)
~x()
~x()
全局的对象是在main函数执行之前就调用了构造函数构造完成

静态初始化:指的是在编译时期就讲某一些对象进行了初始化;
动态初始化:运行的时候才去进行初始化

  1 #include<iostream>                                                          
  2 using namespace std;
  3 
  4 
  5 int m = 100;
  6 int n;
  7 
  8 
  9 int main()
 10 {
 11     cout<<"n="<<n<<endl;
 12     cout<<"main run"<<endl;
 13     return 0;
 14 }
执行结果:
n=0
main run

对于n和m这样的全局对象,c++编译器会将没有初始化的自动设置为0

对于我们自定义的class类的对象,必须调用其constructor(),这样这个对象才会产生,而constructor()需要等到程序启动后,才会被调用,这样是不是有点迟,我们是否可以讲全局对象的构造函数稍微提前一点调用:

cfont编译器的做法:munch策略,并不高效

对于test.c,编译器会发现含有全局对象,也就是需要静态编译的对象:
1.为test.c需要静态初始化的文件生成一个_sti()函数,这个函数中包含
了全局对象的构造函数;
__sti__test.c__x2()
{
	x2.x::x();   //在这里调用构造函数
}
2.全局对象由于构造函数生成,那么析构函数怎么办,给出了同样的策略,
在需要释放全局对象的源文件中自动生成一个函数_,_std(),该函数负责全局对象析构函数的调用
3.提供了一个函数munch(),该函数中含有一个_main()以及一个exit()函数
其中_main()负责调用_sti(),exit()负责调用_std()


总体的流程:
int main()
{
	_main();  //负责调用对全局对象的初始化函数
	//xxxxxx;
	exit();  //负责调用对全局对象析构的函数
}

对于这种策略,似乎看起来全局对象是在main()函数调用之前就完成了,其实不然

显然,上面的策略显得低效,看起来蛮尴尬的,实际上就是在main中构造全局对象
随着各种各样的编译器的出现,各种高效的方法相继问世,如ELF文件格式的方式

我们知道linux系统下的可执行文件的格式为ELF文件

在ELF文件中,记录了可执行文件的大量信息,包含了跟多的section
其中.init和.fini就是其中的两个,这两个比较特殊,专门记录的对象的信息,
(.init和.fini保存了进程初始化和结束所用的代码，这通常是由编译器自动添加的)
然后会被用于静态初始化和释放的操作

过程如下:
系统会先调用Startup，完成函数库初始化、进程信息设立、I/O stream产生，
以及对static对象的初始化等动作。
然后Startup调用main()函数，把控制权交给main()函数。main()函数执行完毕，控制权交回给Startup，进行反初始化动作。
(其中Startup()一般被命名为ctr0.o)

缺点:
使用全局对象问题还是蛮多的,建议是能不用全局对象就不要用,否则问题会比较多.