C语言new操作的安全性分析

对于学习过C语言的朋友应该都知道，使用 malloc/calloc 等分配内存的函数时，一定要检查其返回值是否为“空指针”（亦即检查分配内存的操作是否成功），这是良好的编程习惯，也是编写可靠程序所必需的。但是，如果你简单地把这一招应用到new上，那可就不一定正确了。我经常看到类似这样的代码：

1 2 3 4

int * p = new int [MAXSIZE] if (p == 0) // 检查p指针是否为空 return -1; //other code

其实，这里的 if ( p == 0 ) 完全没有意义的。C++ 里，如果 new 分配内存失败，默认是抛出异常的。所以，如果分配成功，p == 0 就绝对不会成立；而如果分配失败了，也不会执行 if ( p == 0 )，因为分配失败时，new 就会抛出异常跳过后面的代码。如果你想检查 new 是否成功，应该捕捉异常：

1 2 3 4 5 6 7 8

try { int * p = new int [MAXSIZE] } catch( bad_alloc & exp) { cerrr<<exp.what()<<endl; }

但是 有的程序员并不习惯捕捉异常，标准C++也提供了一种方法不抛出异常而返回空指针。

1 2 3 4

int * p = new (std::nothrow)int [MAXSIZE] if (p == 0) // 检查p指针是否为空 return -1; //other code