数学建模社区-数学中国

标题: C++实用技巧(一) [打印本页]

作者: Vir    时间: 2012-11-19 15:49
标题: C++实用技巧(一)
本帖最后由 Vir 于 2012-11-19 15:53 编辑 # s4 c; Z5 `% U! t- L5 Q; H, {
1 M3 S1 H  T6 U; l  T: Q
来源:陈梓瀚大牛(微软亚洲研究院)博客 www.cppblog.com/vczh
4 H# s, }& H' y' N, K0 c( H2 G1 B% \9 D  _
复杂的东西写多了,如今写点简单的好了。由于功能上的需要,Vczh Library++3.0被我搞得很离谱。为了开发维护的遍历、减少粗心犯下的错误以及增强单元测试、回归测试和测试工具,因此记录下一些开发上的小技巧,以便抛砖引玉,造福他人。欢迎高手来喷,菜鸟膜拜。
$ B4 Y5 }. U% ?4 |% I  s# u6 ~3 H5 g" C5 j5 P# U
    C++实谓各种语言中的软肋,功能强大,陷阱更强大。当然我认为一门语言用得不好完全是程序员的责任,不过因为C++涉及到的概念实在是太多,想用好实在也不是一件容易的事情。C++开发的时候总是会遇到各种各样的问题,其中最严重的无非是内存相关的。C语言由于结构简单,内存处理起来虽然不得力,但总的来说惯用法已经深入人心,因此也不会造成什么很难发现的错误。C++就不一样了。有了虚函数、构造函数、析构函数、复制构造函数和operator=重载之后,还是有很多人喜欢把一个类直接写进文件流,或者拿来memset,代码一团乱麻,不知悔改也。但是不能因此因噎废食,就像某人因为C++带来的心智问题太多,自己搞不定,自己团队也搞不定,就说C++不好一样。6 L, {6 z3 A3 }3 `2 U0 }1 V

$ r& i. a( i/ M- g4 ]    因此第一篇文章主要针对内存来讲。我们处理内存,第一件事就是不要有内存泄露。内存泄露不能等到测试的时候,通过长时间运行程序并观察任务管理器的方法来做,这显然已经晚了。幸好Visual C++给了我们一个十分好用的工具:_CrtDumpMemoryLeaks函数。这个函数会在Debug模式下往Visual Studio的output窗口打印出那个时候你new(malloc)了但是还没delete(free)的所有内存块的地址、长度、前N个字节的内容和其他信息。怎么做呢?其实很简单:3 N7 \' W1 ^6 ?% f( b9 t2 P$ x
1 #define _CRTDBG_MAP_ALLOC
4 D2 I+ r0 P$ U: a. Q( M 2 #include <stdlib.h>
5 `3 t+ l& ?3 I! A 3 #include <crtdbg.h>8 ]+ C! z* L; v# e  A& A% M
4 #include <windows.h>
5 J* V: ~& r7 o) }: z, Q9 Q, N9 m3 c4 N 5
1 A: J6 G4 w/ d- r 6 int wmain(vint argc , wchar_t* args[])' G8 q  ?; e2 w  L0 Q6 t
7 {
/ L1 }. e/ ]  S 8     // 这里运行程序,并在下面的函数调用之前delete掉所有new的东西
( {+ q4 `6 V7 u9 Y* m3 \ 9     _CrtDumpMemoryLeaks();
6 q& H% J7 _/ U% P10     return 0;
" r+ ?9 Z3 `0 V: W11 }5 S$ S& y0 Z3 l) d0 `, O$ |% E" p
    我们只需要在注释的地方完成我们程序的功能,然后确信自己已经delete掉所有应该delete的东西,最后_CrtDumpMemoryLeaks()函数调用的时候就可以打印出没被delete的东西了。这个方法十分神奇,因为你只需要在main函数所在的cpp文件这么#include一下,所有的cpp文件里面的new都会受到监视,跟平常所用的用宏把new给换掉的这种破方法截然不同。如果你使用了全局变量的话也要小心,因为全局变量的析构函数是在main函数结束之后才执行的,因此如果在全局变量的析构函数里面delete的东西仍然会被_CrtDumpMemoryLeaks函数当成泄露掉的资源对待。当然本人认为全局变量可以用,但是全局变量的赋值必须在main里面做,释放也是,除非那个全局变量的构造函数没有申请任何内存,所以这也是一个很好的检查方法。
: U6 b, u* Z0 {, Z. ?( |' W( j  {2 O
    不过上面也仅仅是一个告诉你有没有内存泄漏的方法罢了。那么如何避免内存泄露呢?当然在设计一些性能要求没有比操作系统更加严格的程序的时候,可以使用以下方法:- `1 G# _9 J* D  D$ @6 w
    1、如果构造函数new了一个对象并使用成员指针变量保存的话,那么必须在析构函数delete它,并且不能有为了某些便利而将这个对象的所有权转让出去的事情发生。, l: S4 g! V# g* c
    2、在能使用shared_ptr的时候,尽量使用shared_ptr。shared_ptr只要你不发生循环引用,那么这个东西可以安全地互相传递、随便你放在什么容器里面添加删除、你想放哪里就放在哪里,再也不用考虑这个对象的生命周期问题了。
2 }! W2 P" p0 Z+ }. f    3、不要在有构造函数和析构函数的对象上使用memset(或者memcpy)。如果一个对象需要memset,那么在该对象的构造函数里面memset自己。如果你需要memset一个对象数组,那也在该对象的构造函数里面memset自己。如果你需要memset一个没有构造函数的复杂对象,那么请为他添加一个构造函数,除非那是别人的API提供的东西。
! I4 N: ]* R5 s: p& Z) a! H, W2 y: R' Y    4、如果一个对象是继承了其他东西,或者某些成员被标记了virtual的话,绝对不要memset。对象是独立的,也就是说父类内部结构的演变不需要对子类负责。哪天父类里面加了一个string成员,被子类一memset,就欲哭无泪了。
9 J7 i( B# S; b6 |& I: J% Y    5、如果需要为一个对象定义构造函数,那么连复制构造函数、operator=重载和析构函数都全部写全。如果不想写复制构造函数和operator=的话,那么用一个空的实现写在private里面,确保任何试图调用这些函数的代码都出现编译错误。' H. s" d0 C: ?( F! m! t3 Z/ W) R8 \
    6、如果你实在很喜欢C语言的话,那麻烦换一个只支持C不支持C++的编译器,全面杜绝因为误用了C++而导致你的C坏掉的情况出现。5 X; A2 B7 G/ Z* J

6 B- @- U2 k, I, K% U2 w; j7 I    什么是循环引用呢?如果两个对象互相使用一个shared_ptr成员变量直接或者间接指向对方的话,就是循环引用了。在这种情况下引用计数会失效,因为就算外边的shared_ptr全释放光了,引用计数也不会是0的。
# e! d+ L3 @- p9 Z0 q1 W. A" t* x1 h5 y' K; Q) P3 K5 q* w+ p  I
    今天就说到这里了,过几天我高兴的话再写一篇续集,如果我持续高兴的话呢……嗯嗯……。
作者: sdccumcm    时间: 2012-11-19 22:51
顶               




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5