Идиомы и стили С++

Makhmutov Albert

public:

 // перегруженные operator new, operaton delete

 void* operator new(size_t bytes) { return CPool::getSomeMemory(bytes); }

 void operator delete(void*) {}

};

// инициализация статических членов.

char CPool::buffer[8096];

char* CPool::position = CPool::buffer;

Чтобы довести его до более-менее приличного вида, нужно как минимум обрабатывать размер

выделяемого блока и количество оставшейся памяти в буфере; сделать буфер нестатическим; при недостатке памяти выделять новый буфер-создавать новый экземпляр пула; статическими должны быть либо функция выделения памяти из пула либо указатель на свежий, незаполненный пул.

Несколько строк занудства.

Операционка неохотно берет себе память обратно. Возможно, освобожденный фрагмент вообще останется в ведении менеджера памяти самой программы, до ее завершения. Но конечно крупные куски она заглатывает тут же. Если возитесь с мелочью, проверьте этот момент на всякий случай; нет ничего приятнее свопа или уборки мусора в нужное время!

Глобальный оператор ::operator new и глобальный оператор ::operator delete не трогайте. Проще и намного умнее перегружать операторы в классах.

new, operator new и конструктор, а так же delete, operator delete и деструктор - АБСОЛЮТНО разные вещи. Как мы уже выяснили, их можно вызывать по отдельности. Не давайте себя запутать, если кто-нибудь будет говорить об операторе new– такого не бывает, бывает или оператор operator new, или ключевое слово new.

Шаг 20 - Временные объекты. Неявные вызовы конструкторов и их подавление.

Не удается углубиться в какую-либо тему. Приходится касаться по верхам, потом переключаться на что-то другое. С другой стороны, может это и правильно, часто достаточно только знать, что есть ТАКОЕ решение, а изучить детально можно и позже, когда сделаешь окончательный выбор. Да и не очень это интересно - что за радость переписать двадцать страниц из учебника, или перевести статью какого-нибудь доктора CS? Объяснения которого в точности так же логичны, как рассказ Ивана Бездомного насчет "…Берлиоза зарезало трамваем, а тот заранее знал про масло, которое Аннушка пролила" - то есть логика и связь есть - но только для него самого.

Чтож, к делу.

А кто такие временные объекты? Локальные переменные с замечательными именами a, a1, a2, a_1, tmp1, tmp2? (Кстати ни за что не берите на работу болванов, которые так именуют переменные; пусть на FoxPro пишут. Думаю написать про это отдельный Шаг - причины для немедленного увольнения.) Вообще-то нет. Временные объекты - это объекты, которые не имеют имен в коде и неявно создаются компилятором. Поскольку неявные "подарки" компилятора иногда бывают очень некстати, лучше заранее знать, чего можно ожидать от него. А зачем он их создает? Первое - при выполнении преобразования типов, для вызова функций. Второе - для возвращения объекта из функции.

Придется немного поэкспериментировать. Поэтому скопируйте себе код небольшого класса:

#include ‹iostream.h›

class CInt {

private:

 int m_i;

 int m_instance;

 static int iCounter;

public:

 CInt (int);

 CInt (const CInt&);

 ~CInt ;

 CInt operator+ (const CInt&);

 CInt& operator+=(const CInt&);

 CInt& operator= (const CInt&); // operator int ;

};

int CInt::iCounter = 0;

CInt::CInt (int _i=0): m_i(_i) {

 m_instance = ++iCounter;

 cout‹‹"defa constr " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;

}

CInt::CInt (const CInt& _i): m_i(_i.m_i) {

 m_instance = ++iCounter;

 cout‹‹"copy constr " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;

}

CInt::~CInt {

 iCounter--;

 cout ‹‹"~destructor " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;

}

CInt& CInt::operator=(const CInt& _i) {

 m_i = _i.m_i;

 cout ‹‹"assert oper " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;

 return *this;

}

CInt CInt::operator+(const CInt& _i) {

 cout‹‹"addi operat " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;

 return CInt (m_i + _i.m_i);

}

CInt& CInt::operator+= (const CInt& _i) {

 m_i += _i.m_i;

 cout‹‹"autoadd ope " ‹‹ m_instance ‹‹ " "‹‹ m_i‹‹ endl;

 return *this;

}

/*

CInt::operator int {

 return m_i;

}

*/

int main (void) {

 cout ‹‹ "start" ‹‹ endl;

 //

Позиция 1.

 CInt i_test = CInt (2) + CInt (4);

 cout ‹‹ "firststop" ‹‹ endl;

 {

// Позиция 2.

 }

 cout ‹‹ "thirdstop" ‹‹ endl;

 return 0;

}

Пояснения: класс представляет целые числа. Определены конструктор по умолчанию и копирования, присваивание, пара арифметических операторов, оператор преобразования в int (закомментирован). В функции main отмечены 2 позиции для экспериментов.