探讨全局变量的析构顺序

                                                                        朱金灿

 

前言：最近回答了网友一个问题，当然我不是C++高手，我仅是提出我的猜想和大家交流。

 

   经典的C++的教科书都这样写着：全局对象在调用 main之前初始化， 在退出main之后析构。但是大家请看下面这样一个程序：

 

#include <cstdlib>

#include <iostream>

#include <conio.h>

 

class gb

{

public:

gb::gb()

{

std::cout<<"start"<<std::endl;

};

 

gb::~gb()

{

std::cout<<"end"<<std::endl;

getch();

};

};

 

gb a;

 

int main()

{

std::cout<<"This is in main"<<std::endl;

return 0;

}

 

     大家认为输出是什么呢？大家可能会说：这不是很简单吗？

Start
This is in main
End

 

      实际上事情并没有这么简单。在dev-c++-4.9.9.2的工程上，输出结果是顺理成章的：

Start
This is in main
End

在VC6.0上建一个控制台工程，把代码拷贝进去，发现运行结果却是：

Start
This is in main

     当时很感疑惑，难道gb类对象a没有执行析构函数？思考了一会，决定试验一下。把代码稍为修改一下，把cout全部换为C语言的printf（）函数，如下：

 

#include <cstdlib>

#include <iostream>

#include <conio.h>

#include <stdio.h>

 

class gb

{

public:

gb::gb()

{

//std::cout<<"start"<<std::endl;

printf("start/n");

};

 

gb::~gb()

{

// std::cout<<"end"<<std::endl;

printf("end/n");

getch();

};

};

 

gb a;

 

int main()

{

std::cout<<"This is in main"<<std::endl;

return 0;

}

 

运行结果是：

Start
This is in main
End

 

 这说明析构函数是有执行的。下面提出我的一个猜想：cout作为一个iostream类的对象，在退出main函数后比gb类对象a先执行析构函数，故无法输出End。值得注意这种全局变量的析构顺序是和编译器相关的，在VC上是cout ——〉gb a,而在dev-c++-4.9.9.2是gb a——〉cout。实际上C++标准只规定了同一个cpp文件里的全局变量的构造和析构顺序，
不同文件间的顺序没有规定，因为 gb a是我的cpp里的全局变量 ，cout是iostream里的全局变量，就是说，因为标准中没有规定它们的析构顺序，各个编译器愿意怎么做就怎么做，都是符合标准的。