devbox
Gausst松鼠会
这个屌丝很懒，什么也没留下！
关注作者
热门标签
热门文章
当前位置:   article > 正文

C语言运行时库详解_c语言 运行时解析

作者：Gausst松鼠会 | 2024-06-15 13:43:29

赞

踩

c语言 运行时解析

运行时库是程序在运行时所需要的库文件，通常运行时库是以LIB或DLL形式提供的。C运行时库诞生于20世纪70年代，当时的程序世界还很单纯，应用程序都是单线程的，多任务或多线程机制在此时还属于新观念。所以这个时期的C运行时库都是单线程的。

　　随着操作系统 多线程技术的发展 ，最初的C运行时库无法满足程序的需求，出现了严重的问题 。C运行时库使用了多个全局变量（例如errno）和静态变量，这可能在多线程程序中引起冲突。假设两个线程都同时设置errno，其结果是后设置的errno会将先前的覆盖，用户得不到正确的错误信息。

　　因此，Visual C++提供了两种版本的C运行时库。一个版本供单线程应用程序调用，另一个版本供多线程应用程序调用。多线程运行时库与单线程运行时库有两个重大差别：

　　（1）类似errno的全局变量，每个线程单独设置一个；

　　这样从每个线程中可以获取正确的错误信息。

　　（2）多线程库中的数据结构以同步机制加以保护。

　　这样可以避免访问时候的冲突。

　　Visual C++提供的多线程运行时库又分为静态链接库和动态链接库两类，而每一类运行时库又可再分为debug版和release版，因此Visual C++共提供了6个运行时库。如下表：

C运行时库 库文件
Single thread(static link)  libc.lib
Debug single thread(static link)  libcd.lib
MultiThread(static link)  libcmt.lib
Debug multiThread(static link) libcmtd.lib
MultiThread(dynamic link) msvert.lib
Debug multiThread(dynamic link) msvertd.lib 

　　2.C运行时库的作用

　　C运行时库除了给我们提供必要的库函数调用（如memcpy、printf、malloc等）之外，它提供的另一个最重要的功能是为应用程序添加启动函数。

　　C运行时库启动函数的主要功能为进行程序的初始化，对全局变量进行赋初值，加载用户程序的入口函数。

　　不采用宽字符集的控制台程序的入口点为mainCRTStartup(void)。下面我们以该函数为例来分析运行时库究竟为我们添加了怎样的入口程序。这个函数在crt0.c中被定义，下列的代码经过了笔者的整理和简化：

  1. void mainCRTStartup(void)
  2. {
  3. 　int mainret;
  4. 　/*获得WIN32完整的版本信息*/
  5. 　_osver = GetVersion();
  6. 　_winminor = (_osver >> 8) & 0x00FF ;
  7. 　_winmajor = _osver & 0x00FF ;
  8. 　_winver = (_winmajor << 8) + _winminor;
  9. 　_osver = (_osver >> 16) & 0x00FFFF ;
  11. 　_ioinit(); /* initialize lowio */
  13. 　/* 获得命令行信息 */
  14. 　_acmdln = (char *) GetCommandLineA();
  16. 　/* 获得环境信息 */
  17. 　_aenvptr = (char *) __crtGetEnvironmentStringsA();
  19. 　_setargv(); /* 设置命令行参数 */
  20. 　_setenvp(); /* 设置环境参数 */
  22. 　_cinit(); /* C数据初始化：全局变量初始化，就在这里！*/
  24. 　__initenv = _environ;
  25. 　mainret = main( __argc, __argv, _environ ); /*调用main函数*/
  27. 　exit( mainret );
  28. }
复制代码

从以上代码可知，运行库在调用用户程序的main或WinMain函数之前，进行了一些初始化工作。初始化完成后，接着才调用了我们编写的main或WinMain函数。只有这样，我们的C语言运行时库和应用程序才能正常地工作起来。

　　除了crt0.c外，C运行时库中还包含wcrt0.c、 wincrt0.c、wwincrt0.c三个文件用来提供初始化函数。wcrt0.c是crt0.c的宽字符集版，wincrt0.c中包含 windows应用程序的入口函数，而wwincrt0.c则是wincrt0.c的宽字符集版。

　　Visual C++的运行时库源代码缺省情况下不被安装。如果您想查看其源代码，则需要重装Visual C++，并在重装在时选中安装运行库源代码选项。

　　3.各种C运行时库的区别

　　（1）静态链接的单线程库

　　静态链接的单线程库只能用于单线程的应用程序，C运行时库的目标代码最终被编译在应用程序的二进制文件中。通过/ML编译选项可以设置Visual C++使用静态链接的单线程库。

　　（2）静态链接的多线程库

　　静态链接的多线程库的目标代码也最终被编译在应用程序的二进制文件中，但是它可以在多线程程序中使用。通过/MD编译选项可以设置Visual C++使用静态链接的单线程库。

　　（3）动态链接的运行时库

　　动态链接的运行时库将所有的C库函数保存在一个单独的动态链接库MSVCRTxx.DLL中，MSVCRTxx.DLL处理了多线程问题。使用/ML编译选项可以设置Visual C++使用动态链接的运行时库。

　　/MDd、 /MLd 或 /MTd 选项使用 Debug runtime library(调试版本的运行时刻函数库)，与/MD、 /ML 或 /MT分别对应。Debug版本的 Runtime Library 包含了调试信息，并采用了一些保护机制以帮助发现错误，加强了对错误的检测，因此在运行性能方面比不上Release版本。

　　下面看一个未正确使用C运行时库的控制台程序：

  1. #include <stdio.h>
  2. #include <afx.h>
  3. int main()
  4. {
  5. 　CFile file;
  6. 　CString str("I love you");
  7. 　TRY
  8. 　{
  9. 　　file.Open("file.dat",CFile::modeWrite | CFile::modeCreate);
  10. 　}
  11. 　CATCH( CFileException, e )
  12. 　{
  13. 　　#ifdef _DEBUG
  14. 　　afxDump << "File could not be opened " << e->m_cause << "/n";
  15. 　　#endif
  16. 　}
  17. 　END_CATCH
  19. 　file.Write(str,str.GetLength());
  20. 　file.Close();
  21. }
复制代码

我们在"rebuild all"的时候发生了link错误：

  1. nafxcwd.lib(thrdcore.obj) : error LNK2001: unresolved external symbol __endthreadex
  2. nafxcwd.lib(thrdcore.obj) : error LNK2001: unresolved external symbol __beginthreadex
  3. main.exe : fatal error LNK1120: 2 unresolved externals
  4. Error executing cl.exe.
复制代码

发 生错误的原因在于Visual C++对控制台程序默认使用单线程的静态链接库，而MFC中的CFile类已暗藏了多线程。我们只需要在Visual C++6.0中依次点选Project->Settings->C/C++菜单和选项，在Project Options里修改编译选项即可。

C 运行时库是微软 对 标准C库函数的实现，因为当时考虑到许多程序都使用C编写，而这些程序都要使用标准的C库，按照以前的方式每一个程序最终都要拷贝一份标准库的实现到程序 中，这样同一时刻内存中可能有许多份标准库的代码（一个程序一份），所以微软出于效率的考虑把  标准C库做为动态链接来实现，这样多个程序使用C标准库时内存中就只有一份拷贝了。（对每一个程序来说，它相当于自己拥有一份，   对于标准库中的全局变量也做了处理的，不会因为共享同一份代码而出现冲突）。   这也算是对C标准库的一个扩展吧，至于说静态链接的时候仍然把它叫做运行时库那只能说这是个习惯问题而已了。  
 
 运行时库和普通的   dll   一样，如果有程序用到了才会加载，没有程序使用的时候不会驻留内存的。话虽如此，但有多少系统的东西说不定也是用C写的，这些东西的存在就使C运行时库存在于内存中了

从字面上看，运行库是程序在运行时所需要的库文件。通常运行库是以DLL形式提供的。 Delphi和C++ Builder的运行库为.bpl文件，实际还是一个DLL。运行库中一般包括编程时常用的函数，如字符串操作、文件操作、界面等内容。不同的语言所支持 的函数通常是不同的，所以使用的库也是完全不同的，这就是为什么有VB运行库、C运行库、Delphi运行库之分的原因。即使都是C++语言，也可能因为 提供的函数不同，而使用不同的库。如VC++使用的运行库和C++ Builder就完全不同。
如果不使用运行库，每个程序中都会包括很多重复的代码，而使用运行库，可以大大缩小编译后的程序的大小。但另一方面，由于使用了运行库，所以在分发程序时就必须带有这些库，比较麻烦。如果在操作系统中找不到相应的运行库程序就无法运行。为了解决这个矛盾，Windows 总 是会带上它自己开发的软件的最新的运行库。象Windows 2000以后的版本都包括Visual Basic 5.0/6.0的库。Internet Explorer总是带有最新的Visual C++ 6.0的库。Windows XP带有Microsoft .NET 1.0（用于VB.NET和C#）的库。Visual C++、Delphi和C++ Builder允许用户选择所编译得到的程序是否依赖于运行库。而VB、FoxPro、PowerBuilder、LabWindows/CVI和 Matlab就不允许用户进行这种选择，必须依赖于运行库。

