0.目录

1.动态内存申请一定成功吗?

2.new_handler() 函数

3.小结

1.动态内存申请一定成功吗?

问题:

动态内存申请一定成功吗?

常见的动态内存分配代码:

C代码:



C++代码:

必须知道的事实!

  • malloc函数申请失败时返回NULL值
  • new关键字申请失败时(根据编译器的不同)
    1. 返回NULL值
    2. 抛出 std::bad_alloc 异常

问题:

new语句中的异常是怎么抛出来的?

new关键字在C++规范中的标准行为:

  • 在堆空间申请足够大的内存

    1. 成功:

      1. 在获取的空间中调用构造函数创建对象
      2. 返回对象的地址
    2. 失败:
      1. 抛出 std::bad_alloc 异常
  • new在分配内存时
    1. 如果空间不足,会调用全局的 new_handler() 函数
    2. new_handler() 函数中抛出 std::bad_alloc 异常
  • 可以自定义 new_handler() 函数
    1. 处理默认的new内存分配失败的情况

2.new_handler() 函数

new_handler() 的定义和使用:

问题:

如何跨编译器统一 new 的行为,提高代码移植性?

解决方案:

  • 全局范围(不推荐)

    1. 重新定义 new / delete 的实现,不抛出任何异常
    2. 自定义 new_handler() 函数,不抛出任何异常
  • 类层次范围
    1. 重载 new / delete,不抛出任何异常
  • 单次动态内存分配
    1. 使用 nothrow 参数,指明 new 不抛出异常

示例1——证明存在 new_handler() 函数:

#include <iostream>
#include <cstdlib> using namespace std; class Test
{
int m_value;
public:
Test()
{
cout << "Test()" << endl; m_value = 0;
} ~Test()
{
cout << "~Test()" << endl;
} void* operator new (unsigned long size)
{
cout << "operator new: " << size << endl; // return malloc(size); return NULL;
} void operator delete (void* p)
{
cout << "operator delete: " << p << endl; free(p);
} void* operator new[] (unsigned long size)
{
cout << "operator new[]: " << size << endl; return malloc(size);
} void operator delete[] (void* p)
{
cout << "operator delete[]: " << p << endl; free(p);
}
}; void my_new_handler()
{
cout << "void my_new_handler()" << endl;
} void ex_func_1()
{
new_handler func = set_new_handler(my_new_handler); try
{
cout << "func = " << func << endl; if( func )
{
func();
}
}
catch(const bad_alloc&)
{
cout << "catch(const bad_alloc&)" << endl;
}
} int main(int argc, char *argv[])
{
ex_func_1(); return 0;
}

运行结果为:

[root@bogon Desktop]# g++ test.cpp
test.cpp: In static member function ‘static void* Test::operator new(long unsigned int)’:
test.cpp:28: warning: ‘operator new’ must not return NULL unless it is declared ‘throw()’ (or -fcheck-new is in effect)
[root@bogon Desktop]# ./a.out
func = 0

(在g++编译器中没有设置这个全局的 new_handler() 函数,bcc编译器中实现了这个全局的 new_handler() 函数。)

示例2——动态内存申请失败的结果:

#include <iostream>
#include <cstdlib> using namespace std; class Test
{
int m_value;
public:
Test()
{
cout << "Test()" << endl; m_value = 0;
} ~Test()
{
cout << "~Test()" << endl;
} void* operator new (unsigned long size)
{
cout << "operator new: " << size << endl; // return malloc(size); return NULL;
} void operator delete (void* p)
{
cout << "operator delete: " << p << endl; free(p);
} void* operator new[] (unsigned long size)
{
cout << "operator new[]: " << size << endl; return malloc(size);
} void operator delete[] (void* p)
{
cout << "operator delete[]: " << p << endl; free(p);
}
}; void ex_func_2()
{
Test* pt = new Test(); cout << "pt = " << pt << endl; delete pt;
} int main(int argc, char *argv[])
{
ex_func_2(); return 0;
}

运行结果为:

[root@bogon Desktop]# g++ test.cpp
test.cpp: In static member function ‘static void* Test::operator new(long unsigned int)’:
test.cpp:28: warning: ‘operator new’ must not return NULL unless it is declared ‘throw()’ (or -fcheck-new is in effect)
[root@bogon Desktop]# ./a.out
operator new: 4
Test()
Segmentation fault (core dumped)

