学步园

栈变量有一个好处，就是它退栈时会自动析构，并且在栈上对象生成比在堆上分配效率高很多。但每个线程的栈空间是有限的(创建线程时可以设置)，所以一般的临时小对象都会在栈上分配。struct Test {};</p> <p>void test()<br /> {<br /> Test stack_var; // a stack var;<br /> Test stack_var2; //a stack var;<br /> int *heap_var = new int; // a heap var<br /> }

上述的例子，stack_var与stack_var2都是一个栈变量，当然stack_var与stack_var2谁先从栈中分配，不的操作系统，内存管理方式也略有区别。更深一点讲，heap_var这个指针值也是一个栈变量承载，但heap_var所指的地址内容才是从堆上分配的内存空间。当退出test这个函数时，stack_var与stack_var2都会先调用Test的析构，再把其所在的内存空间回收到线程栈中。

在一些场景下，我们可以利用栈变量当退栈时会自动析构这特性，下面我将举两个应用例子。

1.从堆上面new出来的对象，在一个方法条件分支比较多的情况下，很容易在某个分支少写delete，就会造成内存的泄漏。于是我们可写一个这样的类，在它的析构方法中调用delete回收内存。

template <typename T><br /> class ScopePtr<br /> {<br /> public:<br /> ScopePtr(T *& pT) : m_pT(pT)<br /> {<br /> }</p> <p> ~ScopePtr()<br /> {<br /> if ( NULL != m_pT )<br /> {<br /> delete m_pT;<br /> m_pT = NULL;<br /> }<br /> }<br /> private:<br /> typedef ScopePtr<T> TScopePtr;</p> <p> ScopePtr(const TScopePtr &) {}<br /> TScopePtr& operator = (const TScopePtr &) {}</p> <p> T *& m_pT;<br /> };

使用方式如下：

 void test_scope()<br /> {<br /> Test* p = new Test;<br /> ScopePtr<Test> tempScopePtr(p);<br /> }

2.做软件，写debug日志是一个好的习惯，出问题时可以方便定位问题的发生源。下面的例子是实现是能记录函数在哪一行进入，在哪一行退出。如果函数某个地方抛异常了，则可以根据进入行与退出行相同一看便知。没有抛异常，也很方便查出是在哪个分支退出的。

#define LOG(fmt, ...) printf(fmt, __VA_ARGS__)<br /> #define __FUNC_TRACE__</p> <p>class FuncTracer<br /> {<br /> public:<br /> FuncTracer(const char* func, const char* file, const int line) :<br /> m_func(func), m_file(file), m_line(line)<br /> {<br /> LOG("Enter [%s][%d][%s]./n", m_file, m_line, m_func);<br /> }</p> <p> ~FuncTracer()<br /> {<br /> LOG("Exit [%s][%d][%s]./n", m_file, m_line, m_func);<br /> }</p> <p> inline void updateLine(const int line)<br /> {<br /> m_line = line;<br /> }</p> <p>private:<br /> const char* m_func;<br /> const char* m_file;<br /> int m_line;<br /> };</p> <p>#ifdef __FUNC_TRACE__<br /> #define FUNC_TRACER() FuncTracer __oFuncTracer(__FUNCTION__, __FILE__, __LINE__)<br /> #define FUNC_RET(retVal) do { __oFuncTracer.updateLine(__LINE__); return retVal; } while(0)<br /> #define FUNC_RET_VOID() do { __oFuncTracer.updateLine(__LINE__); return; } while(0)<br /> #else<br /> #define FUNC_TRACER()<br /> #define FUNC_RET(retVal) return retVal;<br /> #define FUNC_RET_VOID() return;<br /> #endif

上述的__FUNCTION__，__FILE__与__LINE__是编译期间的宏，是一个字符串常量，分别表示函数名，文件名与当前行数。但__FUNCTION__并非标准中定义的，各个编译器命名不同，更通用的宏可以使用boost中BOOST_CURRENT_FUNCTION。其中的__FUNC_TRACE__宏开关表示是否编译时开启函数跟踪。

使用方式如下：

int test_trace()<br /> {<br /> FUNC_TRACER();<br /> if(...)<br /> {<br /> switch(...)<br /> case 1:<br /> FUNC_RET(1);<br /> defualt:<br /> FUNC_RET(0);<br /> ....<br /> }<br /> FUNC_RET(1);<br /> }