placement new和placement delete(重载new和delete2)

2023-10-30 10:08

本文主要是介绍placement new和placement delete(重载new和delete2),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

placement new和placement delete

参考:《Effective C++》

  • placement new和placement delete
    • 1 什么是placement new和placement delete
    • 2 如何使用placement版本的new和delete
    • 3 从内存泄露出发
      • a 什么时候new一个对象会发生内存泄露
      • b 当placement new和placement delete遇到继承
    • 转载请注明出处


(1) 什么是placement new和placement delete

placement new和placement delete已经被纳入了C++标准库中
下面是codeblock库中< new >对于二者的声明。

// Default placement versions of operator new.
inline void* operator new(std::size_t, void* __p);
inline void* operator new[](std::size_t, void* __p);// Default placement versions of operator delete.
inline void operator delete  (void*, void*);
inline void operator delete[](void*, void*);

placement版本的new和delete初衷是用于在vector中未使用的空间上创建对象的。

如果不特别说明,我们口中的placement 版本的new和delete指的就是上面的几种。

当然我们也可以自定义一些placement 版本(比如带有log功能的new):

void * operator new(size_t size,std::ostream & logger)
throw(std::bad_alloc);

(2) 如何使用placement版本的new和delete

#include <iostream>
#include <new>#define BUFSIZ 512
char *BUF[BUFSIZ]{0};//申请一片内存int main(){std::cout<<"BUF Addr:"<<BUF<<std::endl;int *p(new (BUF)int[10]);//BUF内分配一块内存给10个int类型的数据std::cout<<"P   Addr:"<<p<<std::endl;for(int i=0;i<10;i++){p[i]=i;}for(int i=0;i<10;i++){std::cout<<p[i]<<"  ";}std::cout<<'\n';return 0;
}

这里写图片描述
上面的例子就是在模拟vector的内存分配:在已有的但是未使用的BUF中分配内存。


(3) 从内存泄露出发

为什么我们需要placement版本的new和delete呢?
答:实际的需要。就像vector的内存处理方式。

我们不如从内存泄漏出发,细说placement版本的new和delete。


(a) 什么时候new一个对象会发生内存泄露?

#include <iostream>
#include <new>
#include <cstdlib>class demo{
public:demo():m_dat(100){throw 1;}//palcement版本的new和deletevoid *operator new(size_t size,std::ostream&logger)throw(std::bad_alloc){return malloc(size);}//非placement版本的new和deltevoid operator delete(void *p)throw(){free(p);}
private:int m_dat;
};int main(){demo *p(new (std::cerr)demo);return 0;
}

当new(std::cerr)demo被调用时,new操作成功并返回一块内存,但是demo的构造函数却抛出了异常。当然C++运行期系统考虑到了这种情况,当该情况发生时,系统会自动调用相应版本的delete正确地释放这块内存。

但是new的版本非常多,系统怎么知道调用那个版本呢?
答:系统会寻找参数个数和类型都与new相同的某个delete(这里指的是额外的参数相同,额外的参数指除了new需要size_t和delete需要void*之外的参数)

所以,我们容易知道,上述代码的内存泄露在:palcement版本的new没有对应的placement版本的delete可供调用,所以系统不做任何操作。

解决方法很简单,重载一个相应的operator delete即可:

class demo{
public:demo():m_dat(100){throw 1;}//palcement版本的new和deletevoid *operator new(size_t size,std::ostream&logger)throw(std::bad_alloc){return malloc(size);}//非placement版本的new和deltevoid operator delete(void *p)throw(){free(p);}//重载相应的placement版本的deletevoid operator delete(void *p,std::ostream&logger)throw(){std::cout<<"Placement operator delete"<<std::endl;free(p);}
private:int m_dat;
};

这样,系统就能够正确地选择new和delete。

所以铭记:重载了new就要重载相应版本的delete


(b) 当placement new和placement delete遇到继承

问题源:任何版本的new和delete重载都会覆盖默认的版本。
默认版本的new和delete有这些:

void *operator new(size_t)throw(std::bad_alloc);
void *operator new(size_t,void*)throw();
void *operator new(size_t,const std::nothrow_t&)throw();

当上述任一版本的new都会被类中的任一版本的new重载所覆盖


上例子:

#include <iostream>
#include <new>
#include <cstdlib>class demo{
public:demo():m_dat(100){throw 1;}//重载自定义版本的newvoid *operator new(size_t size,std::ostream&logger)throw(std::bad_alloc){return malloc(size);}//重载相应的deletevoid operator delete(void *p,std::ostream&logger)throw(){std::cout<<"Placement operator delete"<<std::endl;free(p);}
private:int m_dat;
};int main(){demo *p(new demo);return 0;
}

codeblock的错误:
这里写图片描述


VS2015的错误:
这里写图片描述


我在:重载new和delete的一些规则的特殊规则1中提及:一个类的operator new和operator delete 大都是为了本个类服务的,而不是它的派生类。

