New және delete операторларын қайта анықтау

Жадыны басқарудың балама нұсқаларын қамтамасыз ету үшін обьектіге динамикалық жадыны және сәйкесінше обьект массивтерін бөлуге new және new [ ] операторларының , сонымен қатар delete және оны босату үшін delete [] операцияларының өзіндік нұсқаларын анықтауға болады. Бұл функция-операторлар келесі ережелерге сай болуы тиіс:

• 
  Оларға класс типінің параметрлерін беру қажет емес;
  
• 
  new және new [ ] функцияларына бірінші параметр болып size_t типті обьектінің көлемі жіберілуі тиіс ( бұл sizeof операторымен қайтарылатын тип, ол тақырыптық файлда анықталады); шақырған кезде ол функцияларға түсініксіз түрде жіберіледі;
  
• 
  return сілтегішті өзге типтерге қайтарып тұрса да, олар void* мәнінің қайтарылатын типімен анықталуы керек;
  
• 
  delete операторы void қайтарымының типіне және void* типінің бірінші аргументіне ие болу керек;
  
• 
  Жадыны бөлу және босату оперторлары класстың статистикалық элементтері болып табылады.
  

Жадыны бөлу операторын қайта жүктеу жадыны үнемдеу үшін,бағдарламаның тез жұмыс жасауы және мәліметтерді кейбір белгілі бір облыстарға орнату үшін қолданылады. Мысалы, кейбір обьектіге сілтегіші бар класс сипатталсын:

class Obj { … };

class pObj {

…

private:

};

p0bj типіндегі обьект астына new қалыпты операторының көмегімен жадыны бөлу кезінде

байттардың нақтылы көлемі sizeof(p0bj) асып кетеді, себебі new , әдетте бөлінетін облыстың басына оның көлемін жазып кетеді ( delete операторларын дұрыс өңдеу үшін).

Шағын обьектілер үшін бұл накладты шығындар маңызды болуы мүмкін. Жадыны үнемдеу үшін жадының үлкен блогын бөліп отыратын, кейін онда 0bj сілтегіштерді орнататын өзіндік p0bj классты new операторын жазуға болады. Бұл үшін p0bj обьектісіне head0free статикалық жолы енгізіледі, онда келесі обьектіні орнатуға арналған блоктың бірінші бос ұяшығына сілтегіш сақталады

Қолданылмайтын ұяшықтар тізімге жиналады. Байланыс жолының астында жадты алмау үшін, бірлестік қолданылады ( union), оның көмегімен бір ұяшық не обьектіге сілтеуішті орнату үшін, не келесі бос ұяшықпен байланыс үшін қолданылады:

class pObj {

public:

…

private:

Obj *p / / обьектіге сілтеуіш

pObj *next; / /келесі бос ұяшыққа сілтеуіш

};

static const int BLOCK_SIZE; / / блок колемі

static pObj *headOfFree;

};

void * pObj: :operator new(size_t size) {

//new қалыпты операциясы

If (size != sizeof(pObj)) return : :operator new(size);

pObj *p = headOfFree; // бірінші бос ұяшыққа сілтегіш

//бос ұяшықтар тізімінің сілтегішінің орнын өзгерту

If (p) headOfFree = p ­­­-> next;

// егер бос жады болмаса, кезекті блокты бөлім аламыз:

else {

( : :operator new(BLOCK_SIZE * sizeof(pObj)));

// біріншіден басқа барлық ұяшыұтар бос емес (ол

//бос болмайды). Оларды жинаймыз:

for (int i= 1; i< BLOCK_SIZE - 1; ++i)

newblock[ i ].next = &newblock[ I + 1 ];

newblock[BLOCK_SIZE - 1 ].next = 0;

//бос ұяшықтар орнатамыз:

headOfFree = &newblock[ 1 ];

p =newblock;

}

return p; // Сілтегішті бөлінген жадыға қайтарамыз

Қайта анықталған new операторы мұраға беріледі, сондықтан ол туынды обьектілер үшін шақырылады. Егер олардың көлемдері базалық көлемге сай келмесе, бұл ашық жер қалдыруы мүмкін. Оларды болдырмау үшін оператор басында көлемнің сәйкестігі тексеріледі. Егер обьект көлемі new операторы қайта шақырылған көлемге сәйкес келмесе, жадыны бөлуге сұраныс new қалыпты операторына жіберіледі.

p0bj класын қолданатын бағдарламада оның статикалық жолдарының инилизациясы болуы тиіс:

pObj *pObj : :headOfFree; // 0 ге жасырын түрде қойылады

const int pObj: :BLOCK_SIZE = 1024;

Бұл мысалдан көріп отырғанымыздай, жадыны үнемдеуден басқа жоғары тез әсер етуге де қол жеткіземіз. Себебі көп жағдайда жадыны бөлу бірнеше қарапайым операторларға түсіріледі.

Әрине, егер new операторы қайта анықталса, delete операторы үшін де дәл солай болу керек ( мысалы, біздің жағдайымызда delete қалыпты операторы обьект басында оның көлемі туралы дұрыс мәліметті таба алмауы мүмкін, бұл бағдарламаның нақтылы емес әркет етуіне алып келеді).

Void pObj: :operator delete(void * ObjToDie. Size_t size) {

if (ObjToDie == 0) return;

if (size != sizeof(pObj)) {

: :operator delete(ObjToDie); return;

}

pObj *p = static_cast

p->next = headOfFree;

headOfFree = p;

}

Delete операторында обьектілер көлемінің сәйкестігінің тексерісі оындалған, ол new операторында келтірілгенге бара-бар.