C++ 类构造函数初始化列表的异常机制 function-try block

上篇文章提到了 C++ 类构造函数对成员变量初始化赋值时使用“初始化列表”的方式带来的好处。这篇文章将介绍另一个大大的好处——由初始化列表异常块机制带来的构造函数的安全性机制。

听起来有些拗口。直接上代码：

class Fck
{
int* sbArray;
public:
Fck ( int sbNum );
~Fck ();
};
Fck :: Fck ( int sbNum )
try: sbArray ( new int[sbNum] )
{
cout << " Fck Constructing " << sbNum << endl;
}
catch ( bad_alloc& err )
{
cout << err.what() << endl;
cout << " Fck Failed " << endl;
};
Fck :: ~Fck ()
{
delete this->sbArray;
cout << " Fck Destructing " << endl;
}
int _tmain(int argc, _TCHAR* argv[])
{
Fck fck ( 5 );
//Fck fck_1 ( -1 );
try
{
Fck fck_1 ( -1 );
}
catch ( bad_alloc& err )
{
cout << err.what() << endl;
cout << " Main Failed " << endl;
}
catch ( ... ) { }
system ( "pause" );
return 0;
}

《C++ 异常机制 32 点》这篇文章里第 20 点谈到了这种用法。Fck 类的构造函数中需要对类成员变量 int* 型的 sbArray 指定一块新开辟出来的堆内存空间。这里有一个问题，若传递进去的 sbNum 是负值当如何？当然会报异常。注意到构造函数后紧跟着一个 catch 块用于捕获初始化列表 try 块生成的异常。完了么？没有，尽管原代码没有写，但是，在执行完这段 catch 块之后，会紧跟着再将此异常“外抛”出去！这个通过查看汇编码就知道了，在该 catch 块完成后，系统会自动再调一次 throw，在此就不展开细说了，读者可自行验证。这有点像 JAVA 里面的“上抛机制”。抛给谁呢？当然是给主函数了，于是，主函数必须还得有一个 try – catch 块去处理异常。

这么麻烦？这样做是有很大的好处的。试想，若成员构造时发生了异常，此时这个类对像是构造失败的，一个构造失败的类对像是不可以使用的。构造函数必须通知主函数自己是否正常。这一机制保证了这一过程的安全。

你当然也可以这么来写构造函数，即不使用初始化列表的方式：

Fck :: Fck ( int sbNum )
{
try
{
sbArray = new int[sbNum];
}
catch ( ... ) {}
cout << " Fck Constructing " << sbNum << endl;
}

这样，异常在构造函数内处理完了，不会再“上抛”，主函数根本就不知道这个类对像是构造失败的，使用中必然会出现不可预知的错误！

若有读者对此仍存疑，或者想了解更多，请参阅《续：为何说 C++ 构造函数初始化列表异常机制是必要的》。

参考：

《C++ 0x（C++ 09）新标准全部革新提案文档列表》