2 内存泄漏

2.1 C++中动态内存分配引发问题的解决方案

假设我们要开发一个String类，它可以方便地处理字符串数据。我们可以在类中声明一个数组，考虑到有时候字符串极长，我们可以把数组大小设为200， 但一般的情况下又不需要这么多的空间，这样是浪费了内存。对了，我们可以使用new操作符，这样是十分灵活的，但在类中就会出现许多意想不到的问题，本文 就是针对这一现象而写的。现在，我们先来开发一个String类，但它是一个不完善的类。的确，我们要刻意地使它出现各种各样的问题，这样才好对症下药。 好了，我们开始吧！

  1. /* String.h */
  2. #ifndef STRING_H_
  3. #define STRING_H_
  4. class String
  5. {
  6. private:
  7. char * str; //存储数据
  8. int len; //字符串长度
  9. public:
  10. String(const char * s); //构造函数
  11. String(); // 默认构造函数
  12. ~String(); // 析构函数
  13. friend ostream & operator<<(ostream & os,const String& st);
  14. };
  16. #endif
复制代码
  1. /*String.cpp*/
  2. #include <iostream＞
  3. #include <cstring＞
  4. #include "String.h"
  6. using namespace std;
  8. String::String(const char * s)
  9. {
  10. len = strlen(s);
  11. str = new char[len + 1];
  12. strcpy(str, s);
  13. }//拷贝数据
  15. String::String()
  16. {
  17. len =0;
  18. str = new char[len+1];
  19. str[0]='"0';
  20. }
  22. String::~String()
  23. {
  24. cout<<"这个字符串将被删除："<<str<<'"n';//为了方便观察结果，特留此行代码。
  25. delete [] str;
  26. }
  28. ostream & operator<<(ostream & os, const String & st)
  29. {
  30. os << st.str;
  31. return os;
  32. }
复制代码
  1. /*test_right.cpp*/
  3. #include <iostream＞
  4. #include <stdlib.h＞
  5. #include "String.h"
  7. using namespace std;
  9. int main()
  10. {
  11. String temp("大家网");
  12. cout<<temp<<'"n';
  13. system("PAUSE");
  14. return 0;
  15. }
复制代码

运行结果：

　　大家网

　　请按任意键继续. . .

　　大家可以看到，以上程序十分正确，而且也是十分有用的。可是，我们不能被表面现象所迷惑！下面，请大家用test_String.cpp文件替换test_right.cpp文件进行编译，看看结果。有的编译器可能就是根本不能进行编译！

  1. /*test_String.cpp:*/
  2. #include <iostream＞
  3. #include <stdlib.h＞
  4. #include "String.h"
  6. using namespace std;
  8. void show_right(const String&);
  9. void show_String(const String);//注意，参数非引用，而是按值传递。
  11. int main()
  12. {
  13. String test1("第一个范例。");
  14. String test2("第二个范例。");
  15. String test3("第三个范例。");
  16. String test4("第四个范例。");
  18. cout<<"下面分别输入三个范例："n";
  19. cout<<test1<<endl;
  20. cout<<test2<<endl;
  21. cout<<test3<<endl;
  23. String* String1=new String(test1);
  25. cout<<*String1<<endl;
  27. delete String1;
  29. cout<<test1<<endl; //在Dev-cpp上没有任何反应。
  30. cout<<"使用正确的函数："<<endl;
  32. show_right(test2);
  34. cout<<test2<<endl;
  35. cout<<"使用错误的函数："<<endl;
  37. show_String(test2);
  39. cout<<test2<<endl; //这一段代码出现严重的错误！
  41. String String2(test3);
  43. cout<<"String2: "<<String2<<endl;
  45. String String3;
  46. String3=test4;
  48. cout<<"String3: "<<String3<<endl;
  49. cout<<"下面，程序结束，析构函数将被调用。"<<endl;
  51. return 0;
  52. }
  54. void show_right(const String& a)
  55. {
  56. cout<<a<<endl;
  57. }
  59. void show_String(const String a)
  60. {
  61. cout<<a<<endl;
  62. }
复制代码

运行结果：

　　下面分别输入三个范例：

　　第一个范例。

　　第二个范例。

　　第三个范例。

　　第一个范例。

　　这个字符串将被删除：第一个范例。

　　使用正确的函数：

　　

　　第二个范例。

　　第二个范例。

　　使用错误的函数：

　　第二个范例。

　　这个字符串将被删除：第二个范例。

　　这个字符串将被删除：?=

　　?=

　　String2: 第三个范例。

　　String3: 第四个范例。

　　下面，程序结束，析构函数将被调用。

　　这个字符串将被删除：第四个范例。

　　这个字符串将被删除：第三个范例。

　　这个字符串将被删除：?=

　　这个字符串将被删除：x =

　　这个字符串将被删除：?=

　　这个字符串将被删除：


现在，请大家自己试试运行结果，或许会更加惨不忍睹呢！下面，我为大家一一分析原因。

首先，大家要知道，C＋＋类有以下这些极为重要的函数：

一：复制构造函数。

二：赋值函数。

我们先来讲复制构造函数。什么是复制构造函数呢？比如，我们可以写下这样的代码：String test1(test2);这是进行初始化。我们知道，初始化对象要用构造函数。可这儿呢？按理说，应该有声明为这样的构造函 数：String(const String &);可是，我们并没有定义这个构造函数呀？答案是，C＋＋提供了默认的复制构造函数，问题也就出在这儿。

（1）：什么时候会调用复制构造函数呢？（以String类为例。）

　　在我们提供这样的代码：String test1(test2)时，它会被调用；当函数的参数列表为按值传递，也就是没有用引用和指针作为类型时，如：void show_String(const String)，它会被调用。其实，还有一些情况，但在这儿就不列举了。

（2）：它是什么样的函数。

它的作用就是把两个类进行复制。拿String类为例，C＋＋提供的默认复制构造函数是这样的：

  1. String(const String& a)
  2. {
  3. str=a.str;
  4. len=a.len;
  5. }
复制代码

在 平时，这样并不会有任何的问题出现，但我们用了new操作符，涉及到了动态内存分配，我们就不得不谈谈浅复制和深复制了。以上的函数就是实行的浅复制，它 只是复制了指针，而并没有复制指针指向的数据，可谓一点儿用也没有。打个比方吧！就像一个朋友让你把一个程序通过网络发给他，而你大大咧咧地把快捷方式发 给了他，有什么用处呢？我们来具体谈谈：

假如，A对象中存储了这样的字符串：“C＋＋”。它的地址为2000。现在，我们把A对象赋给B对象：String B=A。现在，A和B对象的str指针均指向2000地址。看似可以使用，但如果B对象的析构函数被调用时，则地址2000处的字符串“C＋＋”已经被从 内存中抹去，而A对象仍然指向地址2000。这时，如果我们写下这样的代码：cout<<A<<endl;或是等待程序结束，A 对象的析构函数被调用时，A对象的数据能否显示出来呢？只会是乱码。而且，程序还会这样做：连续对地址2000处使用两次delete操作符，这样的后果 是十分严重的！

本例中，有这样的代码：

  1. String* String1=new String(test1);
  2. cout<<*String1<<endl;
  3. delete String1;
复制代码

假 设test1中str指向的地址为2000,而String中str指针同样指向地址2000，我们删除了2000处的数据，而test1对象呢？已经被 破坏了。大家从运行结果上可以看到，我们使用cout<<test1时，一点反应也没有。而在test1的析构函数被调用时，显示是这样： “这个字符串将被删除：”。

再看看这段代码：

  1. cout<<"使用错误的函数："<<endl;
  2. show_String(test2);
  3. cout<<test2<<endl;//这一段代码出现严重的错误！
复制代码

show_String 函数的参数列表void show_String(const String a)是按值传递的，所以，我们相当于执行了这样的代码：String a=test2;函数执行完毕，由于生存周期的缘故，对象a被析构函数删除，我们马上就可以看到错误的显示结果了：这个字符串将被删除：?=。当 然，test2也被破坏了。解决的办法很简单，当然是手工定义一个复制构造函数喽！人力可以胜天！

  1. String::String(const String& a)
  2. {
  3. len=a.len;
  4. str=new char(len+1);
  5. strcpy(str,a.str);
  6. }
复制代码

我 们执行的是深复制。这个函数的功能是这样的：假设对象A中的str指针指向地址2000，内容为“I am a C++ Boy!”。我们执行代码String B=A时，我们先开辟出一块内存，假设为3000。我们用strcpy函数将地址2000的内容拷贝到地址3000中，再将对象B的str指针指向地址 3000。这样，就互不干扰了。

