C++的营养
莫华枫
动物都会摄取食物,吸收其中的营养,用于自身生长和活动。然而,并非食物中所有的物质都能为动物所吸收。那些无法消化的物质,通过消化道的另一头(某些动 物消化道只有一头)排出体外。不过,一种动物无法消化的排泄物,是另一种动物(生物)的食物,后者可以从中摄取所需的营养。
一门编程语言,对于程序员而言,如同食物那样,包含着所需的养分。当然也包含着无法消化的东西。不同的是,随着程序员不断成长,会逐步消化过去无法消化的那些东西。
C++可以看作一种成分复杂的食物,对于多数程序员而言,是无法完全消化的。正因为如此,很多程序员认为C++太难以消化,不应该去吃它。但是,C++的 营养不可谓不丰富,就此舍弃,而不加利用,则是莫大的罪过。好在食物可以通过加工,变得易于吸收,比如说发酵。鉴于程序员们的消化能力的差异,也为了让C ++的营养能够造福他人,我就暂且扮演一回酵母菌,把C++的某些营养单独提取出来,并加以分解,让那些消化能力不太强的程序员也能享受它的美味。:)
(为了让这些营养便于消化,我将会用C#做一些案例。选择C#的原因很简单,因为我熟悉。:))
RAII
RAII,好古怪的营养啊!它的全称应该是“Resource Acquire Is Initial”。这是C++创始人Bjarne Stroustrup发明的词汇,比较令人费解。说起来,RAII的含义倒也不算复杂。用白话说就是:在类的构造函数中分配资源,在析构函数中释放资源。 这样,当一个对象创建的时候,构造函数会自动地被调用;而当这个对象被释放的时候,析构函数也会被自动调用。于是乎,一个对象的生命期结束后将会不再占用 资源,资源的使用是安全可靠的。下面便是在C++中实现RAII的典型代码:
class
file
{
public :
file( string const & name) {
m_fileHandle = open_file(name.cstr());
}
~ file() {
close_file(m_fileHandle);
}
...
private :
handle m_fileHandle;
}
{
public :
file( string const & name) {
m_fileHandle = open_file(name.cstr());
}
~ file() {
close_file(m_fileHandle);
}
...
private :
handle m_fileHandle;
}
void
fun1()
{
file myfile("my.txt");
... //操作文件
} // 此处销毁对象,调用析构函数,释放资源
file myfile("my.txt");
... //操作文件
} // 此处销毁对象,调用析构函数,释放资源
但是,在如下的代码中,资源不是安全的,尽管我们实现了RAII:
void
fun2()
{
file pfile=new file("my.txt");
... //操作文件
}
file pfile=new file("my.txt");
... //操作文件
}
void
fun3()
{
file pfile=new file("my.txt");
... //操作文件
delete pfile;
}
file pfile=new file("my.txt");
... //操作文件
delete pfile;
}
现在,在fun3(),资源是安全的,但却不是异常安全的。因为一旦函数中抛出异常,那么delete pfile;这句代码将没有机会被执行。C++领域的诸位大牛们告诫我们:如果想要在没有GC的情况下确保资源安全和异常安全,那么请使用智能指针:
void
fun4()
{
shared_ptr<file> spfile(new file("my.txt"));
... //操作文件
} // 此处,spfile结束生命周期的时候,会释放(delete)对象
shared_ptr<file> spfile(new file("my.txt"));
... //操作文件
} // 此处,spfile结束生命周期的时候,会释放(delete)对象
template
<
typename T
>
class smart_ptr
{
public:
smart_ptr(T* p):m_ptr(p) {}
~smart_ptr() { delete m_ptr; }
...
private:
T* m_ptr;
}
class smart_ptr
{
public:
smart_ptr(T* p):m_ptr(p) {}
~smart_ptr() { delete m_ptr; }
...
private:
T* m_ptr;
}
对于内置了GC的语言,资源管理相对简单。不过,事情并非总是这样。下面的C#代码摘自MSDN Library的C#编程指南,我略微改造了一下:
static
void
CodeWithoutCleanup()
{
System.IO.FileStream file = null;
System.IO.FileInfo fileInfo = new System.IO.FileInfo("C:/file.txt");
file = fileInfo.OpenWrite();
file.WriteByte(0xF);
}
{
System.IO.FileStream file = null;
System.IO.FileInfo fileInfo = new System.IO.FileInfo("C:/file.txt");
file = fileInfo.OpenWrite();
file.WriteByte(0xF);
}
所以,只要涉及了内存以外的资源,应当尽快释放。(当然,如果内存能够尽快释放,就更好了)。对于上述CodeWithoutCleanup()函数,应当在最后调用file对象上的Close()函数,以便释放文件:
static
void
CodeWithoutCleanup()
{
{