所以,当一个类重载了new和delete,它就会覆盖全局的,或是基类的new和delete。有时我们需要将这些版本的(比如基类中的)new和delete在本类中同样可以使用,我们该如何做呢?

*如果没有涉及到继承,而是局部和全局之间的覆盖的话,可以直接使用双冒号(::)来调用全局的new和delete,例如:::operator new(size)

让类支持global版本的new和delete(通过继承和using)

#include <iostream>
#include <new>
#include <cstdlib>class StandardNewDelete{
public:static void *operator new(size_t size)throw(std::bad_alloc){return ::operator new(size);}static void *operator new(size_t size,void *ptr)throw(){return ::operator new(size,ptr);}static void *operator new(size_t size,const std::nothrow_t&nt)throw(){return ::operator new(size,nt);}static void operator delete(void *p)throw(){::operator delete(p);}static void operator delete(void *p,void *ptr)throw(){::operator delete(p,ptr);}static void operator delete(void *p,const std::nothrow_t& nt)throw(){::operator delete(p,nt);}
};class demo:public StandardNewDelete{
public:demo():m_dat(100){}//使该类支持global版本的new和deleteusing StandardNewDelete::operator new;using StandardNewDelete::operator delete;void *operator new(size_t size,std::ostream&logger)throw(std::bad_alloc){return malloc(size);}void operator delete(void *p,std::ostream&logger)throw(){std::cout<<"Placement operator delete"<<std::endl;free(p);}
private:int m_dat;
};int main(){demo *p(new demo);return 0;
}

**转载请注明出处

这篇关于placement new和placement delete(重载new和delete2)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!


原文地址:
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.chinasem.cn/article/307166

相关文章

Java 方法重载Overload常见误区及注意事项

《Java方法重载Overload常见误区及注意事项》Java方法重载允许同一类中同名方法通过参数类型、数量、顺序差异实现功能扩展,提升代码灵活性,核心条件为参数列表不同,不涉及返回类型、访问修饰符... 目录Java 方法重载(Overload)详解一、方法重载的核心条件二、构成方法重载的具体情况三、不构

Go语言中make和new的区别及说明

《Go语言中make和new的区别及说明》:本文主要介绍Go语言中make和new的区别及说明,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1 概述2 new 函数2.1 功能2.2 语法2.3 初始化案例3 make 函数3.1 功能3.2 语法3.3 初始化

Oracle 数据库数据操作如何精通 INSERT, UPDATE, DELETE

《Oracle数据库数据操作如何精通INSERT,UPDATE,DELETE》在Oracle数据库中,对表内数据进行增加、修改和删除操作是通过数据操作语言来完成的,下面给大家介绍Oracle数... 目录思维导图一、插入数据 (INSERT)1.1 插入单行数据,指定所有列的值语法:1.2 插入单行数据,指

Kotlin运算符重载函数及作用场景

《Kotlin运算符重载函数及作用场景》在Kotlin里,运算符重载函数允许为自定义类型重新定义现有的运算符(如+-…)行为,从而让自定义类型能像内置类型那样使用运算符,本文给大家介绍Kotlin运算... 目录基本语法作用场景类对象数据类型接口注意事项在 Kotlin 里,运算符重载函数允许为自定义类型重

Python中的魔术方法__new__详解

《Python中的魔术方法__new__详解》:本文主要介绍Python中的魔术方法__new__的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、核心意义与机制1.1 构造过程原理1.2 与 __init__ 对比二、核心功能解析2.1 核心能力2.2

Python中__new__()方法适应及注意事项详解

《Python中__new__()方法适应及注意事项详解》:本文主要介绍Python中__new__()方法适应及注意事项的相关资料,new()方法是Python中的一个特殊构造方法,用于在创建对... 目录前言基本用法返回值单例模式自定义对象创建注意事项总结前言new() 方法在 python 中是一个

Golan中 new() 、 make() 和简短声明符的区别和使用

《Golan中new()、make()和简短声明符的区别和使用》Go语言中的new()、make()和简短声明符的区别和使用,new()用于分配内存并返回指针,make()用于初始化切片、映射... 详细介绍golang的new() 、 make() 和简短声明符的区别和使用。文章目录 `new()`

C++操作符重载实例(独立函数)

C++操作符重载实例,我们把坐标值CVector的加法进行重载,计算c3=c1+c2时,也就是计算x3=x1+x2,y3=y1+y2,今天我们以独立函数的方式重载操作符+(加号),以下是C++代码: c1802.cpp源代码: D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数

java线程深度解析(一)——java new 接口?匿名内部类给你答案

http://blog.csdn.net/daybreak1209/article/details/51305477 一、内部类 1、内部类初识 一般,一个类里主要包含类的方法和属性,但在Java中还提出在类中继续定义类(内部类)的概念。 内部类的定义:类的内部定义类 先来看一个实例 [html]  view plain copy pu

string字符会调用new分配堆内存吗

gcc的string默认大小是32个字节,字符串小于等于15直接保存在栈上,超过之后才会使用new分配。