(g++编译器中报错:段错误。不同的编译器报错信息不同。)

示例3——统一不同编译器动态内存申请失败后的行为:

#include <iostream>
#include <cstdlib> using namespace std; class Test
{
int m_value;
public:
Test()
{
cout << "Test()" << endl; m_value = 0;
} ~Test()
{
cout << "~Test()" << endl;
} void* operator new (unsigned long size) throw()
{
cout << "operator new: " << size << endl; // return malloc(size); return NULL;
} void operator delete (void* p)
{
cout << "operator delete: " << p << endl; free(p);
} void* operator new[] (unsigned long size) throw()
{
cout << "operator new[]: " << size << endl; // return malloc(size); return NULL;
} void operator delete[] (void* p)
{
cout << "operator delete[]: " << p << endl; free(p);
}
}; void ex_func_2()
{
Test* pt = new Test(); cout << "pt = " << pt << endl; delete pt; pt = new Test[5]; cout << "pt = " << pt << endl; delete[] pt;
} int main(int argc, char *argv[])
{
ex_func_2(); return 0;
}

运行结果为:

[root@bogon Desktop]# g++ test.cpp
[root@bogon Desktop]# ./a.out
operator new: 4
pt = 0
operator new[]: 28
pt = 0

显示的调用析构函数

示例4——让编译器申请失败后返回空指针而不是抛出异常:

#include <iostream>
#include <cstdlib> using namespace std; class Test
{
int m_value;
public:
Test()
{
cout << "Test()" << endl; m_value = 0;
} ~Test()
{
cout << "~Test()" << endl;
} void* operator new (unsigned long size) throw()
{
cout << "operator new: " << size << endl; // return malloc(size); return NULL;
} void operator delete (void* p)
{
cout << "operator delete: " << p << endl; free(p);
} void* operator new[] (unsigned long size) throw()
{
cout << "operator new[]: " << size << endl; // return malloc(size); return NULL;
} void operator delete[] (void* p)
{
cout << "operator delete[]: " << p << endl; free(p);
}
}; void ex_func_3()
{
int* p = new(nothrow) int[10]; // ... ... delete[] p; int bb[2] = {0}; struct ST
{
int x;
int y;
}; ST* pt = new(bb) ST(); // new():在指定空间上创建对象 pt->x = 1;
pt->y = 2; cout << bb[0] << endl;
cout << bb[1] << endl; pt->~ST(); // 显示的调用析构函数
} int main(int argc, char *argv[])
{
ex_func_3(); return 0;
}

运行结果为:

[root@bogon Desktop]# g++ test.cpp
[root@bogon Desktop]# ./a.out
1
2

实验结论:

  • 不是所有的编译器都遵循C++的标准规范
  • 编译器可能重定义 new 的实现,并在实现中抛出 bad_alloc 异常
  • 编译器的默认实现中,可能没有设置全局的 new_handler() 函数
  • 对于移植性要求较高的代码,需要考虑 new 的具体细节

3.小结

  • 不同的编译器在动态内存分配上的实现细节不同
  • malloc 函数在内存申请失败时返回NULL值
  • new 关键字在内存申请失败时
    1. 可能返回NULL值
    2. 可能抛出 bad_alloc 异常

