一、new operator的工作原理
当调用一个new operator的时候,其实编译器会做三件事情:
1、为对象分配内存
2、在已经分配的内存上初始化对象(调用class的构造函数初始化对象)
3、返回对象类型指针,程序可通过此指针访问新生成的对象
那么1中是如何分配内存的呢?其实是new operator调用了函数operator new来完成的。而且new operator调用函数operator new的时候是按照编译器固定的逻辑。对于任意的非class,struct或者union类型的对象或数组,编译器都会直接调用全局函数::operator new。对于class,struct或者union这些Class-type的对象,则编译器会优先尝试去调用type类型object自己的operator new函数,调用形式为type::operator new( sizeof(type) ),如果type类型的object自己并没有定义operator new,则编译器会直接调用全局函数::operator new( sizeof(type) )。
即使Class-type类型的对象已经定义了自己的operator new函数,也可以通过在new关键字前面加全局作用域符号::来告诉编译器,即使对象自己定义了自己的operator new函数,也要用全局的operator new函数。如:
T *TObject =::new TObject;
所以,对于像int,float,char等非Class-type的这些c++自带类型,使用new来生成对象时(无论关键字new前面加没加全局作用域符号::),编译器都是直接调用全局函数::operator new。对于class,struct,union这些Class-type的类型,它们都能定义自己的operator new函数,如果关键字new前面加没加全局作用域符号::,则调用自定义的operator new函数,否则直接调用全局的::operator new函数。
二、Class-type类型对象自定义的函数type::operator new( sizeof(type) )
对于没有全局作用域符号::的new关键字,编译器会优先尝试自定义的type::operator new( sizeof(type) )函数。而函数type::operator new是如何查找的呢?它是按照c++的名字 查找规则,现在类域type::里查找,如果找到名字为operator new的函数则停止(无论是否匹配);如果没有找到,则class type的基类(如果有基类的话)域里找,如果找到名字为operator new的函数则停止(无论是否匹配);否则就是没有找到。
三、new operator异常情况
如果一中的步骤1成功,而2失败,则c++会保证步骤1中分配的内存会被释放掉。
如new一个class对象实例,在步骤2中调用class的构造函数初始化对象时发生异常,则步骤1中分配的内存会被释放掉,但它的析构函 数不会被调用。但是class对象实例的已经完成实例化的成员对象会成功析构。局部变量等都会在清栈时是会被释放掉的,故局部变量的析构函数也会被调用。但成员指针变量和局部指针变量在清栈时只会释放掉指针变量本身所占的内存,而不会调用delete去释放掉该指针指向的空间。
四、operator new屏蔽
如果class中自定义了一个operator new函数,则标准的global三个版本的operator new都会被屏蔽掉(原因就是c++名字查找规则)。
如:
class Test
{
public:
Test() { }
~Test(){ }
};
int main()
{
Test* d = new (std::nothrow) Test; //编译成功
return 0;
}
修改新版本如下:
class Test
{
public:
Test() { }
~Test(){ }
void* operator new(size_t size)
{
char* pstr = new char[size];
return pstr;
}
void operator delete(void* ptr)
{
::delete[] (char*)ptr;
}
};
int main()
{
Test* d = new (std::nothrow) Test; //编译失败,标准的global函数被屏蔽掉了
return 0;
当调用一个new operator的时候,其实编译器会做三件事情:
1、为对象分配内存
2、在已经分配的内存上初始化对象(调用class的构造函数初始化对象)
3、返回对象类型指针,程序可通过此指针访问新生成的对象
那么1中是如何分配内存的呢?其实是new operator调用了函数operator new来完成的。而且new operator调用函数operator new的时候是按照编译器固定的逻辑。对于任意的非class,struct或者union类型的对象或数组,编译器都会直接调用全局函数::operator new。对于class,struct或者union这些Class-type的对象,则编译器会优先尝试去调用type类型object自己的operator new函数,调用形式为type::operator new( sizeof(type) ),如果type类型的object自己并没有定义operator new,则编译器会直接调用全局函数::operator new( sizeof(type) )。
即使Class-type类型的对象已经定义了自己的operator new函数,也可以通过在new关键字前面加全局作用域符号::来告诉编译器,即使对象自己定义了自己的operator new函数,也要用全局的operator new函数。如:
T *TObject =::new TObject;
所以,对于像int,float,char等非Class-type的这些c++自带类型,使用new来生成对象时(无论关键字new前面加没加全局作用域符号::),编译器都是直接调用全局函数::operator new。对于class,struct,union这些Class-type的类型,它们都能定义自己的operator new函数,如果关键字new前面加没加全局作用域符号::,则调用自定义的operator new函数,否则直接调用全局的::operator new函数。
二、Class-type类型对象自定义的函数type::operator new( sizeof(type) )
对于没有全局作用域符号::的new关键字,编译器会优先尝试自定义的type::operator new( sizeof(type) )函数。而函数type::operator new是如何查找的呢?它是按照c++的名字 查找规则,现在类域type::里查找,如果找到名字为operator new的函数则停止(无论是否匹配);如果没有找到,则class type的基类(如果有基类的话)域里找,如果找到名字为operator new的函数则停止(无论是否匹配);否则就是没有找到。
三、new operator异常情况
如果一中的步骤1成功,而2失败,则c++会保证步骤1中分配的内存会被释放掉。
如new一个class对象实例,在步骤2中调用class的构造函数初始化对象时发生异常,则步骤1中分配的内存会被释放掉,但它的析构函 数不会被调用。但是class对象实例的已经完成实例化的成员对象会成功析构。局部变量等都会在清栈时是会被释放掉的,故局部变量的析构函数也会被调用。但成员指针变量和局部指针变量在清栈时只会释放掉指针变量本身所占的内存,而不会调用delete去释放掉该指针指向的空间。
四、operator new屏蔽
如果class中自定义了一个operator new函数,则标准的global三个版本的operator new都会被屏蔽掉(原因就是c++名字查找规则)。
如:
class Test
{
public:
Test() { }
~Test(){ }
};
int main()
{
Test* d = new (std::nothrow) Test; //编译成功
return 0;
}
修改新版本如下:
class Test
{
public:
Test() { }
~Test(){ }
void* operator new(size_t size)
{
char* pstr = new char[size];
return pstr;
}
void operator delete(void* ptr)
{
::delete[] (char*)ptr;
}
};
int main()
{
Test* d = new (std::nothrow) Test; //编译失败,标准的global函数被屏蔽掉了
return 0;
}
参考:
http://msdn.microsoft.com/en-us/library/y1w9bk0b.aspx