关于c++ new操作符的重载
你知道c++ 的new 操作符和operator new 的区别么?也许你还会问,他们有区别吗?
当你写下面这样的代码时,
string *pa = new string("memory managerment");
你使用的是new 操作符,这个操作符和sizeof 一样,是c++ 语言级别支持的。你不能改变它的语义,它做的事情总是不变的:分配足够的内存以容纳对象,然后调用构造函数初始化上一步所分配的内存。New 操作符总是做这两件事情,你不能改变它的行为。
你所能改变的只是第一步的行为,如何为对象分配RAW 内存。operator new 函数用来为对象分配原始内存。New操作符的第一步调用的就是operator new 。你可以重载这个函数。它的原型如下:
Void* operator new(size_t size);
函数的返回值是void*, 因为这个函数返回的是指针。这个指针指向原生的,为初始化的内存。其语义就像malloc 。实际上它内部调用的就是malloc 。参数size 指定待分配的内存大小。你可以在重载的时候加上额外的参数,但是第一个参数类型必须是size_t.
绝大多数情况下,你不需要调用operator new, 万一你需要调用它,调用的格式是这样的:
Void* rawmemory = operator new(sizeof(string));
函数operator new 将返回一个指针,指向一块足够容纳一个string 对象的内存。
就像malloc 一样,operator new 的唯一的职责就是分配内存,它对构造函数一无所知。把operator new 返回的未初始化的指针构造成一个对象是new 操作符的工作。当你的编译器遇到以下的代码时:
string *pa = new string("memory managerment");
它生成的伪代码类以如下:
Void* memory = operator new(sizeof(string));
call string::string("memory managerment") on memory ;
string* Pa = static_cast<string*>(memory);
第二布包含了构造函数的调用。这是你的编译器调用的。那么你不紧会问,程序员可以手动调用构造函数吗?答案是否定的。但是编译器同时给你提供了另外一个折中,是你可以达到这个目的。
需要说明的是,在一个已存在的对象上调用构造函数是没有任何意义的。因为构造函数用来初始化对象。但是有时候有一些内存已经被分配但是尚未初始化,你需要在这些内存中构造一个对象。你可以使用operator new 函数的一个特殊版本。一个术语叫 placement new 的函数来做这件事情。
回到前面那个字符串的例子,我们可以这样使用placement new :
Void* memory = operator new(sizeof(string));
String* pa = new (memory) string("memory managerment");
以上两句就相当于new 操作符所做的事情了。
这就是operator new 和placement new 的全部秘密。一般的来说,你不需要重载和显式调用这两个函数。
重载new和delete的格式如下:
void *operator new (size_t size)
{
.......//完成分配工作
return pointer_to_memory;
}
void operator delete(void *p)
{
......//释放由p指向的存储空间
}
1.局部重载new和delete(可以使用成员函数和友元函数两种方式重载)
使用new分配某个重载了new的累的对象空间时,先调用new的重载函数,再调用该类的构造函数,如果该类的构造函数有参数要求,则必须给出对应的实参。
使用了delete释放某个重载了delete的累的对象空间时,先调用类的析构函数,然后再调用重载的delete函数。
#include <iostream>
#include <stdlib.h>
#include <string.h>
using namespace std;
class three_d
{
private:
int x,y,z;
public:
three_d(int a,int b,int c);
~three_d()
{
cout << "Destructing\n";
}
void *operator new(size_t size);
void operator delete(void *p);
friend ostream & operator <<(ostream &stream,three_d obj);
};
three_d::three_d(int a,int b,int c)
{
cout << "Constructing\n";
x = a;
y = b;
z = c;
}
void *three_d::operator new(size_t size)
{
cout << "in threee_d new\n";
return malloc(size);
}
void three_d::operator delete(void *p)
{
cout << "in three_d delete\n" ;
free(p);
}
ostream &operator <<(ostream &os,three_d obj)
{
os << obj.x << ",";
os << obj.y << ",";
os << obj.z << "\n";
return os;
}
int main(int argc,char *argv[])
{
three_d *p = new three_d(1,2,3);
three_d *p1 = new three_d(4,5,6);
if(!p || !p1)
{
cout << "Allocation failure" << endl;
return 1;
}
cout << *p << *p1;
delete p;
delete p1;
int *pnum;
pnum = new int;
*pnum = 0;
cout << "num = " << *pnum << endl;
delete pnum;
cout << "Application Run Successfully!" << endl;
return 0;
}
2.全局重载new和delete
可以在任何类说明之外重在new和delete,使它们成为全局的。当new和delete被重载为全局时,C++原来的new与delete被忽略,并且重载的运算符用于所有类型(包括标准型和用户定义类型)的分配要求。
#include <iostream>
#include <stdlib.h>
#include <string.h>
using namespace std;
class three_d
{
private:
int x,y,z;
public:
three_d(int a,int b,int c);
~three_d()
{
cout << "Destructing\n";
}
friend ostream & operator <<(ostream &stream,three_d obj);
};
three_d::three_d(int a,int b,int c)
{
cout << "Constructing\n";
x = a;
y = b;
z = c;
}
void *operator new(size_t size)
{
cout << "in threee_d new\n";
return malloc(size);
}
void operator delete(void *p)
{
cout << "in three_d delete\n" ;
free(p);
}
ostream &operator <<(ostream &os,three_d obj)
{
os << obj.x << ",";
os << obj.y << ",";
os << obj.z << "\n";
return os;
}
int main(int argc,char *argv[])
{
three_d *p = new three_d(1,2,3);
three_d *p1 = new three_d(4,5,6);
if(!p || !p1)
{
cout << "Allocation failure" << endl;
return 1;
}
cout << *p << *p1;
delete p;
delete p1;
int *pnum;
pnum = new int;
*pnum = 0;
cout << "num = " << *pnum << endl;
delete pnum;
cout << "Application Run Successfully!" << endl;
return 0;
}