浅析C++ new的三种面貌

1.new的三种面貌

C++中使用new运算符产生一个存在于Heap(堆)上对象时,实际上调用了operator new()函数和placement new()函数。在使用new创建堆对象时,我们要清楚认清楚new的三种面貌,分别是:new operator、operator new()和placement new()。

1.1new operator

new operator是C++保留的关键字,我们无法改变其含义,但我们可以改变new完成它功能时调用的两个函数,operator new()和placement new()。也就是说我们在使用运算符new时,其最终是通过调用operator new()和placement new()来完成堆对象的创建工作。使用new operator时,其完成的工作有如下三步:

因此,当我们经常按照如下方式使用new operator时:

string* sp=new string(“hello world”);

实际上等价于:

//第一步:申请原始空间,行为类似于malloc
void* raw=operator new(strlen(“hello world”));
//第二步:通过placement new调用string类的构造函数,初始化申请空间
new (raw) string(“hello world”);
//第三部:返回对象指针
string* sp=static_cast<string*>(raw);

1.2operator new()

operator new()用于申请Heap空间,功能类似于C语言的库函数malloc(),尝试从堆上获取一段内存空间,如果成功则直接返回,如果失败则转而去调用一个new handler,然后抛出一个bad_alloc异常。operator new()的函数原型一般为

void* operator new (std::size_t size) throw (std::bad_alloc);

具体实现如下:

void *__CRTDECL operator new(size_t size) throw (std::bad_alloc)
{
  // try to allocate size bytes
  void *p;
  while ((p = malloc(size)) == 0)   //申请空间
    if (_callnewh(size) == 0)    //若申请失败则调用处理函数
    {
      // report no memory
      static const std::bad_alloc nomem;
      _RAISE(nomem);        //#define _RAISE(x) ::std:: _Throw(x) 抛出nomem的异常
    }
  return (p);
}

注意:

(1)函数后添加throw表示可能会抛出throw后括号内的异常;
(2)operator new()分为全局和类成员。当为类成员函数时,使用new产生类对象时调用的则是其成员函数operator new()。如果要重载全局的operator new会改变所有默认的operator new的方式,所以必须要注意。正如new与delete相互对应,operator new与operator delete也是一一对应,如果重载了operator new,那么理应重载operator delete。

placement new():

一般来说,使用new申请空间时,是从系统的堆中分配空间,申请所得空间的位置根据当时内存实际使用情况决定。但是,在某些特殊情况下,可能需要在程序员指定的特定内存创建对象,这就是所谓的“定位放置new”(placement new)操作。placement new()是一个特殊的operator new(),因为其是operator new()函数的重载版本,只是取了个别名叫作placement new罢了。作用是在已经获得的堆空间上调用类构造函数来初始化对象,也就是定位构造对象。通常情况下,构造函数是由编译器自动调用的,但是不排除程序员手动调用的可能性,比如对一块未初始化的内存进行处理,获得想要的对象,这是需要求助于placement new()。placement new()是C++标准库的一部分,被申明在头文件<new>中,其函数原型是:

void* operator new(std::size_t, void* __p);

具体实现如下:

void* operator new(std::size_t, void* __p) throw()
{
  return __p;
}

注意:

(1)placement new()的函数原型不是void* placement new(std::size_t, void* __p) ;
(2)placement new只是operator new()的一个重载,多了一个已经申请好的空间,由void* __p指定;
(3)用法是new (addr) constructor(),对addr指定的内存空间调用构造函数进行初始化。为何称为placement new,从其用法可以看出只是用于调用构造函数。

定位放置new操作的语法形式不同于普通的new操作。例如,一般都用如下语句A* p=new A;申请空间,而定位放置new操作则使用如下语句A* p=new (ptr) A;申请空间,其中ptr就是程序员指定的内存首地址。考察如下程序。

#include <iostream>
using namespace std;

class A{
  int num;
public:
  A(){
    cout<<"A's constructor"<<endl;
  }

  ~A(){
    cout<<"~A"<<endl;
  }
  void show(){
    cout<<"num:"<<num<<endl;
  }
};

