首先来谈谈一个进程的执行流程。每个应用程序都有个主函数,在WINDOWS下,只支持两种类型的应用程序——CUI(控制台应用程序)和GUI(图形界面应用程序),相应的,其主函数类型不同。来看下这几个入口函数
- int WINAPI WinMain(HINSTANCE hinstExe, HINSTANCE,PSTR pszCmdLine, int nCmdShow);
- int WINAPT wWinMain(HINSTANCE hinstExe,HINSTANCE,PWSTR pszCmdLine,int nCmdShow);
- int __cdecl main(int argc,char *argv[],char *envp[]);
- int _cdecl wmain(int argc, wchar_t *argv[],wchar_t *envp[]);
前两个为GUI的入口函数,后两个为CUI的入口函数;事实上,在一个进程开始运行时,WINDOWS OS并不直接从主函数开始执行,而是从另外
一个比较大的运行期启动函数开始执行,不同的入口函数对应的启动函数不同:
应用程序类型 | 进入点 | 嵌入可执行文件的启动函数 |
需要ANSI字符和字符串的GUI应用程序 | WinMain | WinMainCRTStartup |
需要Unicode字符和字符串的GUI应用程序 | wWinMainw | WinMainCRTStartup |
需要ANSI字符和字符串的CUI应用程序 | main | mainCRTStartup |
需要Unicode字符和字符串的CUI应用程序 | wmain | wmainCRTStartup |
启动函数负责对应用程序运行前期的初始化,如全局变量的内存分配等。如果编写了一个wWinMain()函数,以下就是它的调用过程:
- GetStartupInfo(&StartupInfo);
- int nMainRetVal = wWinMain(GetMjduleHandle(NULL),
- NULL, pszCommandLineUnicode,
- (StartupInfo.dwFlags & STARTF_USESHOWWINDOW) ?
- StartupInfo.wShowWindow:SW_SHOWDEFAULT);
- ......
- exit(0)
当入口函数(主函数)返回时,运行期启动函数就执行EXIT函数,此函数主要完成全局对象和变量的内存释放任务,之后:再调用ExitProcess
函数进行撤销进程。即:exit()函数内部调用了ExitProcess函数。通常来说,这是最完美的进程执行过程。由此可以看出eixt()函数原型:进行
全局变量和对象的析构,然后调用ExitProcess函数。注意:它只析构全局对象和变量,而不析构局部变量,后面我会列出具体事例程序来说明。
ExitProcess()函数实际上只是用来进行结束进程,如果其后面还有我们预期要执行的代码,实际上全未执行,这个性质暴露出ExitProcess函数
的缺陷:可能导致已经创建的对象没有析构而退出,从而导致内存泄露。
TerminateProcess()函数的实际作用跟ExitProcess函数差不多,只不过,此函数可用来终止当前进程之外的另外一个其它进程,同样的,它
也会导致和ExitProcess一样的结果:内存泄露。
如果我们在编写应用程序时,打算终止当前进程,我们该调用哪个函数?答案是:三者其实都一样! 因为三者都可能导致内存泄露,但我们担心
的过多了,因为进程在结束时,即使有ExitProcess,TerminateProcess,以及exit函数调用而导致的内存泄露,OS也会进行清理工作,能保证
我们泄露的内存最终被还回到OS中去,而不必担心当前进程已经退出而导致内存泄露,致使其它进程无法使用该内存块。一个进程无论在什么情
况下终止,都会进行如下工作:
1) 进程指定的所有用户对象和G D I对象均被释放,所有内核对象均被关闭(如果没有其他 进程打开它们的句柄,那么这些内核对象将被撤消。
但是,如果其他进程打开了它们的句柄, 内核对象将不会撤消)。
2) 进程的退出代码将从S T I L L _ A C T I V E改为传递给E x i t P r o c e s s或Te r m i n a t e P r o c e s s的代码。
3) 进程内核对象的状态变成收到通知的状态(关于传送通知的详细说明,参见第9章)。系 统中的其他线程可以挂起,直到进程终止运行。
4) 进程内核对象的使用计数递减1。
下面来看下如下很简单的示例程序:
- // exitprocess_text.cpp : 定义控制台应用程序的入口点。
- //
- #include "stdafx.h"
- #include "windows.h"
- #include "iostream"
- class Example
- {
- public:
- Example()
- {
- std::cout<<"struction"<<std::endl;
- }
- ~Example()
- {
- std::cout<<"construction"<<std::endl;
- }
- };
- Example ex1;
- int _tmain(int argc, _TCHAR* argv[])
- {
- Example ex2;
- return 0;
- }
程序这样执行时最完美的,其输出结果如下:
structionstructionconstructionconstruction
局部对象ex1和全局对象ex2都被正常析构,而如果将主函数该为如下:
- int _tmain(int argc, _TCHAR* argv[])
- {
- Example ex2;
- ::ExitProcess(0);
- return 0;
- }
程序此时执行结果为:
structionstruction
局部对象和全局对象都没被析构,因为调用了ExitProcess进程直接结束,而没有调用启动函数中的exit函数,所以全局对象也没被析构。
而如果将主函数再改为如下:
程序此时执行结果为:
- int _tmain(int argc, _TCHAR* argv[])
- {
- Example ex2;
- exit(0);
- return 0;
- }
structionstructionconstruction
可以看到只析构了一个对象,而另外一个未被析构,其实没被析构的对象是局部对象,前面提到exit函数主要任务就是负责析构全局对象和变
量,而不负责局部对象的析构。为了说明析构的是全局变量,将主函数再做如下处理:
- int _tmain(int argc, _TCHAR* argv[])
- {
- exit(0);
- return 0;
- }
代码的执行结果是:
structionconstruction
由此证明析构的是全局变量;如果你认为还不给力的话,试着把全局对象删掉,局部对象留下,其执行结果是:
struction
局部变量会被证明没被析构,这绝度没有任何含糊。