position+=bytes; // а счетчик увеличить
return ret_val;
}
// Это так… эксперимент.
// Класс с собственным управлением памятью.
class CThat {
private:
int m_some_number; // не знаю что.
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) {