int main(){
  char mem[100];
  mem[0]='A';
  mem[1]='\0';
  mem[2]='\0';
  mem[3]='\0';
  cout<<(void*)mem<<endl;
  A* p=new (mem) A;
  cout<<p<<endl;
  p->show();
  p->~A();
  getchar();
}

程序运行结果:

0024F924
A's constructor
0024F924
num:65
~A

阅读以上程序,注意以下几点。

(1)用定位放置new操作,既可以在栈(stack)上生成对象,也可以在堆(heap)上生成对象。如本例就是在栈上生成一个对象。

(2)使用语句A* p=new (mem) A;定位生成对象时,指针p和数组名mem指向同一片存储区。所以,与其说定位放置new操作是申请空间,还不如说是利用已经请好的空间,真正的申请空间的工作是在此之前完成的。

(3)使用语句A *p=new (mem) A;定位生成对象是,会自动调用类A的构造函数,但是由于对象的空间不会自动释放(对象实际上是借用别人的空间),所以必须显示的调用类的析构函数,如本例中的p->~A()。

(4)万不得已才使用placement new,只有当你真的在意对象在内存中的特定位置时才使用它。例如,你的硬件有一个内存映像的I/O记时器设备,并且你想放置一个Clock对象在哪那个位置。

总结:

(1)若想在堆上建立一个对象,应该用new操作符。它既分配内存又调用其构造函数进行初始化。
(2)若仅仅想分配内存,应该调用operator new(),他不会调用构造函数。若想定制自己在堆对象被建立时的内存分配过程,应该重写自己的operator new()。
(3)若想在一块已经获得的内存空间上建立一个对象,应该用placement new。虽然在实际开发过程中,很少需要重写operator new(),使用内置的operator new()即可完成大部分程序所需的功能。但知道这些,有助于一个C++程序猿对C++内存的管理有个清楚的认识。

2.了解delete和operator delete()

为了避免内存泄漏,每个动态内存分配必须与一个等同相反的 deallocation 对应。数operator delete与delete操作符的关系与operator new与new操作符是一样的。delete用于使用使用new申请的空间,operator delete用于释放operator new申请的空间(类似于malloc与free),那谁来清理placement new初始化的内存内容呢?唯一办法就是调用对象的析构函数。

示例代码:

string* sp=new string(“hello world”);
delete sp;

第一行代码在上文已经剖析,那么当调用delete sp时,发生了什么?

delete sp等价于:

ps->~string(); //用于清理内存内容,对应placement new
operator delete(ps);//释放内存空间,对应于operator new()

其中operator delete()的函数原型为:

void operator delete(void *memoryToBeDeallocated);

以上就是浅析C++ new的三种面貌的详细内容,更多关于C++ new的资料请关注我们其它相关文章!

(0)

