條款51:編寫new和delete時需固守常規

/*編寫new和delete時需固守常規*/
//非附屬對象必須有獨立的大小 
#include<iostream>
using namespace std;
class Base{
public:
	static void*operator new(std::size_t size) throw(std::bad_alloc);
	//..
};
// operator new (pseudocode):
void *Base::operator new(std::size_t size)throw(std::bad_alloc){
	using namespace std;
	if(size==0){// 如果寫了下面的if判斷就不必寫這裏的if了,因爲sizeof(Base)永遠不會爲零
		size=1;	
	}
	if(size!=sizeof(Base))//但這裏如果子類用了基類的new也是不正確,比如在operator new[]時,而且這裏是sizeof(Base) 不太可能與子類相等
		return ::operator new(size);//
	//... 處理上面的情況 
	while(true){
		//嘗試分配 size bytes;
		if(分配成功)
			return (一個指針,指向分配得來的內存);
		//分配失敗:找出目前的new-handling函數
		new_handler globalHandler =set_new_handler(0);//通過調用set_new_handler找出new-handling 函數指針
		set_new_handler(globalHandler);
		
		if(globalHandler)
			(*globalHandler);
		else
			throw std::bad_alloc();
	}
	void operator delete(void*rawMemory,std::size_t size)throw(){
		if(rawMemory==0)return ;
		if(size!=sizeof(Base){
			::operator delete(rawMemory);//如果大小錯誤,令標準版處理申請
			return ;
		}
		//現在,歸還rawMemory所指針的內存,這裏是基類,還需要加virtual
		return ;
	}
}
class Derived:public Base{// 假設子類沒有聲明operator new 
	//..
};
int main(){
	Derived *p = new Derived;// 這裏調用的基類的 new 
	return 0;
}

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章