在构造函数中抛出异常--是否安全，请大家讨论

[myan]

这是不久之前我遇到的一个问题。例如我们封装Win32 mutex，
class MyError : public std::runtime_error {...};

class Mutex {
HANDLE hMutex_;
public:
Mutex(const char* name = 0, bool is_owner = false,
SECURITY_ATTRIBUTES* psa = 0)
:hMutex_(0)
{
hMutex_ = ::CreateMutex(psa, is_owner, name);
if (hMutex_ == 0)
throw MyError; // 注意这里
}
~Mutex() throw()
{
if (hMutex_)
::CloseHandle(hMutex);
}
// other stuff
};

最初我认为这样有可能导致内存泄漏，因为如果用户如下使用Mutex:
try
{
auto_ptr<Mutex> apMutex(new Mutex()); // 这里抛出异常
...
}
catch (...)
{
...
}
则可能导致分配给Mutex对象的那部分空间泄漏。结果证明我是错的。这与C++ new操作的方式有非常大的关系。所以我想把这个问题提出来，看看大家是怎么考虑的。

[NowCan]

在构造函数里抛出异常确实会导致内存泄漏。

[std::coding::peasant]

我认为会导致内存泄漏

[fengye]

MSDN里有Deep C++系列文章，也讨论过这些问题，如果手头有的话，不妨看看。
正如myan所说，构造函数抛出异常确实不会使new产生内存泄漏。
文中提到构造函数抛出异常的问题在于，当这个类用作基类、其他类的成员，以及模板参数时，会给对方带来麻烦。比如：
class B {
public:
B() throw(); // B()不想throw
A a; // A()会throw
};
这就麻烦了，要用罕见的，还未被大多数编译器支持的function try blocks
B::B()
try : a()
{ // function body of B()
}
catch(...)
{
}
在构造函数里抛出异常的用法，好处坏处都有。既然C++没有提供足够完美的解决方案，我还是倾向于不用，至少是有限制地用。

[ccddd123]

我记得mfc有的GDI类就是在构造是抛出异常的，不知道是不是记错了~

[ChrisSoft]

构造函数应该让他少做点工作。出了错很麻烦的。

[cber]

我记得在构造函数中抛出异常一般都是安全的，只是我们需要把已经分配好的资源释放掉就可以了
你的那个问题可以参考一下uninitialized_fill的做法，应该是在异常发生时会有一个rollback的动作。