相关推荐

  • 深入浅析C++的new和delete

    new和delete的内部实现 C++中如果要在堆内存中创建和销毁对象需要借助关键字new和delete来完成.比如下面的代码 class CA { public: CA()m_a(0){} CA(int a):m_a(a){} virtual void foo(){ cout<<m_a<<endl;} int m_a; }; void main() { CA *p1 = new CA; CA *p2 = new CA(10); CA *p3 = new CA[20]; delet

  • C++动态内存分配(new/new[]和delete/delete[])详解

    C++动态内存分配(new/new[]和delete/delete[])详解 为了解决这个普通的编程问题,在运行时能创建和销毁对象是基本的要求.当然,C已提供了动态内存分配函数malloc( )和free( ),以及malloc( )的变种(realloc:改变分配内存的大小,calloc:指针指向内存前初始化),这些函数在运行时从堆中(也称自由内存)分配存储单元,但是运用这些库函数需要计算需要开辟内存的大小,容易出现错误. 那么通常我们在C语言中我们开辟内存的方式如下: (void*)mall

  • C++中new和delete的使用方法详解

    C++中new和delete的使用方法详解 new和delete运算符用于动态分配和撤销内存的运算符 new用法:           1.     开辟单变量地址空间 1)new int;  //开辟一个存放数组的存储空间,返回一个指向该存储空间的地址.int *a = new int 即为将一个int类型的地址赋值给整型指针a. 2)int *a = new int(5) 作用同上,但是同时将整数赋值为5           2.     开辟数组空间 一维: int *a = new in

  • C++ 使用new与delete需注意的原则

    C++的动态内存管理是通过new和delete两个操作来完成的,即用new来申请空间,用delete来释放空间.在使用new和delete时,注意以下原则. 1.new与delete需一一对应 用new操作申请空间,如果申请成功,必须在以后的某个时刻用delete释放该空间,既不能忘记释放,也不能多次释放.前者会引起内存泄露,后者会引起运行时错误.如下面的程序. #include <iostream> using namespace std; int main() { int *p; p=ne

  • C++中用new创建二维数组和指针数组实例代码

    使用new 创建二维数组方法 #include <iostream> using namespace std; void main() { //用new创建一个二维数组,有两种方法,是等价的 //一: int (*p)[10] = new int[5][10]; //二: int **p = new int* [5]; for(int i=0;i <5;i++) p[i] = new int[10]; //指针数组的创建,也有两种方法 //一: char **pa = new char*

  • C++ 中placement new 操作符使用方法

    C++ 中placement new 操作符使用方法 placement new操作符能够在分配内存时指定内存位置.下面的程序使用了placement new操作符和常规new操作符给对象分配内存. // placenew.cpp -- new, placement new, no delete #include <iostream> #include <string> #include <new> using namespace std; const int BUF

  • Java和C++通过new创建的对象有何区别?

    前言 本文我们不去谈int.float.char等基本数据类型,而是用一般的类来说明.因为Java中可以直接通过 int varName 的方式来定义和使用一个基本类型的变量,但对于其它一般类型的对象,必须使用 new 来创建. 因此,为了更一般性地分析,体现两种语言创建对象的差异,我们用自定义的类 Student 进行说明,以下内容均针对一般的类而言. Java 在 Java 中,我们可以通过如下方式定义变量: Student s; //定义标识符s,没有实际空间 Student s = ne

  • C++ 构造函数中使用new时注意事项

    使用new初始化对象中的指针成员时遇到的问题 在构造函数中使用new初始化指针成员,那么析构函数中就必须使delete,并且new对应delete, new[]则对应于delete[]. 在有多个构造函数的情况下,必须以相同的方式使用new,要不用new,要不用new[],因为只存在一个析构函数,所有的构造函数都必须与虚构函数相兼容. PS. 当然在构造函数中使用new初始化指针的时候,可以把指针初始化为空(0/NULL 或者是C++11中的nullptr),因为delete不管有没带[]都与空

  • 浅析C++ new的三种面貌

    1.new的三种面貌 C++中使用new运算符产生一个存在于Heap(堆)上对象时,实际上调用了operator new()函数和placement new()函数.在使用new创建堆对象时,我们要清楚认清楚new的三种面貌,分别是:new operator.operator new()和placement new(). 1.1new operator new operator是C++保留的关键字,我们无法改变其含义,但我们可以改变new完成它功能时调用的两个函数,operator new()和

  • 浅析Android中常见三种弹框在项目中的应用

    一丶概述 弹框在Android项目中经常出现,常见的实现方法有三种:Dialog 弹框,Window弹框,Activity伪弹框.本文就说一说三种弹框的实现及在项目中的运用. 二丶演示图         图一为常见的三种弹框(文末上链接),图二为项目中用到的Activity伪弹框 三丶正文 1.Dialog弹框 先看一篇一篇文章: android 8种对话框(Dialog)使用方法汇总 Dialog是系统自带的弹框,然而常常因为UI不好看而遭嫌弃,常需要自定义 public class MyDi

  • 深入浅析JavaScript中对事件的三种监听方式

    事件(Event)是JavaScript应用跳动的心脏,也是把所有东西粘在一起的胶水,当我们与浏览器中Web页面进行某些类型的交互时,事件就发生了. 第一种监听方式,也是最普遍使用的方式,是直接在代码上加载事件,产生效果: <table> <tr onmouseover='this.style.backgroundColor="red"' onmouseout='this.style.backgroundColor=""'><td>

  • Spring依赖注入的三种方式实例详解

    Spring依赖注入(DI)的三种方式,分别为: 1. 接口注入 2. Setter方法注入 3. 构造方法注入 下面介绍一下这三种依赖注入在Spring中是怎么样实现的. 首先我们需要以下几个类: 接口 Logic.java 接口实现类 LogicImpl.java 一个处理类 LoginAction.java 还有一个测试类 TestMain.java Logic.java如下: package com.spring.test.di; public interface Logic { pub

  • jquery 将disabled的元素置为enabled的三种方法

    这里发现可以采用三种的变通方法将置为disabled的元素状态改为enabled. 第一种:改变disabled的boolean状态,具体代码及解释如下: 复制代码 代码如下: $("button:eq(2)").click(function(){ var text2=$("input:text:eq(2)"); if(text2.attr("disabled")==false){ //通过设置disabled的boolean属性将第三个text

  • Backbone View 之间通信的三种方式

    在上篇文章给大家介绍了Backbone中View之间传值的学习心得.本文重点给大家介绍Backbone View 之间通信的三种方式. 掌握一个 MVC 框架,最关键的一节就是掌握如何在各个 View 之间通信.之前用 Angular 时,觉得基于事件的通信方式 ($on, $emit, $boardcast) 或者 基于 service 的方式都非常好用.转战 Backbone 之后,由于对 Backbone 的事件机制理解不够且使用非常灵活,一直没找到一个好的通信方式.直到看见这篇文章,作者

  • Spark三种属性配置方式详解

    随着Spark项目的逐渐成熟, 越来越多的可配置参数被添加到Spark中来.在Spark中提供了三个地方用于配置: 1.Spark properties:这个可以控制应用程序的绝大部分属性.并且可以通过 SparkConf对象或者Java 系统属性进行设置: 2.环境变量(Environment variables):这个可以分别对每台机器进行相应的设置,比如IP.这个可以在每台机器的$SPARK_HOME/ conf/spark-env.sh脚本中进行设置: 3.日志:所有的日志相关的属性可以

  • iOS设置圆角的三种方法

    本文实例为大家分享了iOS设置圆角的三种方式,供大家参考,具体内容如下 第一种方法:通过设置layer的属性 最简单的一种,但是很影响性能,一般在正常的开发中使用很少. UIImageView *imageView = [[UIImageView alloc]initWithFrame:CGRectMake(100, 100, 100, 100)]; //只需要设置layer层的两个属性 //设置圆角 imageView.layer.cornerRadius = imageView.frame.

  • iOS毛玻璃效果的实现及图片模糊效果的三种方法

    App设计时往往会用到一些模糊效果或者毛玻璃效果,iOS目前已提供一些模糊API可以让我们方便是使用. 话说苹果在iOS7.0之后,很多系统界面都使用了毛玻璃效果,增加了界面的美观性,比如下图的通知中心界面; 但是其iOS7.0的SDK并没有提供给开发者实现毛玻璃效果的API,所以很多人都是通过一些别人封装的框架来实现,后面我也会讲到一个; 其实在iOS7.0(包括)之前还是有系统的类可以实现毛玻璃效果的, 就是 UIToolbar这个类,并且使用相当简单,几行代码就可以搞定. 下面是代码实现:

  • 浅谈iOS中三种生成随机数方法

    ios 有如下三种随机数方法: //第一种 srand((unsigned)time(0)); //不加这句每次产生的随机数不变 int i = rand() % 5; //第二种 srandom(time(0)); int i = random() % 5; //第三种 int i = arc4random() % 5 ; 注: ① rand()和random()实际并不是一个真正的伪随机数发生器,在使用之前需要先初始化随机种子,否则每次生成的随机数一样. ② arc4random() 是一个

随机推荐