C++解析-外传篇(3):动态内存申请的结果的更多相关文章

  1. C++函数中,两个自动释放内存的动态内存申请类

    最近做一个事情,实现一个流程交互,其中主交互流程函数中,涉及较多的内存申请, 而健康的函数,都是在函数退出前将手动申请不再需要的内存释放掉, 使用很多方法,都避免不了较多的出错分支时,一堆的if fr ...

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

    1,问题: 1,动态内存申请一定成功吗? 1,不一定成功: 2,常见的动态内存分配代码: 1,C 代码: * sizeof(int)); if( p != NULL ) { // ... ... } ...

  3. C++解析(25):关于动态内存分配、虚函数和继承中强制类型转换的疑问

    0.目录 1.动态内存分配 1.1 new和malloc的区别 1.2 delete和free的区别 2.虚函数 2.1 构造函数与析构函数是否可以成为虚函数? 2.2 构造函数与析构函数是否可以发生 ...

  4. C++解析-外传篇(2):函数的异常规格说明

    0.目录 1.异常规格说明 2.unexpected() 函数 3.小结 1.异常规格说明 问题: 如何判断一个函数是否会抛出异常,以及抛出哪些异常? C++提供语法用于声明函数所抛出的异常 异常声明 ...

  5. C++解析-外传篇(1):异常处理深度解析

    0.目录 1.异常的最终处理 2.结束函数terminate() 3.小结 1.异常的最终处理 问题: 如果在main函数中抛出异常会发生什么? 如果异常不处理,最后会传到哪里? 下面的代码的输出什么 ...

  6. C 动态内存申请

    例子: int *p=0; int number=0; scanf("%d",&number); p = (int*)malloc(number*sizeof(int));

  7. 【C/C++开发】C语言 DLL(动态链接库)中申请动态内存释放的问题

    参考:首先,声明一点,凡是使用malloc之类命令动态申请的内存,必须进行释放操作,否则就会发生内存泄漏问题. DLL中申请的内存释放,如果没有做过,很可能会认为是直接在调用程序中释放就可以了,其实不 ...

  8. C语言动态内存的申请和释放

    什么是动态内存的申请和释放? 当程序运行到需要一个动态分配的变量时,必须向系统申请取得堆中的一块所需大小的存储空间,用于存储该变量.当不再使用该变量时,也就是它的生命结束时,要显式释放它所占用的存储空 ...

  9. keil c51的内部RAM(idata)动态内存管理程序

    程序比较简单,但感觉比较有意思,个人认为有一定应用价值,希望大家有更好的思路和方法,互相促进. 程序的基本思路是:在CPU堆栈指针SP以上的RAM区域,通过把堆栈指针SP上移若干个字节,把空出的RAM ...

随机推荐

  1. 八、EnterpriseFrameWork框架基础功能之自定义报表

    本章写关于框架中的“自定义报表”,类似上章“字典管理”也是三部分功能组成,包括配置报表.对报表按角色授权.查看报表:其核心思想就是实现新增一个报表而不用修改程序代码.不用升级,只需要编写一个存储过程, ...

  2. 用Python深入理解跳跃表原理及实现

    最近看 Redis 的实现原理,其中讲到 Redis 中的有序数据结构是通过跳跃表来进行实现的.第一次听说跳跃表的概念,感到比较新奇,所以查了不少资料.其中,网上有部分文章是按照如下方式描述跳跃表的: ...

  3. RHCE6.0上午的考试一键完成

    #!/sbin/bash # #initial envirment #variable define IPADDR=192.168.0.12 NETMASK=255.255.255.0 HOSTNAM ...

  4. 【RL系列】从蒙特卡罗方法步入真正的强化学习

    蒙特卡罗方法给我的感觉是和Reinforcement Learning: An Introduction的第二章中Bandit问题的解法比较相似,两者皆是通过大量的实验然后估计每个状态动作的平均收益. ...

  5. 3.Airflow使用

    1. airflow简介2. 相关概念2.1 服务进程2.1.1. web server2.1.2. scheduler2.1.3. worker2.1.4. celery flower2.2 相关概 ...

  6. KETTLE设置变量

    一.kettle变量类型 kettle变量分为: 1.环境变量 通过 set variables组件设置变量,范围可以是:JVM变量.作业变量.父作业变量.根作业变量.使用时通过${var}或 %%v ...

  7. USACO 1.5.4 Checker Challenge跳棋的挑战(回溯法求解N皇后问题+八皇后问题说明)

    Description 检查一个如下的6 x 6的跳棋棋盘,有六个棋子被放置在棋盘上,使得每行,每列,每条对角线(包括两条主对角线的所有对角线)上都至多有一个棋子. 列号 0 1 2 3 4 5 6 ...

  8. Longge's problem(欧拉函数应用)

    Description Longge is good at mathematics and he likes to think about hard mathematical problems whi ...

  9. Scrum立会报告+燃尽图(十月十七日总第八次)

    本次作业要求参见:https://edu.cnblogs.com/campus/nenu/2018fall/homework/2246 一.小组介绍 组名:杨老师粉丝群 组长:乔静玉 组员:吴奕瑶.公 ...

  10. 《linux内核分析》 第一周

    20135130  王川东 计算机是如何工作的? 计算机的基本原理是存储程序和程序控制.预先要把指挥计算机如何进行操作的指令序列(称为程序)和原始数据通过输入设备输送到计算机内存贮器中.每一条指令中明 ...