C/C++误区五:查抄 new 的返回值
首先澄清一下,这个误区仅对 C++ 创立,这里不外是沿用“C/C++ 误区”这个衔头而已。
我们都知道,利用 malloc/calloc 平分派内存的函数时,必然要查抄其返回值是否为“空指针”(亦即查抄分派内存的操纵是否乐成),这是精采的编程习惯,也是编写靠得住措施所必须的。可是,假如你简朴地把这一招应用到 new 上,那可就不必然正确了。我常常看到雷同这样的代码:
int* p = new int[SIZE];
if ( p == 0 ) // 查抄 p 是否空指针
return -1;
// 其它代码
其实,这里的 if ( p == 0 ) 完全是没啥意义的。C++ 里,假如 new 分派内存失败,默认是抛出异常的。所以,假如分派乐成,p == 0 就绝对不会创立;而假如分派失败了,也不会执行 if ( p == 0 ),因为分派失败时,new 就会抛出异常跳事后头的代码。假如你想查抄 new 是否乐成,应该捕获异常:
try {
int* p = new int[SIZE];
// 其它代码
} catch ( const bad_alloc& e ) {
return -1;
}
听说一些老的编译器里,new 假如分派内存失败,是不抛出异常的(或许是因为当时 C++ 还没插手异常机制),而是和 malloc 一样,返回空指针。不外我从来都没碰着过 new 返回空指针的环境。
虽然,尺度 C++ 亦提供了一个要领来抑制 new 抛出异常,而返回空指针:
int* p = new (std::nothrow) int; // 这样假如 new 失败了,就不会抛出异常,而是返回空指针
if ( p == 0 ) // 如此这般,这个判定就有意义了
return -1;
// 其它代码