大家把这个函数加入程序中，问题就解决了大半，但还没有完全解决，问题在赋值函数上。我们的程序中有这样的段代码：

  1. String String3;
  2. String3=test4;
复制代码

经 过我前面的讲解，大家应该也会对这段代码进行寻根摸底：凭什么可以这样做：String3=test4？？？原因是，C＋＋为了用户的方便，提供的这样的 一个操作符重载函数：operator=。所以，我们可以这样做。大家应该猜得到，它同样是执行了浅复制，出了同样的毛病。比如，执行了这段代码后，析构 函数开始大展神威^_^。由于这些变量是后进先出的，所以最后的String3变量先被删除：这个字符串将被删除：第四个范例。很正常。最后，删除到 test4的时候，问题来了：这个字符串将被删除：?=。原因我不用赘述了，只是这个赋值函数怎么写，还有一点儿学问呢！大家请看：

平时，我们可以写这样的代码：x=y=z。（均为整型变量。）而在类对象中，我们同样要这样，因为这很方便。而对象A=B=C就是 A.operator=(B.operator=(c))。而这个operator=函数的参数列表应该是：const String& a，所以，大家不难推出，要实现这样的功能，返回值也要是String&，这样才能实现A＝B＝C。我们先来写写看：

  1. String& String::operator=(const String& a)
  2. {
  3. delete [] str;//先删除自身的数据
  4. len=a.len;
  5. str=new char[len+1];
  6. strcpy(str,a.str);//此三行为进行拷贝
  7. return *this;//返回自身的引用
  8. }
复制代码

是 不是这样就行了呢？我们假如写出了这种代码：A=A，那么大家看看，岂不是把A对象的数据给删除了吗？这样可谓引发一系列的错误。所以，我们还要检查是否 为自身赋值。只比较两对象的数据是不行了，因为两个对象的数据很有可能相同。我们应该比较地址。以下是完好的赋值函数：

  1. String& String::operator=(const String& a)
  2. {
  3. if(this==&a)
  4. return *this;
  5. delete [] str;
  6. len=a.len;
  7. str=new char[len+1];
  8. strcpy(str,a.str);
  9. return *this;
  10. }
复制代码

把这些代码加入程序，问题就完全解决，下面是运行结果：

　　下面分别输入三个范例：

　　第一个范例

　　第二个范例

　　第三个范例

　　第一个范例

　　这个字符串将被删除：第一个范例。

　　第一个范例

　　　使用正确的函数：

　　第二个范例。

　　第二个范例。

　　　使用错误的函数：

　　第二个范例。

　　这个字符串将被删除：第二个范例。

　　第二个范例。

　　String2: 第三个范例。

　　String3: 第四个范例。

　　下面，程序结束，析构函数将被调用。

　　这个字符串将被删除：第四个范例。

　　这个字符串将被删除：第三个范例。

　　这个字符串将被删除：第四个范例。

　　这个字符串将被删除：第三个范例。

　　这个字符串将被删除：第二个范例。

　　这个字符串将被删除：第一个范例。


2.2 如何对付内存泄漏？

写出那些不会导致任何内存泄漏的代码。很明显，当你的代码中到处充满了new 操作、delete操作和指针运算的话，你将会在某个地方搞晕了头，导致内存泄漏，指针引用错误，以及诸如此类的问题。这和你如何小心地对待内存分配工作 其实完全没有关系：代码的复杂性最终总是会超过你能够付出的时间和努力。于是随后产生了一些成功的技巧，它们依赖于将内存分配（allocations） 与重新分配（deallocation）工作隐藏在易于管理的类型之后。标准容器（standard containers）是一个优秀的例子。它们不是通过你而是自己为元素管理内存，从而避免了产生糟糕的结果。想象一下，没有string和vector 的帮助，写出这个：

  1. #include<vector>
  2. #include<string>
  3. #include<iostream>
  4. #include<algorithm>
  6. using namespace std;
  8. int main() // small program messing around with strings
  9. {
  10. 　cout << "enter some whitespace-separated words:"n";
  11. 　vector<string> v;
  12. 　string s;
  13. 　while (cin>>s) v.push_back(s);
  14. 　sort(v.begin(),v.end());
  15. 　string cat;
  16. 　typedef vector<string>::const_iterator Iter;
  17. 　for (Iter p = v.begin(); p!=v.end(); ++p) cat += *p+"+";
  18. 　cout << cat << ’"n’;
  19. }
复制代码

你有多少机会在第一次就得到正确的结果？你又怎么知道你没有导致内存泄漏呢？

　　注意，没有出现显式的内存管理，宏，造型，溢出检查，显式的长度限制，以及指针。通过使用函数对象和标准算法（standard algorithm），我可以避免使用指针——例如使用迭代子（iterator），不过对于一个这么小的程序来说有点小题大作了。

　　这些技巧并不完美，要系统化地使用它们也并不总是那么容易。但是，应用它们产生了惊人的差异，而且通过减少显式的内存分配与重新分配的次数，你甚至可 以使余下的例子更加容易被跟踪。早在1981年，我就指出，通过将我必须显式地跟踪的对象的数量从几万个减少到几打，为了使程序正确运行而付出的努力从可 怕的苦工，变成了应付一些可管理的对象，甚至更加简单了。

　　如果你的程序还没有包含将显式内存管理减少到最小限度的库，那么要让你程序完成和正确运行的话，最快的途径也许就是先建立一个这样的库。

　　模板和标准库实现了容器、资源句柄以及诸如此类的东西，更早的使用甚至在多年以前。异常的使用使之更加完善。

