在程序编写的过程中,有条错误信息让我很不解。程序中有如下语句: bmPhoto = new Bitmap( THUMBNAIL_WIDTH, THUMBNAIL_HEIGHT, PixelFormat24bppRGB ); 每次DEBUG编译的时候总是报告如下的错误: error C2660: 'new' : function does not take 3 parameters 开始以为是Bitmap的构造函数的问题,但是查了一下,Bitmap明明有个构造函数: Bitmap(IN INT width, IN INT height, IN PixelFormat format = PixelFormat32bppARGB); 那会是什么问题呢?上网讨论了一下,最终将问题锁定在MFC程序中的这样一个宏定义上: #ifdef _DEBUG #define new DEBUG_NEW #undef THIS_FILE static char THIS_FILE[] = __FILE__; #endif 这几行从来都不会引起我们注意的代码有什么问题呢?为什么会使得我们的代码报告如上所述的编译错误呢? 让我们来看看DEBUG_NEW的定义(在afx.h中): #if defined(_DEBUG) && !defined(_AFX_NO_DEBUG_CRT)
// Memory tracking allocation void* AFX_CDECL operator new(size_t nSize, LPCSTR lpszFileName, int nLine); #define DEBUG_NEW new(THIS_FILE, __LINE__) #if _MSC_VER >= 1200 void AFX_CDECL operator delete(void* p, LPCSTR lpszFileName, int nLine); #endif 看到这里你可能会想,new被define成了DEBUG_NEW,而后者又被define成了new(...),这不是成了个循环?非也。由于afx.h早于任何其它头文件被包含(stdafx.h包含afxwin.h,afxwin.h又包含了afx.h,而MFC要求我们在任何有效代码之前包含stdafx.h,当然,这不是必须的),所以DEBUG_NEW的定义早于后面的#define new DEBUG_NEW,也就是说这个define只对后面的代码有效,对前面已经include了的afx.h中的代码是无效的。
上面只是题外话,现在回到正题。 MFC重载operator new,是为了方便定位内存泄漏,重载后的operator new会记录下所分配的每块内存对应的__FILE__和__LINE__信息。一般来讲,标准的operator new的声明如下: void *__cdecl operator new(size_t); 即它只有一个参数,只接收一个size信息。我们的如下代码 int* pi = new int; // the same as int* pi = new int(); or int* pi = new int[1]; int* tpi = (int*)operator new(sizeof(int)); // attention: this line cannot pass compilation if you have define DEBUG_NEW int* pi = tpi; 同理,定义DEBUG_NEW前,文章开头报错的这条语句: Bitmap* bmPhoto = new Bitmap( THUMBNAIL_WIDTH, THUMBNAIL_HEIGHT, PixelFormat24bppRGB ); 等价于 Bitmap* tbmPhoto = (Bitmap*)operator new(sizeof(Bitmap)); tbmPhoto->Bitmap( THUMBNAIL_WIDTH, THUMBNAIL_HEIGHT, PixelFormat24bppRGB ); // initialize variable Bitmap* bmPhoto = tbmPhoto; 但是现在,由于DEBUG_NEW使用的是被重载的operator new: void* AFX_CDECL operator new(size_t nSize, LPCSTR lpszFileName, int nLine); 上述代码等价于: Bitmap* tbmPhoto = (Bitmap*)operator new(sizeof(Bitmap), __FILE__, __LINE__); tbmPhoto->BitmapBitmap( THUMBNAIL_WIDTH, THUMBNAIL_HEIGHT, PixelFormat24bppRGB ); // initialize variable Bitmap* bmPhoto = tbmPhoto; 回过头来看gdiplus.h中的operator new的声明(在GdiplusBase.h中): class GdiplusBase { public: void (operator delete)(void* in_pVoid) { DllExports::GdipFree(in_pVoid); } void* (operator new)(size_t in_size) { return DllExports::GdipAlloc(in_size); } void (operator delete[])(void* in_pVoid) { DllExports::GdipFree(in_pVoid); } void* (operator new[])(size_t in_size) { return DllExports::GdipAlloc(in_size); } }; 它重载了operator new,并且没有提供一个可以容纳3个参数的operator new,同时基于这样一个事实: 不同命名域(指全局命名空间与有名命名空间之间,父类与子类,全局与类内部)内进行重载时,下一级的命名空间会覆盖掉上一级的定义,除非显示调用上一级的定义。 因此,全局的重新定义的operator new并不能用于Bitmap类。也正因为这一原因,编译器会报告: Bitmap* tbmPhoto = (Bitmap*)Bitmap::operator new(sizeof(Bitmap), __FILE__, __LINE__); error C2660: 'new' : function does not take 3 parameters 知道了这一点,要修正这一问题,只需给class GdiplusBase多重载几个operator new即可。修正后的class GdiplusBase如下: #ifdef _DEBUG
namespace Gdiplus { namespace DllExports { #include <GdiplusMem.h> };
#ifndef _GDIPLUSBASE_H #define _GDIPLUSBASE_H class GdiplusBase { public: void (operator delete)(void* in_pVoid) { DllExports::GdipFree(in_pVoid); }
void* (operator new)(size_t in_size) { return DllExports::GdipAlloc(in_size); }
void (operator delete[])(void* in_pVoid) { DllExports::GdipFree(in_pVoid); } oid* (operator new[])(size_t in_size) { return DllExports::GdipAlloc(in_size); }
void * (operator new)(size_t nSize, LPCSTR lpszFileName, int nLine) { return DllExports::GdipAlloc(nSize); }
void operator delete(void* p, LPCSTR lpszFileName, int nLine) { DllExports::GdipFree(p); }
}; #endif // #ifndef _GDIPLUSBASE_H } #endif // #ifdef _DEBUG OK,问题已解决,其实这只是个重载operator new的问题,但这个问题由于DEBUG_NEW这个不起眼的宏,倒还真变得有点复杂。
最后总结一下,在进行operator new重载时应注意: 1.new operator是不可以重载的,可以重载的是operator new。new operator 首先调用 operator new,然后调用构造函数(如果有的话)。new operator的这个行为是不可以重载的,可以重载的仅仅是operator new,也就是内存分配。 2.重载operator new是一件必须十分小心的事情,在编写MFC程序或者你所编写的系统重载了全局的operator new时,尤其需要注意,同时应注意所有的#include头文件最好添加在所有define之前,以免造成受到后续对new的重定义的影响。你可以尝试在你的MFC程序的#define new DEBUG_NEW一句之后,添加#include <vector>,你会收到一大堆莫名奇妙的错误提示(DEBUG编译时才有),这正是由于#define new DEBUG_NEW和后面的static char THIS_FILE[] = __FILE__;造成的影响。 3.operator new/delete在性质上类似于静态函数,你可以直接通过类名来访问它们。 4.理解了operator new的基本概念,要理解头文件NEW中的placement new/delete的实现也就不是什么难事了,头文件NEW中的placement new/delete的实现如下: #ifndef __PLACEMENT_NEW_INLINE #define __PLACEMENT_NEW_INLINE inline void *__cdecl operator new (size_t, void *_P) {return (_P); } #if _MSC_VER >= 1200 inline void __cdecl operator delete(void *, void *) {return; } #endif #endif
附: (转贴)C++的各种new简介
1.new T
第一种new最简单,调用类的(如果重载了的话)或者全局的operator new分配空间,然后用类型后面列的参数来调用构造函数,用法是 new TypeName(initial_args_list). 如果没有参数,括号一般可以省略.例如
int *p=new int; int *p=new int(10); int *p=new foo("hello");
通过调用delete来销毁: delete p;
2. new T[] 这种new用来创建一个动态的对象数组,他会调用对象的operator new[]来分配内存(如果没有则调用operator new,搜索顺序同上),然后调用对象的31m默认构造函数初始化每个对象用法: new TypeName[num_of_objects]; 例如 int *p= new int[10]; 销毁时使用operator delete31m[]
3.new()T 和new() T[] 这是个带参数的new,这种形式的new会调用operator new(size_t,OtherType)来分配内存,这里的OtherType要和new括号里的参数的类型兼容,这种语法通常用来在某个特定的地址构件对象,称为placement new,前提是operator new(size_t,void*)已经定义,通常编译器已经提供了一个实现,包含<new>头文件即可,这个实现只是简单的把参数的指定的地址返回,因而new()运算符就会在括号里的地址上创建对象. 需要说明的是,第二个参数不是一定要是void*,可以识别的合法类型,这时候由C++的重载机制来决定调用那个operator new.
当然,我们可以提供自己的operator new(size_,Type),来决定new的行为,比如 char data[1000][sizeof(foo)]; inline void* operator new(size_t ,int n) { return data[n]; }
就可以使用这样有趣的语法来创建对象: foo *p=new(6) foo(); //把对象创建在data的第六个单元上的确很有意思 标准库还提供了一个nothrow的实现: void* operator new(std::size_t, const std::nothrow_t&) throw(); void* operator new[](std::size_t, const std::nothrow_t&) throw();
就可以实现调用new失败时不抛出异常 new(nothrow) int(10); // nothrow 是std::nothrow_t的一个实例
placement new 创建的对象不能直接delete来销毁,而是要调用对象的析够函数来销毁对象,至于对象所占的内存如何处理,要看这块内存的具体来源.
4. operator new(size_t) 这个的运算符分配参数指定大小的内存并返回首地址,可以为自定义的类重载这个运算符,方法就是在类里面声明加上 void *operator new(size_t size) { //在这里分配内存并返回其地址 } 无论是否声明,类里面重载的各种operator new和operator delete都是具有static属性的.
一般不需要直接调用operator new,除非直接分配原始内存(这一点类似于C的malloc),在冲突的情况下要调用全局的operator加上::作用域运算符: ::operator new(1000); // 分配1000个31m字节
返回的内存需要回收的话,调用对应的operator delete
5.operator new[](size_t)
这个也是分配内存,,只不过是专门针对数组,也就是new T[]这种形式,当然,需要时可以显式调用
6.operator new(size_t size, OtherType other_value) 和operator new[](size_t size, OtherType other_value) 参见上面的new()
需要强调的是,new用来创建对象并分配内存,它的行为是不可改变的,可以改变的是各种operator new,我们就可以通过重载operator new来实现我们的内存分配方案.
参考资料: 1.PRB: Microsoft Foundation Classes DEBUG_NEW Does Not Work with GDI+. http://support.microsoft.com/default.aspx?scid=kb;en-us;317799 2.VC++6.0中内存泄漏检测. http://blog.vckbase.com/bruceteen/archive/2004/10/28/1130.aspx 3.More Effective C++. Item 8: Understand the different meanings of new and delete.
|