C++中动态内存申请的结果

最新推荐文章于 2024-03-03 12:29:28 发布

deng201404

最新推荐文章于 2024-03-03 12:29:28 发布

阅读量206

点赞数 1

文章标签： c/c++

原文链接：http://www.cnblogs.com/dishengAndziyu/p/10920222.html

版权

1，问题：

1，动态内存申请一定成功吗？

1，不一定成功；

2，常见的动态内存分配代码：

1，C 代码：

1 int* p = (int*)malloc(10 * sizeof(int));
2        
3 if( p !=  NULL )
4 {
5     // ... ...
6 }

1，这种写法合理；

2，C++ 代码：

1 int* p = new int[10];
2        
3 if( p != NULL )
4 {
5     // ... ...
6 }

1，古代编译器这种写法合理；

2，现代编译器这种写法就不合理，申请成功时，此语句没有任何意义，申请失败后，就会抛出一个标准库中的异常对象，程序就不会向下执行到 if() 语句；

3，如果用的是一款现代的 C++ 编译器，new 的结果无论成功或者失败，根本用不着使用 if() 判断语句；

3，申请内存失败时：

1，malloc 函数申请失败时返回 NULL 值；

2，new 关键字申请失败时（根据编译器的不同）：

1，返回 NULL 值；

1，古代编译器兼容 C 中方式，返回 NULL 值；

2，抛出 std::bad_alloc 异常；

1，近代编译器不会返回 NULL 值，而是抛出一个标准库中的 std::bad_alloc 异常；

4，问题：

1，new 语句中的异常是怎么抛出来的？

5，new 关键字在 C++ 规范中的标准行为：

1，在堆空间申请足够大的内存；

1，成功：

1，在获取的空间中调用构造函数创建对象；

2，返回对象的地址；

2，失败：

1，C++ 规范定义要抛出 std::bad_alloc 异常；

2，new 在分配空间时：

1，如果空间不足，会调用全局的 new_handler() 函数（见 9 中例一）；

1，调用 new_handler() 函数的意义在于我们可以有机会做一些处理，使得有更多的空间可以空出来；

2，整理空间、空出足够的内存 C++ 编译器是不知道的，这件事情具体的平台具体讨论，于是 C++ 标准规范就给了默认的 new_handler() 实现，即抛出异常；

2，new_handler() 函数中抛出 std::bad_alloc 异常；

3，可以自定义 new_handler() 函数：

1，处理默认的 new 内存分配失败的情况；

2，C++ 平台不能整理空间、空出足够的内存，那么就交给我们自己来定义；

6，new_handler() 的定义和使用：

1，代码示例：

1 void my_new_handler()
2 {
3     cout << "No enough memory";
4     cout << endl;
5            
6     exit(1);  // 内存不足了，就把当前的程序结束了；
7 }

1，实际产品开发中，一般会尝试在这个函数中进行内存的整理，整理后期望有更多的堆空间空出来，然后满足当前程序对内存的需求；

2，也可以内存不足自己结束程序；

3，友好的方式是抛一个异常，然后进行异常处理，这是 C++ 默认的实现方式；

2，使用：

1 int main(int argc, char* argv[])
2 {
3     set_new_handler(my_new_handler);  // 告诉 C++ 编译器；可以设置自定义的处理函数，处理堆空间不足的情况；
4            
5      // ... ...
6            
7      return 0;
8 }

7，问题：

1，如果跨编译器统一 new 的行为，提高代码移植性？

1，无论在任何情况下，申请失败都返回空或者抛出异常；

2，为了兼顾古代编译器，一般做法是自定义 new，使得 new 在申请堆空间失败的时候，直接返回空指针，而不抛出异常；

8，解决方案：

1，全局范围（不推荐）：

1，重新定义 nwe/delete 的实现，不抛出任何异常；

2，自定义 new_handler() 函数，不抛出任何异常；

1，空函数摆在那里；

2，见本文 10.2.2.1 分析，这个方案对 VS 2010 编译器是有用的；

3，不推荐，全局范围重定义 new，风险是非常大的；

2，类层次范围（推荐）（见本文 9 中例二）：

1，重载 new/delete，不抛出任何异常；

2，失败了返回空指针；

3，单次动态内存分配（见本文9 中例三）：

1，使用 nothrow 参数，指明 new 不抛出异常；

2，失败了返回空指针；

