转载: 关于std: :nothrow

今天和同事review代码时,发现这样的一段代码:

Manager * pManager = new Manager();
if(NULL == pManager)
{
    //记录日志
    return false;
}
//然后,一个同事就说这样写欠妥,应该改为:
Manager * pManager = NULL;
try
{
    pManager = new Manager();
}
catch(std::bad_alloc e)
{

    //...

}

我查了一下资料,发现:

1.malloc分配时,如果内存耗尽分配不出来,会直接返回NULL;

2.早期C++版本,new分配时,如果内存耗尽分配不出来,也会直接返回NULL;

3.现代编译器,如gcc和VC,则都在分配不出内存时,抛出异常;

4.但是,在面对不支持异常的嵌入式环境,或者编程人员不喜欢使用异常结构时,则也有办法解决,即关键字nothrow,如以下代码:

#include <new>//必须使用new头文件

Manager * pManager = new (std::nothrow) Manager();

if(NULL == pManager)

{

    //记录日志

    return false;

}

================================================

5.如果您不想使用关键字nothrow,该如何解决这个问题呢?也可以解决,即替换new_handler即可。

想知道为何替换new_handler就能解决这个问题,需要理解new分配时,内存耗尽是如何抛出异常的。每当new分配内存,而没有足够的内存可供分配时,它会调用new_handler函数,而缺省的new_handler函数,会抛出throw bad_alloc()。为了避免抛出这个异常,可以替换一个不抛出异常的new_handler即可。

typedef void (*new_handler)();
new_handler set_new_handler(new_handler p) throw();

new_handler是一个自定义的函数指针类型,它指向一个没有输入参数也没有返回值的函数。
set_new_handler是一个输入并返回new_handler类型的函数。
set_new_handler的输入参数是operator new分配内存失败时要调用的出错处理函数的指针,返回值是set_new_handler没调用之前就已经在起作用的旧的出错处理函数的指针。

如以下代码:

#include <new>
#include <iostream>
#include <stdlib.h>

using namespace std;

void __cdecl newhandler()
{
    return;
}

int main()
{
    set_new_handler (newhandler);

    Manager * pManager = new (std::nothrow) Manager();
    if(NULL == pManager)
    {
        //记录日志
        return false;
    }
}
### C++ 中 `std::nothrow` 的用法 在C++中,`std::nothrow` 是一种用于内存分配操作符的关键字,旨在防止因内存不足而引发的异常。当使用 `new` 进行对象创建时,默认情况下如果无法分配足够的内存,则会抛出 `bad_alloc` 异常。然而,在某些场景下可能不希望程序因为内存分配失败而终止执行流程;此时可以利用带有 `std::nothrow` 参数的形式来进行尝试性的资源请求。 #### 使用 `std::nothrow` 创建单个对象实例 通过向 `new` 表达式传递 `std::nothrow` 来指示编译器不要抛出异常而是返回一个空指针: ```cpp T* ptr = new (std::nothrow) T; if (!ptr) { // 处理内存分配失败的情况 } ``` 这里定义了一个指向类型 `T` 的指针变量 `ptr` 并试图为其分配空间[^1]。 如果成功则继续后续逻辑处理;反之则进入错误分支做相应措施。 #### 应用于数组类型的动态分配 对于需要申请连续存储区域的情形同样适用此方式: ```cpp double* data_array = new (std::nothrow) double[size]; if (!data_array) { // 内存不足以支持所需大小的数据结构 } else { // 正确获取到一块长度为 size 的双精度浮点数序列地址 } ``` 上述代码片段展示了如何安全地初始化一段特定尺寸的数值型容器,并且能够优雅应对潜在的风险状况。 #### 结合 Lambda 函数声明无异常行为特性 除了作为参数参与运算外,还可以借助 `noexcept` 关键词修饰匿名函数(即 lambda),表明该闭包内部不会触发未捕获事件传播给调用者层面造成影响: ```cpp auto safe_operation = [](const char* message) noexcept -> void { std::cout << "Message received: " << message << '\n'; }; safe_operation("This operation is marked as non-throwing."); ``` 这段示例说明了怎样构建一个标记为不可抛出任何种类异常的动作单元[^2]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值