详解C++中new运算符和delete运算符的使用

 更新时间:2016年01月25日 16:53:04   投稿:goldensun  
这篇文章主要介绍了C++中new运算符和delete运算符的使用,文章来自于微软开发者文档,因而根据Visual C++的一些特性来进行讲解,需要的朋友可以参考下

C++ 支持使用 new 和 delete 运算符动态分配和释放对象。这些运算符为来自称为“自由存储”的池中的对象分配内存。 new 运算符调用特殊函数 operator new,delete 运算符调用特殊函数 operator delete。
在 Visual C++ .NET 2002 中,标准 C++ 库中的 new 功能将支持 C++ 标准中指定的行为,如果内存分配失败,则会引发 std::bad_alloc 异常。
如果内存分配失败,C 运行库的 new 函数也将引发 std::bad_alloc 异常。
如果您仍需要 C 运行库的 new 的非引发版本,请将您的程序链接到 nothrownew.obj。但是,当您链接到 nothrownew.obj 时,标准 C++ 库中的 new 将不再起作用。

调用 new 运算符
在程序中遇到以下语句时,它将转换为对函数 operator new 的调用:

char *pch = new char[BUFFER_SIZE];

如果请求针对零字节存储,operator new 将返回一个指向不同的对象的指针(即对 operator new 的重复调用将返回不同的指针)。如果分配请求没有足够的内存,则 operator new 将返回 NULL 或引发异常(有关详细信息,请参阅 )。
可以编写尝试释放内存的例程并重试分配;有关详细信息,请参阅 _set_new_handler。有关恢复方案的更多详细信息,请参阅以下主题:处理内存不足的情况。
下表中描述了 operator new 函数的两个范围。
operator new 函数的范围

运算符 范围
::operator new 全局
class-name ::operator new

operator new 的第一个参数的类型必须为 size_t(STDDEF.H 中定义的类型),并且返回类型始终为 void *。
在使用 new 运算符分配内置类型的对象、不包含用户定义的 operator new 函数的类类型的对象和任何类型的数组时,将调用全局 operator new 函数。在使用 new 运算符分配类类型的对象时(其中定义了 operator new),将调用该类的 operator new。
为类定义的 operator new 函数是静态成员函数(因此,它不能是虚函数),该函数隐藏此类类型的对象的全局 operator new 函数。考虑 new 用于分配内存并将内存设为给定值的情况:

// spec1_the_operator_new_function1.cpp
#include <malloc.h>
#include <memory.h>

class Blanks
{
public:
 Blanks(){}
 void *operator new( size_t stAllocateBlock, char chInit );
};
void *Blanks::operator new( size_t stAllocateBlock, char chInit )
{
 void *pvTemp = malloc( stAllocateBlock );
 if( pvTemp != 0 )
  memset( pvTemp, chInit, stAllocateBlock );
 return pvTemp;
}
// For discrete objects of type Blanks, the global operator new function
// is hidden. Therefore, the following code allocates an object of type
// Blanks and initializes it to 0xa5
int main()
{
 Blanks *a5 = new(0xa5) Blanks;
 return a5 != 0;
}

用括号包含的提供给 new 的参数将作为 Blanks::operator new 参数传递给 chInit。但是,全局 operator new 函数将被隐藏,从而导致以下代码生成错误:

Blanks *SomeBlanks = new Blanks;

在 Visual C++ 5.0 和早期版本中,使用 new 运算符分配的非类类型和所有数组(无论其类型是否为 class)始终使用全局 operator new函数。
从 Visual C++ 5.0 开始,编译器支持类声明中的成员数组 new 和 delete 运算符。例如:

// spec1_the_operator_new_function2.cpp
class MyClass
{
public:
 void * operator new[] (size_t)
 {
  return 0;
 }
 void operator delete[] (void*)
 {
 }
};

int main() 
{
 MyClass *pMyClass = new MyClass[5];
 delete [] pMyClass;
}

处理内存不足
对失败的内存分配进行测试可以通过如下编码实现:

// insufficient_memory_conditions.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;
#define BIG_NUMBER 100000000
int main() {
 int *pI = new int[BIG_NUMBER];
 if( pI == 0x0 ) {
  cout << "Insufficient memory" << endl;
  return -1;
 }
}

处理失败的内存分配要求的其他方法:编写自定义恢复例程来处理此类失败,然后通过调用 _set_new_handler 运行时函数来注册您的函数。
delete 运算符
可使用 delete 运算符释放使用 new 运算符动态分配的内存。delete 运算符调用 operator delete函数,该函数将内存释放回可用池。使用 delete 运算符也会导致调用类析构函数(如果有)。
存在全局和类范围的 operator delete函数。只能为给定类定义一个 operator delete函数;如果定义了该函数,它会隐藏全局 operator delete函数。始终为所有类型的数组调用全局 operator delete函数。
全局 operator delete函数(如果已声明)采用 void * 类型的单个参数,该参数包含指向要释放的对象的指针。返回类型是 void(operator delete 无法返回值)。类成员 operator delete 函数有两种形式:

void operator delete( void * );
void operator delete( void *, size_t );

