对于学习过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 |