码路上的江小白 2022-11-14 18:18 采纳率: 0%
浏览 2
已结题

关于effective-cpp 条款52的一些疑问

关于effective-cpp 条款52的一些疑问

正常的new语句会有两步操作,一是分配内存,二是调用相应类的构造函数构造对象。
现在假设在第二步,即构造函数调用时抛异常

// mem_placement.h
#ifndef __MEM_PLACEMENTNEW_H__
#define __MEM_PLACEMENTNEW_H__

#include <iostream>

using namespace std;

class Apple
{
public:
    Apple();

    static void * operator new(std::size_t size, std::ostream &logStream) throw(std::bad_alloc);
    static void   operator delete(void *pMemory, std::size_t size)        throw();

    // 如果定义了placement new,必须定义额外参数一致的placement delete,才能防止内存泄漏。
    static void   operator delete(void *pMemory, std::ostream &logStream) throw();
};

#endif
// mem_placementnew.cpp

#include "mem_placemantnew.h"

Apple::Apple()
{
#if 0
    int *pn = new int[1000000000000L];

    delete [] pn;
#endif

    throw std::bad_alloc();
}

void * Apple::operator new (size_t size, ostream &logStream) throw(std::bad_alloc)
{
    logStream << "request for memory!\n";

    if (size != sizeof(Apple))
    {
        return ::operator new (size);
    }

    while (true)
    {
        // 尝试分配内存
        void *pMem = malloc(size);
        if (pMem)
        {
            return pMem;
        }

        // 分配失败, 调用失败处理函数
        std::new_handler globalHandler = std::set_new_handler(0);
        std::set_new_handler(globalHandler);

        if (globalHandler)
        {
            (*globalHandler)();
        }
        else
        {
            throw std::bad_alloc();
        }
    }
}

void Apple::operator delete (void *pMemory, size_t size) throw()
{
    cout << "custom delete called: " << size << endl;

    // C++保证删除null指针永远安全,首先需要实现这一保证
    if (0 == pMemory)
    {
        return;
    }

    if (size != sizeof(Apple))
    {
        ::operator delete (pMemory);
    }

    // 归还、释放内存
    ::free(pMemory);
}

void Apple::operator delete (void *pMemory, std::ostream &logStream) throw()
{
    cout << "custom placement delete called\n";
    logStream << "release memory\n";

    // C++保证删除null指针永远安全,首先需要实现这一保证
    if (0 == pMemory)
    {
        return;
    }

    // 归还、释放内存
    ::free(pMemory);
}

书中阐述到自定义的placement new必须有相同额外参数的placement delete才会在构造抛异常时,由运行系统自动调用对应的placement delete释放已分配的内存。

现在的问题是我应该怎么测试异常抛出之后确实调用了void Apple::operator delete (void *pMemory, std::ostream &logStream) throw(); 这个函数呢?因为抛异常,程序直接就terminate掉了。看不见有调进去。有兄弟知道怎么调试这个来验证书本内容吗?

  • 写回答

0条回答 默认 最新

    报告相同问题?

    问题事件

    • 系统已结题 11月22日
    • 创建了问题 11月14日

    悬赏问题

    • ¥30 自适应 LMS 算法实现 FIR 最佳维纳滤波器matlab方案
    • ¥15 lingo18勾选global solver求解使用的算法
    • ¥15 全部备份安卓app数据包括密码,可以复制到另一手机上运行
    • ¥15 Python3.5 相关代码写作
    • ¥20 测距传感器数据手册i2c
    • ¥15 RPA正常跑,cmd输入cookies跑不出来
    • ¥15 求帮我调试一下freefem代码
    • ¥15 matlab代码解决,怎么运行
    • ¥15 R语言Rstudio突然无法启动
    • ¥15 关于#matlab#的问题:提取2个图像的变量作为另外一个图像像元的移动量,计算新的位置创建新的图像并提取第二个图像的变量到新的图像