给定类中只存在前面两个变量中的一个。第一个形式按照为全局 operator delete 描述的那样运行。第二个形式采用两个参数,第一个是指向要释放的内存块的指针,第二个是要释放的字节的数量。当基类中的 operator delete 函数用于删除派生类的对象时,第二个形式特别有用。
operator delete 函数是静态的;因此它不能是虚函数。 operator delete 函数服从访问控制,如成员访问控制中所述。
以下示例显示旨在记录内存的分配和释放的用户定义的 operator new 和 operator delete 函数:

// spec1_the_operator_delete_function1.cpp
// compile with: /EHsc
// arguments: 3
#include <iostream>
using namespace std;

int fLogMemory = 0;  // Perform logging (0=no; nonzero=yes)?
int cBlocksAllocated = 0; // Count of blocks allocated.

// User-defined operator new.
void *operator new( size_t stAllocateBlock ) {
 static int fInOpNew = 0; // Guard flag.

 if ( fLogMemory && !fInOpNew ) {
  fInOpNew = 1;
  clog << "Memory block " << ++cBlocksAllocated
   << " allocated for " << stAllocateBlock
   << " bytes\n";
  fInOpNew = 0;
 }
 return malloc( stAllocateBlock );
}

// User-defined operator delete.
void operator delete( void *pvMem ) {
 static int fInOpDelete = 0; // Guard flag.
 if ( fLogMemory && !fInOpDelete ) {
  fInOpDelete = 1;
  clog << "Memory block " << cBlocksAllocated--
   << " deallocated\n";
  fInOpDelete = 0;
 }

 free( pvMem );
}

int main( int argc, char *argv[] ) {
 fLogMemory = 1; // Turn logging on
 if( argc > 1 )
  for( int i = 0; i < atoi( argv[1] ); ++i ) {
   char *pMem = new char[10];
   delete[] pMem;
  }
 fLogMemory = 0; // Turn logging off.
 return cBlocksAllocated;
}

前面的代码可用于检测“内存溢出”,即在自由储存中分配但从未释放过的内存。若要执行此检测,则应重新定义全局 new 和 delete 运算符以计算内存的分配和释放。
从 Visual C++ 5.0 开始,编译器支持类声明中的成员数组 new 和 delete 运算符。例如:

// spec1_the_operator_delete_function2.cpp
// compile with: /c
class X {
public:
 void * operator new[] (size_t) {
  return 0;
 }
 void operator delete[] (void*) {}
};

void f() {
 X *pX = new X[5];
 delete [] pX;
}

相关文章

  • C++使用windwos api实现获取计算机基本信息

    C++使用windwos api实现获取计算机基本信息

    这篇文章主要为大家详细介绍了C++如何使用windwos api实现获取windwos计算机的基本信息,包括计算机名称、操作系统版本、处理器信息等,需要的可以参考一下
    2023-04-04
  • C++实现堆排序实例介绍

    C++实现堆排序实例介绍

    大家好,本篇文章主要讲的是C++实现堆排序实例介绍,感兴趣的同学赶快来看一看吧,对你有帮助的话记得收藏一下,方便下次浏览
    2021-12-12
  • C++编写生成不重复的随机数代码

    C++编写生成不重复的随机数代码

    本文给大家汇总介绍了3种c++实现生成不重复的随机数的函数,十分的简单实用,有需要的小伙伴可以参考下。
    2015-05-05
  • VS中动态库的创建和调用方式详解

    VS中动态库的创建和调用方式详解

    库的存在形式本质上来说库是一种可执行代码的二进制,​ 静态库和动态库的区别主要是在链接阶段处理库的方式不同而区分的,本文介绍VS中动态库的创建和调用方式,感兴趣的朋友一起看看吧
    2024-01-01
  • C++中std::tuple和std::pair的高级用法

    C++中std::tuple和std::pair的高级用法

    本文主要介绍了C++标准库中std::pair和std::tuple的使用,包括它们的基本概念、使用场景、区别以及高级用法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2024-11-11
  • C语言实现程序开机自启动

    C语言实现程序开机自启动

    本文给大家分享的是一则C语言实现开机自启动的代码,主要是通过C来获取程序路径修改注册表项来实现,有需要的小伙伴可以参考下
    2016-01-01
  • C++顺序表实现图书管理系统

    C++顺序表实现图书管理系统

    这篇文章主要为大家详细介绍了C++顺序表实现图书管理系统,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2021-10-10
  • C++实现双向冒泡排序算法

    C++实现双向冒泡排序算法

    这篇文章主要为大家详细介绍了C++实现双向冒泡排序算法,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-04-04
  • C++ vector容器缩小capacity问题

    C++ vector容器缩小capacity问题

    这篇文章主要介绍了C++ vector容器缩小capacity问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教
    2023-08-08
  • 深入探究C语言中的二叉树

    深入探究C语言中的二叉树

    树是一种非线性的数据结构,它是由n(n>=0)个有限结点组成一个具有层次关系的集合。把它叫做树是因 为它看起来像一棵倒挂的树,也就是说它是根朝上,而叶朝下的。本文将带你深入探究C语言中的二叉树,感兴趣的同学跟着小编一起学习吧
    2023-05-05

最新评论