9，动态内存申请编程实验：

  1 #include <iostream>
  2 #include <new>
  3 #include <cstdlib>
  4 #include <exception>
  5 
  6 using namespace std;
  7 
  8 class Test
  9 {
 10     int m_value;
 11 public:
 12     Test()
 13     {
 14         cout << "Test()" << endl;
 15         
 16         m_value = 0;
 17     }
 18     
 19     ~Test()
 20     {
 21         cout << "~Test()" << endl;  
 22     }
 23     
 24     void* operator new (unsigned int size) throw()
 25     {
 26         cout << "operator new: " << size << endl;
 27         
 28         // return malloc(size);
 29         
 30         return NULL;  // 这里当没有加上 throw() 时，编译器显示： warning: 'operator new' must not return NULL unless it is declared 'throw()' (or -fcheck-new is in effect)；
 31     }
 32     
 33     void operator delete (void* p)
 34     {
 35         cout << "operator delete: " << p << endl;
 36         
 37         free(p);
 38     }
 39     
 40     void* operator new[] (unsigned int size) throw()
 41     {
 42         cout << "operator new[]: " << size << endl;
 43         
 44         // return malloc(size);
 45         
 46         return NULL;
 47     }
 48     
 49     void operator delete[] (void* p)
 50     {
 51         cout << "operator delete[]: " << p << endl;
 52         
 53         free(p);
 54     }
 55 };
 56 
 57 void my_new_handler()
 58 {
 59     cout << "void my_new_handler()" << endl;
 60 }
 61 
 62 /* 证明 new_handler() 函数存在 */
 63 void ex_func_1()
 64 {
 65     /* 定义 func 变量，其类型为 new_handler 类型，C++ 中 new_handler 是一个预定义的函数指针，指向的函数类型是 void(*)()，调用 set_new_handler() 是将自定义的 my_new_handler() 处理函数设置进去，设置了自定义处理函数后，原来的处理函数就会作为返回值返回到 func，这点和上一节的不同，上一节是返回自定义的处理函数，这一节是返回原来的预定义处理函数； */
 66     new_handler func = set_new_handler(my_new_handler);  
 67     
 68     try
 69     {
 70         cout << "func = " << func << endl;
 71         
 72         if( func )  // 加上 if() 处理语句是因为默认的情况下面可能是没有处理函数的，此时 func 为空；
 73         {
 74             func();
 75         }
 76     }
 77     catch(const bad_alloc&)  // 想证明默认的 new_handler() 处理函数确实是要抛出 bad_alloc 异常；
 78     {
 79         cout << "catch(const bad_alloc&)" << endl;
 80     }
 81 }
 82 
 83 void ex_func_2()
 84 {
 85     Test* pt = new Test();
 86     
 87     cout << "pt = " << pt << endl;
 88     
 89     delete pt;
 90     
 91     pt = new Test[5];
 92     
 93     cout << "pt = " << pt << endl;
 94     
 95     delete[] pt; 
 96 }
 97 
 98 /* 如何在单次申请的时候，告诉编译器，不管结果是什么，都不要抛出异常，如果说申请失败了，直接返回空指针 */
 99 void ex_func_3()
100 {
101     /* 这个语句是 C++ 标准语法，只是之前没见过而已 */
102     int* p = new(nothrow) int[10];  // 现在进行动态内存申请，但是不管结果有没有成功，都不要抛出异常，结果失败，直接返回空；
103     
104     // ... ...
105     
106     delete[] p; 
107     
108     /* 上面 new 的写法也可以写成下面的形式 */
109     
110     int bb[2] = {0}; 
111     
112     struct ST
113     {
114         int x;
115         int y;
116     };
117     
118     ST* pt = new(bb) ST();  // 把 ST 对象创建到 bb[2] 的栈空间中去，即在指定的位置创建一个对象，括号的作用是向编译器指明要在指定的地址上面创建一个对象出来；
119     
120     /* 对创建的对象赋值 */
121     pt->x = 1;
122     pt->y = 2;
123     
124     /* 这里的打印想证明上面创建的对象确实存在 bb[2] 空间当中的 */
125     cout << bb[0] << endl;  // 打印 1
126     cout << bb[1] << endl;  // 打印 2
127     
128     pt->~ST();  // 显示的调用析构函数，因为我们指定了穿件对象的空间，这时必须显示手动调用析构函数；
129 }
130 
131 int main(int argc, char *argv[])
132 {
133     // ex_func_1();  
134     // ex_func_2();
135     // ex_func_3();
136     
137     return 0;
138 }