先看一个例子。首先,我要写一个vector;其次,为了使用方便,我需要提供一个带 size 参数的构造函数。要求就这两点。
那么,势必要:
class vector
{
public:
vector(size_t size)
{
// ...
m_pData = new int[size]; // 假设就是 int 这样的基本类型好了,以避免下面可能出现的离题
// ...
}
};
问题来了。new 不是有可能失败吗?失败了在老编译器里会返回 NULL(这个情形也先无视),在新编译器里会抛异常。那么,在这里要不要进行检查呢?如果检查:
try
{
m_pData = new int[size];
}
catch (...)
{
}
catch到了。那么在这里可以干啥呢?似乎。。。啥也干不了!作为构造函数,没法使用返回值,自然只能使用异常来提示外界;既然本来就是异常,我又何必在这里 try 一次呢?(假设这里没有其他错误要处理,也假设这里的类型是int之类的基本类型,不会出现执行元素的构造函数失败的情形)
既然这里的 try 让我们如此无奈,那么就不必 try 了。这个时候,我需要给 vector(size_t size) 标记上 throw 吗?如果不标记,使用者怎么知道这里可能会有异常?如果标记了,或者没标记但使用者意识到了,那么他会这样用:
try
{
vector v(10);
// Task with v
// ...
// ...
// ...
}
catch (...)
{
// Error handler
}
因为 v 的作用域被限制在了 try 内,所以所有的与 v 相关的逻辑代码全部要放在 try 内部了。这种样子似乎与 C# 很像!在 C# 里,try...catch... 是标准的做法;但是在 C++ 里,似乎不会如此经常地用 try catch,要不然,为什么我见过的 C++ 代码都不是这样子的呢?两年前在金山实习的时候,有一次我把 try...catch 当做通用的错误处理来做,所有的错误都搞成一种异常,返回值仅返回正常值。结果董波叔叔说,这样子是不对滴,但是没给出让我信服理由,可能就是,C++ 的 try...catch 的性能很不好之类的。(C# 以及 Java 的 try...catch 的性能好吗?)
好,既然大家都不这么办,是不是这里也不用 try 了?于是,内存分配错误就让它自生自灭了……记得以前某本书上看到,说这种情形下的处理,仅仅是一个道德问题而已。真的无解吗?
如果放宽要求,不要求在构造函数提供内存分配,那倒是有一种解法——分两阶段构造:
class vector
{
public:
vector()
{
// ...
}
bool allocate(size_t size)
{
try
{
m_pData = new int[size];
}
catch (...)
{
return false;
}
if (m_pData == NULL)
{
return false;
}
// Other code ...
return true;
}
};
但是使用起来就不“方便”了。现实中,这种情形倒是存在,如 CWindow 的 Create,还有啥啥啥的 Init 等等。
真的没有办法兼顾方便与安全吗?
posted on 2010-03-30 22:31
溪流 阅读(2366)
评论(15) 编辑 收藏 引用 所属分类:
C++