Effective C++ — 条款49:了解new-handler的行为

逃离我推掉我的手 2022-06-04 10:12 193阅读 0赞

# 了解new-handler的行为 #

当operator new无法满足某一内存分配需求时，它会抛出异常. 以前它会返回一个null指针，某些旧是编译器目前也还那么做.

当operator new抛出异常以反映一个未获得满足的内存需求之前，它会先调用一个客户指定的错误处理函数,一个所谓的new\_handler.

为了指定这个 "用以处理内存不足"的函数，客户必须调用set\_new\_handler，它是声明于<new>的一个标准程序库函数;

//set_new_handler函数  
    namespace std {  
        typedef void (*new_handler)();  
        new_handler set_new_handler(new_handler p) throw();  //异常声明，表示该函数不抛出任何异常  
    }

如你所见，new\_handler是一个typedef，定义出一个指针指向函数，该函数没有一个参数也不返回任何一个东西. set\_new\_hanler则是

"获得一个 new\_handler"并返回一个new\_handler"的函数. set\_new\_handler生命式尾端的"throw()"是一份异常明细，表示该函数不抛出

任何异常.  set\_new\_handler的尝试实现:

/*该函数接收一个返回值为空，参数为空的函数指针作为参数，最后返回一个返回值和参数均为空的函数指针*/    
    static void (* __set_new_handler(void (*__f)()))()       
    {    
        void (* __old)() = __new_alloc_oom_handler;       //保存原有处理例程    
        __new_alloc_oom_handler = __f;                    //重新指定异常处理例程    
        return(__old);    
    }

set\_new\_handler的参数也是一个指针，指向operator new无法分配足够内存时该被调用的函数.其返回值也是一个指针，指向

set\_new\_handler被调用 前正在执行(但马上就要被替换)的那个new\_handler函数. 具体如何使用set\_new\_handler. 它的思想在

空间配置器当中起着举足轻重的位置. 所以我们 可以去看看这个博客: 然后再过来看set\_new\_handler可能 会更好的理解它

[一级空间配置器博客][Link 1]

在operator new的无法分配足够空间的时候，就会尝试调用new\_handler中的用户自定义清除空间函数. 如果空间还不够那么

operator new就会反 复调用new\_handler，直到找到足够的内存.

当然如果你想设计出来一个优秀的new\_handler函数必须做下面的事情:

**\*\*\*1**.让更多的内存可被使用. 这便造成operator new内的下一次内存分配动作可能成功. 实现此策略的第一个做法就是，程序

一开始执行就分配一大 块内存，而后当new\_handler第一次被调用，将他们释还给程序使用.

**\*\*\*2**.安装另一个new\_handler. 如果目前这个new\_handler无法取得更多可用的内存，或许他知道另外那个new\_handler有此能

力.果真如此，目前这个 new\_handler就可以安装另外那个new\_handler以替换自己(只要调用set\_new\_handler). 下次 当

operator new 调用new\_handler，调用的将是最新安装的 那个.(这个旋律的变奏之一是让new\_handler修改自己的行为，于是当

它下次被调用的时候，就会做某些不同的事情了. 为达到目的，做法之一是令 new\_handler修改"会影响new\_handler行为"的

static数据，namespace数据或global数据).

**\*\*\*3**.卸除new\_handler 也就是将Null指针传给set\_new\_handler. 一旦没有安装任何new\_handler，operator new会在内存分配

不成功时抛出异常.

**\*\*\*4**.抛出bad\_alloc的异常 这样的异常不会被operator new捕捉，因此会被传播到内存索求处.

**\*\*\*5**. 不返回，通常调用abort或exit.

[Link 1]: http://blog.csdn.net/dawn_sf/article/details/78766879

发表评论取消回复

表情：

评论列表（有 0 条评论，193人围观）

还没有评论，来说两句吧...

相关阅读

相关 Effective C++笔记（4）—条款5/6分析

条款05—了解C++默默编写并调用哪些函数对于一个C++类来说，编译器会默认生成默认构造函数，拷贝构造函数，析构函数等。例如： class Empty

川长思鸟来/ 2022年09月25日 09:29/ 0 赞/ 143 阅读

相关 Effective C++笔记（3）—条款4分析

1.条款04：确定对象被使用前已先被初始化这是一个比较好理解的条款，从刚学习C语言开始，这样的问题就一直伴随至今。 1.1 内置类型的初始化对于`int`、`

妖狐艹你老母/ 2022年09月25日 06:14/ 0 赞/ 155 阅读

相关 Effective C++笔记（5）—条款7/8/9

为多态基类声明virtual析构函数主要是两个点： 1.多态的基类需要声明一个virtual析构函数。 2.如果类不是用作基类或者具备多态性，则不该声明virt

拼搏现实的明天。/ 2022年06月13日 08:06/ 0 赞/ 190 阅读

相关 Effective C++ — 条款49:了解new-handler的行为

了解new-handler的行为当operator new无法满足某一内存分配需求时，它会抛出异常. 以前它会返回一个

逃离我推掉我的手/ 2022年06月04日 10:12/ 0 赞/ 194 阅读

相关 Effective C++ — 条款42:了解typename的双重意义

了解typename的双重意义提到一个问题:以下template声明式中，class和typename有什么不同?

客官°小女子只卖身不卖艺/ 2022年06月03日 21:07/ 0 赞/ 194 阅读

相关 Effective C++ 条款03 尽可能使用const

条款3 尽可能使用const 1. const 可被施加于任何作用域内的对象，函数参数，函数返回类型，成员函数本体；用const修饰指针，可指出指针自身、指针所指物或两者

た入场券/ 2022年05月21日 12:47/ 0 赞/ 173 阅读

相关 Effective C++ 条款05：了解C++默默编写并调用哪些函数

1. 成员函数只有被需要(被调用)才必须有定义,同理,只有当默认构造函数,拷贝构造函数,赋值操作符,析构函数被需要而类定义它们时,它们才会被编译器创建出来(除非函数在基类中被声

雨点打透心脏的1/2处/ 2022年05月18日 08:05/ 0 赞/ 244 阅读

相关 Effective C++ 条款14 在资源管理类中小心copying行为

1. 条款13中讲到“资源取得的时机便是初始化时机”并由此引出“以对象管理资源”的概念,资源会在不需要的时刻被销毁。通常情况下使用std中的auto\_prt(智能指针)和tr

女爷i/ 2022年05月13日 10:44/ 0 赞/ 233 阅读

相关 Effective C++ 条款13 以对象管理资源

// // main.cpp // 条款13：以对象管理资源 // // Created by 于磊 on 2018/7/8.

女爷i/ 2022年05月13日 09:10/ 0 赞/ 207 阅读

相关 Effective C++ 读书笔记 Item 49 new handler的行为

new申请内存失败时会抛出"bad alloc"异常，此前会调用一个由std::set_new_handler()指定的错误处理函数（”new-handler”）。 se...

朱雀/ 2020年07月07日 14:48/ 0 赞/ 702 阅读