　　如果你实在不能将内存分配/重新分配的操作隐藏到你需要的对象中时，你可以使用资源句柄（resource handle），以将内存泄漏的可能性降至最低。这里有个例子：我需要通过一个函数，在空闲内存中建立一个对象并返回它。这时候可能忘记释放这个对象。毕 竟，我们不能说，仅仅关注当这个指针要被释放的时候，谁将负责去做。使用资源句柄，这里用了标准库中的auto_ptr，使需要为之负责的地方变得明确 了。

  1. #include<memory>
  2. #include<iostream>
  3. using namespace std;
  4. struct S {
  5. 　S() { cout << "make an S"n"; }
  6. 　~S() { cout << "destroy an S"n"; }
  7. 　S(const S&) { cout << "copy initialize an S"n"; }
  8. 　S& operator=(const S&) { cout << "copy assign an S"n"; }
  9. };
  11. S* f()
  12. {
  13. 　return new S; // 谁该负责释放这个S？
  14. };
  16. auto_ptr<S> g()
  17. {
  18. 　return auto_ptr<S>(new S); // 显式传递负责释放这个S
  19. }
  21. int main()
  22. {
  23. 　cout << "start main"n";
  24. 　S* p = f();
  25. 　cout << "after f() before g()"n";
  26. 　// S* q = g(); // 将被编译器捕捉
  27. 　auto_ptr<S> q = g();
  28. 　cout << "exit main"n";
  29. 　// *p产生了内存泄漏
  30. 　// *q被自动释放
  31. }
复制代码

在更一般的意义上考虑资源，而不仅仅是内存。

如果在你的环境中不能系统地应用这些技巧（例如，你必须使用别的地方的代码，或者你的程序的另一部分简直是原始人类（译注：原文是 Neanderthals，尼安德特人，旧石器时代广泛分布在欧洲的猿人）写的，如此等等），那么注意使用一个内存泄漏检测器作为开发过程的一部分，或者 插入一个垃圾收集器（garbage collector）。

2.3浅谈C/C++内存泄漏及其检测工具

　　对于一个c/c++程序员来说，内存泄漏是一个常见的也是令人头疼的问题。已经有许多技术被研究出来以应对这个问题，比如Smart Pointer，Garbage Collection等。Smart Pointer技术比较成熟，STL中已经包含支持Smart Pointer的class，但是它的使用似乎并不广泛，而且它也不能解决所有的问题；Garbage Collection技术在Java中已经比较成熟，但是在c/c++领域的发展并不顺畅，虽然很早就有人思考在C++中也加入GC的支持。现实世界就是 这样的，作为一个c/c++程序员，内存泄漏是你心中永远的痛。不过好在现在有许多工具能够帮助我们验证内存泄漏的存在，找出发生问题的代码。

2.3.1 内存泄漏的定义

一般我们常说的内存泄漏是指堆内存的泄漏。堆内存是指程序从堆中分配的，大小任意的（内存块的大小可以在程序运行期决定），使用完后必须显示释放的内存。 应用程序一般使用malloc，realloc，new等函数从堆中分配到一块内存，使用完后，程序必须负责相应的调用free或delete释放该内存 块，否则，这块内存就不能被再次使用，我们就说这块内存泄漏了。以下这段小程序演示了堆内存发生泄漏的情形：

  1. void MyFunction(int nSize)
  2. {
  3. 　char* p= new char[nSize];
  4. 　if( !GetStringFrom( p, nSize ) ){
  5. 　　MessageBox(“Error”);
  6. 　　return;
  7. 　}
  9. 　…//using the string pointed by p;
  10. 　delete p;
  11. }
复制代码

当函数GetStringFrom()返回零的时候，指针p指向的内存就不会被释放。这是一种常见的发生内存泄漏的情形。程序在入口处分配内存，在出口处释放内存，但是c函数可以在任何地方退出，所以一旦有某个出口处没有释放应该释放的内存，就会发生内存泄漏。

　　广义的说，内存泄漏不仅仅包含堆内存的泄漏，还包含系统资源的泄漏(resource leak)，比如核心态HANDLE，GDI Object，SOCKET， Interface等，从根本上说这些由操作系统分配的对象也消耗内存，如果这些对象发生泄漏最终也会导致内存的泄漏。而且，某些对象消耗的是核心态内 存，这些对象严重泄漏时会导致整个操作系统不稳定。所以相比之下，系统资源的泄漏比堆内存的泄漏更为严重。

GDI Object的泄漏是一种常见的资源泄漏：

  1. void CMyView::OnPaint( CDC* pDC )
  2. {
  3. 　CBitmap bmp;
  4. 　CBitmap* pOldBmp;
  5. 　bmp.LoadBitmap(IDB_MYBMP);
  6. 　pOldBmp = pDC->SelectObject( &bmp );
  7. 　…
  9. 　if( Something() ){
  10. 　　return;
  11. 　}
  13. 　pDC->SelectObject( pOldBmp );
  14. 　return;
  15. }
复制代码

当 函数Something()返回非零的时候，程序在退出前没有把pOldBmp选回pDC中，这会导致pOldBmp指向的HBITMAP对象发生泄漏。 这个程序如果长时间的运行，可能会导致整个系统花屏。这种问题在Win9x下比较容易暴露出来，因为Win9x的GDI堆比Win2k或NT 的要小很多。

2.3.2 内存泄漏的发生方式

　　以发生的方式来分类，内存泄漏可以分为4类：

　　1. 常发性内存泄漏。发生内存泄漏的代码会被多次执行到，每次被执行的时候都会导致一块内存泄漏。比如例二，如果Something()函数一直返回True，那么pOldBmp指向的HBITMAP对象总是发生泄漏。

　　2. 偶发性内存泄漏。发生内存泄漏的代码只有在某些特定环境或操作过程下才会发生。比如例二，如果Something()函数只有在特定环境下才返回 True，那么pOldBmp指向的HBITMAP对象并不总是发生泄漏。常发性和偶发性是相对的。对于特定的环境，偶发性的也许就变成了常发性的。所以 测试环境和测试方法对检测内存泄漏至关重要。

3. 一次性内存泄漏。发生内存泄漏的代码只会被执行一次，或者由于算法上的缺陷，导致总会有一块仅且一块内存发生泄漏。比如，在类的构造函数中分配内存，在析构函数中却没有释放该内存，但是因为这个类是一个Singleton，所以内存泄漏只会发生一次。另一个例子：

  1. char* g_lpszFileName = NULL;
  2. void SetFileName( const char* lpcszFileName )
  3. {
  4. 　if( g_lpszFileName ){
  5. 　　free( g_lpszFileName );
  6. 　}
  7. 　g_lpszFileName = strdup( lpcszFileName );
  8. }
复制代码

如果程序在结束的时候没有释放g_lpszFileName指向的字符串，那么，即使多次调用SetFileName()，总会有一块内存，而且仅有一块内存发生泄漏。

4. 隐式内存泄漏。程序在运行过程中不停的分配内存，但是直到结束的时候才释放内存。严格的说这里并没有发生内存泄漏，因为最终程序释放了所有申请的内存。但 是对于一个服务器程序，需要运行几天，几周甚至几个月，不及时释放内存也可能导致最终耗尽系统的所有内存。所以，我们称这类内存泄漏为隐式内存泄漏。举一 个例子：

  1. class Connection
  2. {
  3. 　public:
  4. 　　Connection( SOCKET s);
  5. 　　~Connection();
  6. 　　…
  7. 　private:
  8. 　　SOCKET _socket;
  9. 　　…
  10. };
  12. class ConnectionManager
  13. {
  14. 　public:
  15. 　　ConnectionManager(){}
  16. 　　~ConnectionManager(){
  17. 　　　list::iterator it;
  18. 　　　for( it = _connlist.begin(); it != _connlist.end(); ++it ){
  19. 　　　　delete （*it）;
  20. 　　　}
  21. 　　　_connlist.clear();
  22. 　　}
  24. 　　void OnClientConnected( SOCKET s ){
  25. 　　　Connection* p = new Connection(s);
  26. 　　　_connlist.push_back(p);
  27. 　　}
  29. 　　void OnClientDisconnected( Connection* pconn ){
  30. 　　　_connlist.remove( pconn );
  31. 　　　delete pconn;
  32. 　　}
  34. 　private:
  35. 　　list _connlist;
  36. };
复制代码

假 设在Client从Server端断开后，Server并没有呼叫OnClientDisconnected()函数，那么代表那次连接的 Connection对象就不会被及时的删除（在Server程序退出的时候，所有Connection对象会在ConnectionManager的析 构函数里被删除）。当不断的有连接建立、断开时隐式内存泄漏就发生了。

从用户使用程序的角度来看，内存泄漏本身不会产生什么危害，作为一般的用户，根本感觉不到内存泄漏的存在。真正有危害的是内存泄漏的堆积，这会最终消耗尽 系统所有的内存。从这个角度来说，一次性内存泄漏并没有什么危害，因为它不会堆积，而隐式内存泄漏危害性则非常大，因为较之于常发性和偶发性内存泄漏它更 难被检测到。

2.3.3 检测内存泄漏

　　检测内存泄漏的关键是要能截获住对分配内存和释放内存的函数的调用。截获住这两个函数，我们就能跟踪每一块内存的生命周期，比如，每当成功的分配一块 内存后，就把它的指针加入一个全局的list中；每当释放一块内存，再把它的指针从list中删除。这样，当程序结束的时候，list中剩余的指针就是指 向那些没有被释放的内存。这里只是简单的描述了检测内存泄漏的基本原理，详细的算法可以参见Steve Maguire的<<Writing Solid Code>>。

　　如果要检测堆内存的泄漏，那么需要截获住malloc/realloc/free和new/delete就可以了（其实new/delete最终也是 用malloc/free的，所以只要截获前面一组即可）。对于其他的泄漏，可以采用类似的方法，截获住相应的分配和释放函数。比如，要检测 BSTR的泄漏，就需要截获SysAllocString/SysFreeString；要检测HMENU的泄漏，就需要截获CreateMenu/ DestroyMenu。（有的资源的分配函数有多个，释放函数只有一个，比如，SysAllocStringLen也可以用来分配BSTR，这时就需要 截获多个分配函数）

　　在Windows平台下，检测内存泄漏的工具常用的一般有三种，MS C-Runtime Library内建的检测功能；外挂式的检测工具，诸如，Purify，BoundsChecker等；利用Windows NT自带的Performance Monitor。这三种工具各有优缺点，MS C-Runtime Library虽然功能上较之外挂式的工具要弱，但是它是免费的；Performance Monitor虽然无法标示出发生问题的代码，但是它能检测出隐式的内存泄漏的存在，这是其他两类工具无能为力的地方。

　　以下我们详细讨论这三种检测工具：

2.3.3.1 VC下内存泄漏的检测方法

　　用MFC开发的应用程序，在DEBUG版模式下编译后，都会自动加入内存泄漏的检测代码。在程序结束后，如果发生了内存泄漏，在Debug窗口中会显示出所有发生泄漏的内存块的信息，以下两行显示了一块被泄漏的内存块的信息：

E:"TestMemLeak"TestDlg.cpp(70) : {59} normal block at 0x00881710, 200 bytes long.

Data: <abcdefghijklmnop> 61 62 63 64 65 66 67 68 69 6A 6B 6C 6D 6E 6F 70

　　第一行显示该内存块由TestDlg.cpp文件，第70行代码分配，地址在0x00881710，大小为200字节，{59}是指调用内存分配函数 的Request Order，关于它的详细信息可以参见MSDN中_CrtSetBreakAlloc()的帮助。第二行显示该内存块前16个字节的内容，尖括号内是以 ASCII方式显示，接着的是以16进制方式显示。

　　一般大家都误以为这些内存泄漏的检测功能是由MFC提供的，其实不然。MFC只是封装和利用了MS C-Runtime Library的Debug Function。非MFC程序也可以利用MS C-Runtime Library的Debug Function加入内存泄漏的检测功能。MS C-Runtime Library在实现malloc/free，strdup等函数时已经内建了内存泄漏的检测功能。

注意观察一下由MFC Application Wizard生成的项目，在每一个cpp文件的头部都有这样一段宏定义：

  1. #ifdef _DEBUG
  2. #define new DEBUG_NEW
  3. #undef THIS_FILE
  4. static char THIS_FILE[] = __FILE__;
  5. #endif
复制代码

有了这样的定义，在编译DEBUG版时，出现在这个cpp文件中的所有new都被替换成DEBUG_NEW了。那么DEBUG_NEW是什么呢？DEBUG_NEW也是一个宏，以下摘自afx.h，1632行

  1. #define DEBUG_NEW new(THIS_FILE, __LINE__)
复制代码

所以如果有这样一行代码：

  1. char* p = new char[200];
复制代码

经过宏替换就变成了：

  1. char* p = new( THIS_FILE, __LINE__)char[200];
复制代码

根据C++的标准，对于以上的new的使用方法，编译器会去找这样定义的operator new：

  1. void* operator new(size_t, LPCSTR, int)
复制代码

我们在afxmem.cpp 63行找到了一个这样的operator new 的实现

  1. void* AFX_CDECL operator new(size_t nSize, LPCSTR lpszFileName, int nLine)
  2. {
  3. 　return ::operator new(nSize, _NORMAL_BLOCK, lpszFileName, nLine);
  4. }
  6. void* __cdecl operator new(size_t nSize, int nType, LPCSTR lpszFileName, int nLine)
  7. {
  8. 　…
  9. 　pResult = _malloc_dbg(nSize, nType, lpszFileName, nLine);
  10. 　if (pResult != NULL)
  11. 　　return pResult;
  12. 　…
  13. }
复制代码

第 二个operator new函数比较长，为了简单期间，我只摘录了部分。很显然最后的内存分配还是通过_malloc_dbg函数实现的，这个函数属于MS C-Runtime Library 的Debug Function。这个函数不但要求传入内存的大小，另外还有文件名和行号两个参数。文件名和行号就是用来记录此次分配是由哪一段代码造成的。如果这块内 存在程序结束之前没有被释放，那么这些信息就会输出到Debug窗口里。

　　这里顺便提一下THIS_FILE，__FILE和__LINE__。__FILE__和__LINE__都是编译器定义的宏。当碰到 __FILE__时，编译器会把__FILE__替换成一个字符串，这个字符串就是当前在编译的文件的路径名。当碰到__LINE__时，编译器会把 __LINE__替换成一个数字，这个数字就是当前这行代码的行号。在DEBUG_NEW的定义中没有直接使用__FILE__，而是用了 THIS_FILE，其目的是为了减小目标文件的大小。假设在某个cpp文件中有100处使用了new，如果直接使用__FILE__，那编译器会产生 100个常量字符串，这100个字符串都是飧?/SPAN>cpp文件的路径名，显然十分冗余。如果使用THIS_FILE，编译器只会产生一个常 量字符串，那100处new的调用使用的都是指向常量字符串的指针。

　　再次观察一下由MFC Application Wizard生成的项目，我们会发现在cpp文件中只对new做了映射，如果你在程序中直接使用malloc函数分配内存，调用malloc的文件名和行 号是不会被记录下来的。如果这块内存发生了泄漏，MS C-Runtime Library仍然能检测到，但是当输出这块内存块的信息，不会包含分配它的的文件名和行号。

要在非MFC程序中打开内存泄漏的检测功能非常容易，你只要在程序的入口处加入以下几行代码：

  1. int tmpFlag = _CrtSetDbgFlag( _CRTDBG_REPORT_FLAG );
  2. tmpFlag |= _CRTDBG_LEAK_CHECK_DF;
  3. _CrtSetDbgFlag( tmpFlag );
复制代码

这样，在程序结束的时候，也就是winmain，main或dllmain函数返回之后，如果还有内存块没有释放，它们的信息会被打印到Debug窗口里。

如果你试着创建了一个非MFC应用程序，而且在程序的入口处加入了以上代码，并且故意在程序中不释放某些内存块，你会在Debug窗口里看到以下的信息：

{47} normal block at 0x00C91C90, 200 bytes long.

Data: < > 00 01 02 03 04 05 06 07 08 09 0A 0B 0C 0D 0E 0F


　　内存泄漏的确检测到了，但是和上面MFC程序的例子相比，缺少了文件名和行号。对于一个比较大的程序，没有这些信息，解决问题将变得十分困难。

　　为了能够知道泄漏的内存块是在哪里分配的，你需要实现类似MFC的映射功能，把new，maolloc等函数映射到_malloc_dbg函数上。这里我不再赘述，你可以参考MFC的源代码。

　　由于Debug Function实现在MS C-RuntimeLibrary中，所以它只能检测到堆内存的泄漏，而且只限于malloc，realloc或strdup等分配的内存，而那些系统资 源，比如HANDLE，GDI Object，或是不通过C-Runtime Library分配的内存，比如VARIANT，BSTR的泄漏，它是无法检测到的，这是这种检测法的一个重大的局限性。另外，为了能记录内存块是在哪里 分配的，源代码必须相应的配合，这在调试一些老的程序非常麻烦，毕竟修改源代码不是一件省心的事，这是这种检测法的另一个局限性。

对于开发一个大型的程序，MS C-Runtime Library提供的检测功能是远远不够的。接下来我们就看看外挂式的检测工具。我用的比较多的是BoundsChecker，一则因为它的功能比较全 面，更重要的是它的稳定性。这类工具如果不稳定，反而会忙里添乱。到底是出自鼎鼎大名的NuMega，我用下来基本上没有什么大问题。

2.3.3.2 使用BoundsChecker检测内存泄漏

　　BoundsChecker采用一种被称为 Code Injection的技术，来截获对分配内存和释放内存的函数的调用。简单地说，当你的程序开始运行时，BoundsChecker的DLL被自动载入进 程的地址空间（这可以通过system-level的Hook实现），然后它会修改进程中对内存分配和释放的函数调用，让这些调用首先转入它的代码，然后 再执行原来的代码。BoundsChecker在做这些动作的时，无须修改被调试程序的源代码或工程配置文件，这使得使用它非常的简便、直接。

　　这里我们以malloc函数为例，截获其他的函数方法与此类似。

　　需要被截获的函数可能在DLL中，也可能在程序的代码里。比如，如果静态连结C-Runtime Library，那么malloc函数的代码会被连结到程序里。为了截获住对这类函数的调用，BoundsChecker会动态修改这些函数的指令。

以下两段汇编代码，一段没有BoundsChecker介入，另一段则有BoundsChecker的介入：

126: _CRTIMP void * __cdecl malloc (

127: size_t nSize

128: )

129: {

00403C10 push ebp

00403C11 mov ebp,esp

130: return _nh_malloc_dbg(nSize, _newmode, _NORMAL_BLOCK, NULL, 0);

00403C13 push 0

00403C15 push 0

00403C17 push 1

00403C19 mov eax,[__newmode (0042376c)]

00403C1E push eax

00403C1F mov ecx,dword ptr [nSize]

00403C22 push ecx

00403C23 call _nh_malloc_dbg (00403c80)

00403C28 add esp,14h

131: }


以下这一段代码有BoundsChecker介入：

126: _CRTIMP void * __cdecl malloc (

127: size_t nSize

128: )

129: {

00403C10 jmp 01F41EC8

00403C15 push 0

00403C17 push 1

00403C19 mov eax,[__newmode (0042376c)]

00403C1E push eax

00403C1F mov ecx,dword ptr [nSize]

00403C22 push ecx

00403C23 call _nh_malloc_dbg (00403c80)

00403C28 add esp,14h

131: }


　　当BoundsChecker介入后，函数malloc的前三条汇编指令被替换成一条jmp指令，原来的三条指令被搬到地址01F41EC8处了。当 程序进入malloc后先jmp到01F41EC8，执行原来的三条指令，然后就是BoundsChecker的天下了。大致上它会先记录函数的返回地址 （函数的返回地址在stack上，所以很容易修改），然后把返回地址指向属于BoundsChecker的代码，接着跳到malloc函数原来的指令，也 就是在00403c15的地方。当malloc函数结束的时候，由于返回地址被修改，它会返回到BoundsChecker的代码中，此时 BoundsChecker会记录由malloc分配的内存的指针，然后再跳转到到原来的返回地址去。

　　如果内存分配/释放函数在DLL中，BoundsChecker则采用另一种方法来截获对这些函数的调用。BoundsChecker通过修改程序的DLL Import Table让table中的函数地址指向自己的地址，以达到截获的目的。

截获住这些分配和释放函数，BoundsChecker就能记录被分配的内存或资源的生命周期。接下来的问题是如何与源代码相关，也就是说当 BoundsChecker检测到内存泄漏，它如何报告这块内存块是哪段代码分配的。答案是调试信息（Debug Information）。当我们编译一个Debug版的程序时，编译器会把源代码和二进制代码之间的对应关系记录下来，放到一个单独的文件里 (.pdb)或者直接连结进目标程序，通过直接读取调试信息就能得到分配某块内存的源代码在哪个文件，哪一行上。使用Code Injection和Debug Information，使BoundsChecker不但能记录呼叫分配函数的源代码的位置，而且还能记录分配时的Call Stack，以及Call Stack上的函数的源代码位置。这在使用像MFC这样的类库时非常有用，以下我用一个例子来说明：

void ShowXItemMenu()
{
　…
　CMenu menu;
　menu.CreatePopupMenu();
　//add menu items.
　menu.TrackPropupMenu();
　…
}

void ShowYItemMenu( )
{
　…
　CMenu menu;
　menu.CreatePopupMenu();
　//add menu items.
　menu.TrackPropupMenu();
　menu.Detach();//this will cause HMENU leak
　…
}

BOOL CMenu::CreatePopupMenu()
{
　…
　hMenu = CreatePopupMenu();
　…
}

当调用ShowYItemMenu()时，我们故意造成HMENU的泄漏。但是，对于BoundsChecker来说被泄漏的HMENU是在 class CMenu::CreatePopupMenu()中分配的。假设的你的程序有许多地方使用了CMenu的CreatePopupMenu()函数，如 CMenu::CreatePopupMenu()造成的，你依然无法确认问题的根结到底在哪里，在ShowXItemMenu()中还是在 ShowYItemMenu()中，或者还有其它的地方也使用了CreatePopupMenu()？有了Call Stack的信息，问题就容易了。BoundsChecker会如下报告泄漏的HMENU的信息：

Function

File

Line

CMenu::CreatePopupMenu

E:"8168"vc98"mfc"mfc"include"afxwin1.inl

1009

ShowYItemMenu

E:"testmemleak"mytest.cpp

100


　　这里省略了其他的函数调用

　　如此，我们很容易找到发生问题的函数是ShowYItemMenu()。当使用MFC之类的类库编程时，大部分的API调用都被封装在类库的class里，有了Call Stack信息，我们就可以非常容易的追踪到真正发生泄漏的代码。

　　记录Call Stack信息会使程序的运行变得非常慢，因此默认情况下BoundsChecker不会记录Call Stack信息。可以按照以下的步骤打开记录Call Stack信息的选项开关：

　　1. 打开菜单：BoundsChecker|Setting…

　　2. 在Error Detection页中，在Error Detection Scheme的List中选择Custom

　　3. 在Category的Combox中选择 Pointer and leak error check

　　4. 钩上Report Call Stack复选框

　　5. 点击Ok

　　基于Code Injection，BoundsChecker还提供了API Parameter的校验功能，memory over run等功能。这些功能对于程序的开发都非常有益。由于这些内容不属于本文的主题，所以不在此详述了。

尽管BoundsChecker的功能如此强大，但是面对隐式内存泄漏仍然显得苍白无力。所以接下来我们看看如何用Performance Monitor检测内存泄漏。

2.3.3.3 使用Performance Monitor检测内存泄漏
　　NT的内核在设计过程中已经加入了系统监视功能，比如CPU 的使用率，内存的使用情况，I/O操作的频繁度等都作为一个个Counter，应用程序可以通过读取这些Counter了解整个系统的或者某个进程的运行 状况。Performance Monitor就是这样一个应用程序。

　　为了检测内存泄漏，我们一般可以监视Process对象的Handle Count，Virutal Bytes 和Working Set三个Counter。Handle Count记录了进程当前打开的HANDLE的个数，监视这个Counter有助于我们发现程序是否有Handle泄漏；Virtual Bytes记录了该进程当前在虚地址空间上使用的虚拟内存的大小，NT的内存分配采用了两步走的方法，首先，在虚地址空间上保留一段空间，这时操作系统并 没有分配物理内存，只是保留了一段地址。然后，再提交这段空间，这时操作系统才会分配物理内存。所以，Virtual Bytes一般总大于程序的Working Set。监视Virutal Bytes可以帮助我们发现一些系统底层的问题; Working Set记录了操作系统为进程已提交的内存的总量，这个值和程序申请的内存总量存在密切的关系，如果程序存在内存的泄漏这个值会持续增加，但是 Virtual Bytes却是跳跃式增加的。

　　监视这些Counter可以让我们了解进程使用内存的情况，如果发生了泄漏，即使是隐式内存泄漏，这些Counter的值也会持续增加。但是，我们知 道有问题却不知道哪里有问题，所以一般使用Performance Monitor来验证是否有内存泄漏，而使用BoundsChecker来找到和解决。

　　当Performance Monitor显示有内存泄漏，而BoundsChecker却无法检测到，这时有两种可能：第一种，发生了偶发性内存泄漏。这时你要确保使用 Performance Monitor和使用BoundsChecker时，程序的运行环境和操作方法是一致的。第二种，发生了隐式的内存泄漏。这时你要重新审查程序的设计，然 后仔细研究Performance Monitor记录的Counter的值的变化图，分析其中的变化和程序运行逻辑的关系，找到一些可能的原因。这是一个痛苦的过程，充满了假设、猜想、验 证、失败，但这也是一个积累经验的绝好机会。

3 探讨C++内存回收

3.1 C++内存对象大会战

　　如果一个人自称为程序高手，却对内存一无所知，那么我可以告诉你，他一定在吹牛。用C或C++写程序，需要更多地关注内存，这不仅仅是因为内存的分配 是否合理直接影响着程序的效率和性能，更为主要的是，当我们操作内存的时候一不小心就会出现问题，而且很多时候，这些问题都是不易发觉的，比如内存泄漏， 比如悬挂指针。笔者今天在这里并不是要讨论如何避免这些问题，而是想从另外一个角度来认识C++内存对象。

　　我们知道，C++将内存划分为三个逻辑区域：堆、栈和静态存储区。既然如此，我称位于它们之中的对象分别为堆对象，栈对象以及静态对象。那么这些不同的内存对象有什么区别了？堆对象和栈对象各有什么优劣了？如何禁止创建堆对象或栈对象了？这些便是今天的主题。

3.1.1 基本概念

　　先来看看栈。栈，一般用于存放局部变量或对象，如我们在函数定义中用类似下面语句声明的对象：

  1. Type stack_object;
复制代码

stack_object便是一个栈对象，它的生命期是从定义点开始，当所在函数返回时，生命结束。

　　另外，几乎所有的临时对象都是栈对象。比如，下面的函数定义：

  1. Type fun(Type object);
复制代码

这 个函数至少产生两个临时对象，首先，参数是按值传递的，所以会调用拷贝构造函数生成一个临时对象object_copy1 ，在函数内部使用的不是使用的不是object，而是object_copy1，自然，object_copy1是一个栈对象，它在函数返回时被释放；还 有这个函数是值返回的，在函数返回时，如果我们不考虑返回值优化（NRV），那么也会产生一个临时对象object_copy2，这个临时对象会在函数返 回后一段时间内被释放。比如某个函数中有如下代码：

  1. Type tt ,result ; //生成两个栈对象
  2. tt = fun(tt); //函数返回时，生成的是一个临时对象object_copy2
复制代码

上面的第二个语句的执行情况是这样的，首先函数fun返回时生成一个临时对象object_copy2 ，然后再调用赋值运算符执行

  1. tt = object_copy2 ; //调用赋值运算符
复制代码

看到了吗？编译器在我们毫无知觉的情况下，为我们生成了这么多临时对象，而生成这些临时对象的时间和空间的开销可能是很大的，所以，你也许明白了，为什么对于“大”对象最好用const引用传递代替按值进行函数参数传递了。

　　接下来，看看堆。堆，又叫自由存储区，它是在程序执行的过程中动态分配的，所以它最大的特性就是动态性。在C++中，所有堆对象的创建和销毁都要由程 序员负责，所以，如果处理不好，就会发生内存问题。如果分配了堆对象，却忘记了释放，就会产生内存泄漏；而如果已释放了对象，却没有将相应的指针置为 NULL，该指针就是所谓的“悬挂指针”，再度使用此指针时，就会出现非法访问，严重时就导致程序崩溃。

　　那么，C++中是怎样分配堆对象的？唯一的方法就是用new（当然，用类malloc指令也可获得C式堆内存），只要使用new，就会在堆中分配一块内存，并且返回指向该堆对象的指针。

　　再来看看静态存储区。所有的静态对象、全局对象都于静态存储区分配。关于全局对象，是在main()函数执行前就分配好了的。其实，在 main()函数中的显示代码执行之前，会调用一个由编译器生成的_main()函数，而_main()函数会进行所有全局对象的的构造及初始化工作。而 在main()函数结束之前，会调用由编译器生成的exit函数，来释放所有的全局对象。比如下面的代码：

  1. void main（void）
  2. {
  3. 　… …// 显式代码
  4. }
复制代码

实际上，被转化成这样：

  1. void main（void）
  2. {
  3. 　_main（）; //隐式代码，由编译器产生，用以构造所有全局对象
  4. 　… … // 显式代码
  5. 　exit（） ; // 隐式代码，由编译器产生，用以释放所有全局对象
  6. }
复制代码

所 以，知道了这个之后，便可以由此引出一些技巧，如，假设我们要在main()函数执行之前做某些准备工作，那么我们可以将这些准备工作写到一个自定义的全 局对象的构造函数中，这样，在main()函数的显式代码执行之前，这个全局对象的构造函数会被调用，执行预期的动作，这样就达到了我们的目的。刚才讲的 是静态存储区中的全局对象，那么，局部静态对象了？局部静态对象通常也是在函数中定义的，就像栈对象一样，只不过，其前面多了个static关键字。局部 静态对象的生命期是从其所在函数第一次被调用，更确切地说，是当第一次执行到该静态对象的声明代码时，产生该静态局部对象，直到整个程序结束时，才销毁该 对象。

　　还有一种静态对象，那就是它作为class的静态成员。考虑这种情况时，就牵涉了一些较复杂的问题。

　　第一个问题是class的静态成员对象的生命期，class的静态成员对象随着第一个class object的产生而产生，在整个程序结束时消亡。也就是有这样的情况存在，在程序中我们定义了一个class，该类中有一个静态对象作为成员，但是在程 序执行过程中，如果我们没有创建任何一个该class object，那么也就不会产生该class所包含的那个静态对象。还有，如果创建了多个class object，那么所有这些object都共享那个静态对象成员。

　　第二个问题是，当出现下列情况时：

  1. class Base
  2. {
  3. 　public:
  4. 　　static Type s_object ;
  5. }
  7. class Derived1 : public Base / / 公共继承
  8. {
  9. 　… …// other data
  10. }
  12. class Derived2 : public Base / / 公共继承
  13. {
  14. 　… …// other data
  15. }
  17. Base example ;
  18. Derivde1 example1 ;
  19. Derivde2 example2 ;
  20. example.s_object = …… ;
  21. example1.s_object = …… ;
  22. example2.s_object = …… ;
复制代码

请 注意上面标为黑体的三条语句，它们所访问的s_object是同一个对象吗？答案是肯定的，它们的确是指向同一个对象，这听起来不像是真的，是吗？但这是 事实，你可以自己写段简单的代码验证一下。我要做的是来解释为什么会这样？我们知道，当一个类比如Derived1，从另一个类比如Base继承时，那 么，可以看作一个Derived1对象中含有一个Base型的对象，这就是一个subobject。一个Derived1对象的大致内存布局如下：
　　
　　让我们想想，当我们将一个Derived1型的对象传给一个接受非引用Base型参数的函数时会发生切割，那么是怎么切割的呢？相信现在你已经知道 了，那就是仅仅取出了Derived1型的对象中的subobject，而忽略了所有Derived1自定义的其它数据成员，然后将这个 subobject传递给函数（实际上，函数中使用的是这个subobject的拷贝）。

　　所有继承Base类的派生类的对象都含有一个Base型的subobject（这是能用Base型指针指向一个Derived1对象的关键所在，自然 也是多态的关键了），而所有的subobject和所有Base型的对象都共用同一个s_object对象，自然，从Base类派生的整个继承体系中的类 的实例都会共用同一个s_object对象了。上面提到的example、example1、example2的对象布局如下图所示：

3.1.2 三种内存对象的比较

　　栈对象的优势是在适当的时候自动生成，又在适当的时候自动销毁，不需要程序员操心；而且栈对象的创建速度一般较堆对象快，因为分配堆对象时，会调用 operator new操作，operator new会采用某种内存空间搜索算法，而该搜索过程可能是很费时间的，产生栈对象则没有这么麻烦，它仅仅需要移动栈顶指针就可以了。但是要注意的是，通常栈 空间容量比较小，一般是1MB～2MB，所以体积比较大的对象不适合在栈中分配。特别要注意递归函数中最好不要使用栈对象，因为随着递归调用深度的增加， 所需的栈空间也会线性增加，当所需栈空间不够时，便会导致栈溢出，这样就会产生运行时错误。

　　堆对象，其产生时刻和销毁时刻都要程序员精确定义，也就是说，程序员对堆对象的生命具有完全的控制权。我们常常需要这样的对象，比如，我们需要创建一 个对象，能够被多个函数所访问，但是又不想使其成为全局的，那么这个时候创建一个堆对象无疑是良好的选择，然后在各个函数之间传递这个堆对象的指针，便可 以实现对该对象的共享。另外，相比于栈空间，堆的容量要大得多。实际上，当物理内存不够时，如果这时还需要生成新的堆对象，通常不会产生运行时错误，而是 系统会使用虚拟内存来扩展实际的物理内存。

接下来看看static对象。

　　首先是全局对象。全局对象为类间通信和函数间通信提供了一种最简单的方式，虽然这种方式并不优雅。一般而言，在完全的面向对象语言中，是不存在全局对 象的，比如C#，因为全局对象意味着不安全和高耦合，在程序中过多地使用全局对象将大大降低程序的健壮性、稳定性、可维护性和可复用性。C++也完全可以 剔除全局对象，但是最终没有，我想原因之一是为了兼容C。

　　其次是类的静态成员，上面已经提到，基类及其派生类的所有对象都共享这个静态成员对象，所以当需要在这些class之间或这些class objects之间进行数据共享或通信时，这样的静态成员无疑是很好的选择。

　　接着是静态局部对象，主要可用于保存该对象所在函数被屡次调用期间的中间状态，其中一个最显著的例子就是递归函数，我们都知道递归函数是自己调用自己 的函数，如果在递归函数中定义一个nonstatic局部对象，那么当递归次数相当大时，所产生的开销也是巨大的。这是因为nonstatic局部对象是 栈对象，每递归调用一次，就会产生一个这样的对象，每返回一次，就会释放这个对象，而且，这样的对象只局限于当前调用层，对于更深入的嵌套层和更浅露的外 层，都是不可见的。每个层都有自己的局部对象和参数。

　　在递归函数设计中，可以使用static对象替代nonstatic局部对象（即栈对象），这不仅可以减少每次递归调用和返回时产生和释放nonstatic对象的开销，而且static对象还可以保存递归调用的中间状态，并且可为各个调用层所访问。

3.1.3 使用栈对象的意外收获

　　前面已经介绍到，栈对象是在适当的时候创建，然后在适当的时候自动释放的，也就是栈对象有自动管理功能。那么栈对象会在什么会自动释放了？第一，在其 生命期结束的时候；第二，在其所在的函数发生异常的时候。你也许说，这些都很正常啊，没什么大不了的。是的，没什么大不了的。但是只要我们再深入一点点， 也许就有意外的收获了。

　　栈对象，自动释放时，会调用它自己的析构函数。如果我们在栈对象中封装资源，而且在栈对象的析构函数中执行释放资源的动作，那么就会使资源泄漏的概率 大大降低，因为栈对象可以自动的释放资源，即使在所在函数发生异常的时候。实际的过程是这样的：函数抛出异常时，会发生所谓的 stack_unwinding（堆栈回滚），即堆栈会展开，由于是栈对象，自然存在于栈中，所以在堆栈回滚的过程中，栈对象的析构函数会被执行，从而释 放其所封装的资源。除非，除非在析构函数执行的过程中再次抛出异常――而这种可能性是很小的，所以用栈对象封装资源是比较安全的。基于此认识，我们就可以 创建一个自己的句柄或代理来封装资源了。智能指针（auto_ptr）中就使用了这种技术。在有这种需要的时候，我们就希望我们的资源封装类只能在栈中创 建，也就是要限制在堆中创建该资源封装类的实例。

3.1.4 禁止产生堆对象

　　上面已经提到，你决定禁止产生某种类型的堆对象，这时你可以自己创建一个资源封装类，该类对象只能在栈中产生，这样就能在异常的情况下自动释放封装的资源。

　　那么怎样禁止产生堆对象了？我们已经知道，产生堆对象的唯一方法是使用new操作，如果我们禁止使用new不就行了么。再进一步，new操作执行时会 调用operator new，而operator new是可以重载的。方法有了，就是使new operator 为private，为了对称，最好将operator delete也重载为private。现在，你也许又有疑问了,难道创建栈对象不需要调用new吗？是的，不需要，因为创建栈对象不需要搜索内存，而是直 接调整堆栈指针，将对象压栈，而operator new的主要任务是搜索合适的堆内存，为堆对象分配空间，这在上面已经提到过了。好，让我们看看下面的示例代码：

  1. #include <stdlib.h> //需要用到C式内存分配函数
  3. class Resource ; //代表需要被封装的资源类
  4. class NoHashObject
  5. {
  6. 　private:
  7. 　　Resource* ptr ;//指向被封装的资源
  8. 　　... ... //其它数据成员
  9. 　　void* operator new(size_t size) //非严格实现，仅作示意之用
  10. 　　{
  11. 　　　return malloc(size) ;
  12. 　　}
  14. 　　void operator delete(void* pp) //非严格实现，仅作示意之用
  15. 　　{
  16. 　　　free(pp) ;
  17. 　　}
  19. 　public:
  20. 　　NoHashObject()
  21. 　　{
  22. 　　　//此处可以获得需要封装的资源，并让ptr指针指向该资源
  23. 　　　ptr = new Resource() ;
  24. 　　}
  26. 　　~NoHashObject()
  27. 　　{
  28. 　　　delete ptr ; //释放封装的资源
  29. 　　}
  30. };
复制代码

NoHashObject现在就是一个禁止堆对象的类了，如果你写下如下代码：

  1. NoHashObject* fp = new NoHashObject() ; //编译期错误！
  2. delete fp ;
复制代码

上 面代码会产生编译期错误。好了，现在你已经知道了如何设计一个禁止堆对象的类了，你也许和我一样有这样的疑问，难道在类NoHashObject 的定义不能改变的情况下，就一定不能产生该类型的堆对象了吗？不，还是有办法的，我称之为“暴力破解法”。C++是如此地强大，强大到你可以用它做你想做 的任何事情。这里主要用到的是技巧是指针类型的强制转换。

  1. void main(void)
  2. {
  3. 　char* temp = new char[sizeof(NoHashObject)] ;
  4. 　//强制类型转换，现在ptr是一个指向NoHashObject对象的指针
  5. 　NoHashObject* obj_ptr = (NoHashObject*)temp ;
  6. 　temp = NULL ; //防止通过temp指针修改NoHashObject对象
  7. 　//再一次强制类型转换，让rp指针指向堆中NoHashObject对象的ptr成员
  8. 　Resource* rp = (Resource*)obj_ptr ;
  9. 　//初始化obj_ptr指向的NoHashObject对象的ptr成员
  10. 　rp = new Resource() ;
  11. 　//现在可以通过使用obj_ptr指针使用堆中的NoHashObject对象成员了
  12. 　... ...
  13. 　delete rp ;//释放资源
  14. 　temp = (char*)obj_ptr ;
  15. 　obj_ptr = NULL ;//防止悬挂指针产生
  16. 　delete [] temp ;//释放NoHashObject对象所占的堆空间。
  17. }
复制代码

上面的实现是麻烦的，而且这种实现方式几乎不会在实践中使用，但是我还是写出来路，因为理解它，对于我们理解C++内存对象是有好处的。对于上面的这么多强制类型转换，其最根本的是什么了？我们可以这样理解：

　　某块内存中的数据是不变的，而类型就是我们戴上的眼镜，当我们戴上一种眼镜后，我们就会用对应的类型来解释内存中的数据，这样不同的解释就得到了不同的信息。

　　所谓强制类型转换实际上就是换上另一副眼镜后再来看同样的那块内存数据。

　　另外要提醒的是，不同的编译器对对象的成员数据的布局安排可能是不一样的，比如，大多数编译器将NoHashObject的ptr指针成员安排在对象空间的头4个字节，这样才会保证下面这条语句的转换动作像我们预期的那样执行：

  1. Resource* rp = (Resource*)obj_ptr;
复制代码

但是，并不一定所有的编译器都是如此。

　　既然我们可以禁止产生某种类型的堆对象，那么可以设计一个类，使之不能产生栈对象吗？当然可以。

3.1.5 禁止产生栈对象

　　前面已经提到了，创建栈对象时会移动栈顶指针以“挪出”适当大小的空间，然后在这个空间上直接调用对应的构造函数以形成一个栈对象，而当函数返回时， 会调用其析构函数释放这个对象，然后再调整栈顶指针收回那块栈内存。在这个过程中是不需要operator new/delete操作的，所以将operator new/delete设置为private不能达到目的。当然从上面的叙述中，你也许已经想到了：将构造函数或析构函数设为私有的，这样系统就不能调用构 造/析构函数了，当然就不能在栈中生成对象了。

　　这样的确可以，而且我也打算采用这种方案。但是在此之前，有一点需要考虑清楚,那就是，如果我们将构造函数设置为私有，那么我们也就不能用 new来直接产生堆对象了，因为new在为对象分配空间后也会调用它的构造函数啊。所以，我打算只将析构函数设置为private。再进一步，将析构函数 设为private除了会限制栈对象生成外，还有其它影响吗？是的，这还会限制继承。

　　如果一个类不打算作为基类，通常采用的方案就是将其析构函数声明为private。

　　为了限制栈对象，却不限制继承，我们可以将析构函数声明为protected，这样就两全其美了。如下代码所示：

  1. class NoStackObject
  2. {
  3. 　protected:
  4. 　　~NoStackObject() { }
  6. 　public:
  7. 　　void destroy()
  8. 　　{
  9. 　　　delete this ;//调用保护析构函数
  10. 　　}
  11. };
复制代码

接着，可以像这样使用NoStackObject类：

  1. NoStackObject* hash_ptr = new NoStackObject() ;
  2. ... ... //对hash_ptr指向的对象进行操作
  3. hash_ptr->destroy() ;
复制代码

呵 呵，是不是觉得有点怪怪的，我们用new创建一个对象，却不是用delete去删除它，而是要用destroy方法。很显然，用户是不习惯这种怪异的使用 方式的。所以，我决定将构造函数也设为private或protected。这又回到了上面曾试图避免的问题，即不用new，那么该用什么方式来生成一个 对象了？我们可以用间接的办法完成，即让这个类提供一个static成员函数专门用于产生该类型的堆对象。（设计模式中的singleton 模式就可以用这种方式实现。）让我们来看看：

  1. class NoStackObject
  2. {
  3. 　protected:
  4. 　　NoStackObject() { }
  5. 　　~NoStackObject() { }
  7. 　public:
  8. 　　static NoStackObject* creatInstance()
  9. 　　{
  10. 　　　return new NoStackObject() ;//调用保护的构造函数
  11. 　　}
  13. 　　void destroy()
  14. 　　{
  15. 　　　delete this ;//调用保护的析构函数
  16. 　　}
  17. };
复制代码

现在可以这样使用NoStackObject类了：

  1. NoStackObject* hash_ptr = NoStackObject::creatInstance() ;
  2. ... ... //对hash_ptr指向的对象进行操作
  3. hash_ptr->destroy() ;
  4. hash_ptr = NULL ; //防止使用悬挂指针
复制代码

现在感觉是不是好多了，生成对象和释放对象的操作一致了。

3.2 浅议C++ 中的垃圾回收方法

　　许多 C 或者 C++ 程序员对垃圾回收嗤之以鼻，认为垃圾回收肯定比自己来管理动态内存要低效，而且在回收的时候一定会让程序停顿在那里，而如果自己控制内存管理的话，分配和 释放时间都是稳定的，不会导致程序停顿。最后，很多 C/C++ 程序员坚信在C/C++ 中无法实现垃圾回收机制。这些错误的观点都是由于不了解垃圾回收的算法而臆想出来的。

　　其实垃圾回收机制并不慢，甚至比动态内存分配更高效。因为我们可以只分配不释放，那么分配内存的时候只需要从堆上一直的获得新的内存，移动堆顶的指针 就够了；而释放的过程被省略了，自然也加快了速度。现代的垃圾回收算法已经发展了很多，增量收集算法已经可以让垃圾回收过程分段进行，避免打断程序的运行 了。而传统的动态内存管理的算法同样有在适当的时间收集内存碎片的工作要做，并不比垃圾回收更有优势。

　　而垃圾回收的算法的基础通常基于扫描并标记当前可能被使用的所有内存块，从已经被分配的所有内存中把未标记的内存回收来做的。C/C++ 中无法实现垃圾回收的观点通常基于无法正确扫描出所有可能还会被使用的内存块，但是，看似不可能的事情实际上实现起来却并不复杂。首先，通过扫描内存的数 据，指向堆上动态分配出来内存的指针是很容易被识别出来的，如果有识别错误，也只能是把一些不是指针的数据当成指针，而不会把指针当成非指针数据。这样， 回收垃圾的过程只会漏回收掉而不会错误的把不应该回收的内存清理。其次，如果回溯所有内存块被引用的根，只可能存在于全局变量和当前的栈内，而全局变量 (包括函数内的静态变量)都是集中存在于 bss 段或 data段中。

　　垃圾回收的时候，只需要扫描 bss 段, data 段以及当前被使用着的栈空间，找到可能是动态内存指针的量，把引用到的内存递归扫描就可以得到当前正在使用的所有动态内存了。

　　如果肯为你的工程实现一个不错的垃圾回收器，提高内存管理的速度，甚至减少总的内存消耗都是可能的。如果有兴趣的话，可以搜索一下网上已有的关于垃圾回收的论文和实现了的库，开拓视野对一个程序员尤为重要。

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/Gausst松鼠会/article/detail/722560
推荐阅读
相关标签

Copyright © 2003-2013 www.wpsshop.cn 版权所有，并保留所有权利。

  

闽ICP备14008679号