C++的nothrow介绍以及使用方法

在C中，使用malloc等分配内存的函数时，一定要检查其返回值是否为”空指针”，并以此作为检查内存操作是否成功的依据，这种Test-for-NULL代码形式是一种良好的编程习惯，也是编写可靠程序所必需的。

在C++中new在申请内存失败时默认会抛出一个std::bad_alloc 异常。如果出现这个异常，那就意味着内存耗尽，或者有其它原因导致内存分配失败。所以，按照C++标准，如果想检查new是否成功，则应该通过try catch捕捉异常。但有些编译器不支持try catch。C++标准化委员会不想遗弃这些Test-for-NULL的代码，所以他们提供了operator new的另一种可选形式---- nothrow，用以提供传统的Failure-yields-NULL行为。

当使用new申请一块内存失败时，抛出异常std::bad_alloc是C++标准中规定的标准行为，所以使用try { p = new int[size];} catch(std::bad_alloc) { … } 的处理方式。

1. struct nothrow_t {
2. // placement new tag type to suppress exceptions
3. };
5. extern const nothrow_t nothrow; // constant for placement new tag

其中，nothrow_t通常是一个空结构，其唯一目的是提供编译器一个可根据重载规则识别具体调用的类型。用户一般简单地使用"new(std::nothrow) 类型"(nothrow是一个nothrow_t类型的常量)来调用这个placement new操作符。它与标准new的区别是，new在分配内存失败时会抛出异常，而"new(std::nothrow)"在分配内存失败时会返回一个空指针。

new operator分配内存失败后，缺省的行为不是返回NULL，而是抛出异常std::bad_alloc。所以判断返回值是否为NULL没有任何意义。

  std::nothrow: This constant value is used as an argument for operator new and operator new[] to indicate that these functions shall not throw an exception on failure, but return a null pointer instead.

By default, when the new operator is used to attempt to allocate memory and the handling function is unable to do so, a bad_alloc exception is thrown. But when nothrow is used as argument for new, it returns a null pointer instead.

This constant (nothrow) is just a value of type nothrow_t, with the only purpose of triggering an overloaded version of the function operator new (or operatornew[]) that takes an argument of this type.

以下是测试代码：

1. #include "nothrow.hpp"
2. #include <iostream>
3. #include <new> // std::nothrow
5. // reference: http://www.cplusplus.com/reference/new/nothrow/
6. int test_nothrow1()
7. {
8. std:: cout << "Attempting to allocate 1 MiB...";
9. char* p = new ( std::nothrow) char[ 1048576];
10. if (p == 0)
11. std:: cout << "Failed!\n";
12. else {
13. std:: cout << "Succeeded!\n";
14. delete[] p;
15. }
17. return 0;
18. }
20. // reference: http://en.cppreference.com/w/cpp/memory/new/nothrow
21. int test_nothrow2()
22. {
23. try {
24. while ( true) {
25. new int[ 100000000ul]; // throwing overload
26. }
27. }
28. catch ( const std::bad_alloc& e) {
29. std:: cout << e.what() << '\n';
30. }
32. while ( true) {
33. int* p = new( std::nothrow) int[ 100000000ul]; // non-throwing overload
34. if (p == nullptr) {
35. std:: cout << "Allocation returned nullptr\n";
36. break;
37. }
38. }
40. return 0;
41. }

GitHub ： https://github.com/fengbingchun/Messy_Test