Создание и уничтожение объектов
Пора заполнить кое-какие пробелы. Раз уж наши транзакции достаточно сложны, чтобы для них была оправдана вся эта возня, они наверняка будут создавать или уничтожать объекты. Операции создания и уничтожения также должны быть отменяемыми. Если объект создавался, операция отмены должна его уничтожать, а если уничтожался - возвращать его из мертвых. Для этого придется внести изменения как в класс ConstPtr, так и в класс LockPtr. Мы уже сделали первый шаг в этом направлении, объявив деструктор ConstPtr закрытым, чтобы им могли воспользоваться только ConstPtr или его друзья. Давайте разберемся с оставшимися проблемами.
Изменения в классе ConstPtr
Несомненно, создание указываемого объекта представляет собой изменение и потому должно осуществляться через LockPtr. Но для того чтобы получить LockPtr, мы должны сначала иметь ConstPtr и его функцию Lock(). Следовательно, только что описанный конструктор ConstPtr работать не будет - он создает уникальный объект перед вызовом Lock(). ConstPtr должен находиться в состоянии NULL до тех пор, пока LockPtr не выделит память под объект и не закрепит эти изменения. В ConstPtr необходимо внести следующие изменения:
1. В конструкторе без аргументов присваивать переменной old_image значение NULL.
2. Добавить оператор !, который проверяет, равен ли адрес значению NULL.
3. Инициировать исключение в операторе ->, если адрес равен значению NULL.
4. Либо запретить копирование, либо присвоить копии old_image значение NULL.
Проблема с обычным конструктором копий ConstPtr заключается в том, что он может создать новую копию указываемого объекта, но не позволит отменить ее создание. Ниже приводится новая версия конструктора ConstPtr. Определения функций, не изменившиеся по сравнению с показанной выше упрощенной версией не показаны.
private:
ConstPtr(const ConstPtr&) : old_image(NULL), lock(NULL) {}
public:
ConstPtr() : old_image(NULL), lock(NULL) {}
bool operator!() { return old_image == NULL; }
const Type* operator->() const
{
if (old_image == NULL)
// Исключение
return old_image;
}
Изменения в классе LockPtr
Отныне LockPtr предстоит выполнять намного больше работы:
1. Он должен при необходимости создавать указываемый объект по требованию. Для этого в него будет добавлена функция Make().
2. Оператор -> должен инициировать исключение, если адрес равен NULL.
Ниже приведены определения толькоизменившихся функций.
// В объявлении LockPtr
public:
void Make(); // Создать новый указываемый объект
void Destroy(); // Уничтожить указываемый объект
// Изменившиеся определения
template <class Type>
LockPtr<Type>::LockPtr(Transaction* t, ConstPtr<Type>* cp)
: transaction(t), master_ptr(cp),
new_image(cp->old_image != NULL ? new Type(*(cp->old_image)) : NULL)
{
}
template <class Type>
void LockPtr<Type>::Commit()
{
delete master_ptr->old_image;
master_ptr->old_image = new_image;
if (new_image != NULL)
new_image = new Type(*new_image);
}
template <class Type>
Type* LockPtr<Type>::operator->() const
{
if (new_image == NULL)
// исключение
return new_image;
}
template <class Type>
void LockPtr<Type>::Make()
{
delete new_image; // Если new_image не равен NULL
new_image = new Type; // Новый пустой объект
}
template <class Type>
void LockPtr<Type>::Destroy()
{
delete new_image;
new_image = NULL;
}
Функция Make() соблюдает семантику присваивания, что позволяет вызвать ее для существующего указываемого объекта. При этом объект, на который в данный момент ссылается LockPtr, уничтожается и заменяется новым пустым объектом.