- •Содержание
- •Благодарности
- •Как читать эту книгу
- •Несколько слов о стиле программирования
- •Переменные и константы
- •const
- •Стековые и динамические объекты
- •Области действия и функции
- •Области действия
- •Перегрузка
- •Видимость
- •Типы и операторы
- •Конструкторы
- •Деструкторы
- •Присваивание
- •Перегрузка операторов
- •Что такое шаблоны и зачем они нужны?
- •Проблемы
- •Обходные решения
- •Синтаксис шаблонов
- •Параметризованные типы
- •Параметризованные функции
- •Параметризованные функции классов
- •Передача параметра
- •Шаблоны с несколькими параметрами
- •Долой вложенные параметризованные типы!
- •Наследование
- •Комбинации простых и параметризованных типов
- •Небезопасные типы в открытых базовых классах
- •Небезопасные типы в закрытых базовых классах
- •Небезопасные типы в переменных класса
- •Глава 4. Исключения
- •Обработка исключений в стандарте ANSI
- •Синтаксис инициирования исключений
- •Синтаксис перехвата исключений
- •Конструкторы и деструкторы
- •Нестандартная обработка исключений
- •Условные обозначения
- •Глава 5. Умные указатели
- •Глупые указатели
- •Умные указатели как идиома
- •Оператор ->
- •Параметризованные умные указатели
- •Иерархия умных указателей
- •Арифметические операции с указателями
- •Во что обходится умный указатель?
- •Применения
- •Разыменование значения NULL
- •Отладка и трассировка
- •Кэширование
- •Семантика ведущих указателей
- •Конструирование
- •Уничтожение
- •Копирование
- •Присваивание
- •Прототип шаблона ведущего указателя
- •Дескрипторы в C++
- •Что же получается?
- •Подсчет объектов
- •Указатели только для чтения
- •Указатели для чтения/записи
- •Интерфейсные указатели
- •Дублирование интерфейса
- •Маскировка указываемого объекта
- •Изменение интерфейса
- •Грани
- •Преобразование указываемого объекта в грань
- •Кристаллы
- •Вариации на тему граней
- •Инкапсуляция указываемого объекта
- •Проверка граней
- •Обеспечение согласованности
- •Грани и ведущие указатели
- •Переходные типы
- •Полиморфные указываемые объекты
- •Выбор типа указываемого объекта во время конструирования
- •Изменение указываемого объекта во время выполнения программы
- •Посредники
- •Функторы
- •Массивы и оператор []
- •Проверка границ и присваивание
- •Оператор [] с нецелыми аргументами
- •Имитация многомерных массивов
- •Множественные перегрузки оператора []
- •Виртуальный оператор []
- •Курсоры
- •Простой класс разреженного массива
- •Курсоры и разреженные массивы
- •Операторы преобразования и оператор ->
- •Итераторы
- •Активные итераторы
- •Пассивные итераторы
- •Что лучше?
- •Убогие, но распространенные варианты
- •Лучшие варианты
- •Итератор абстрактного массива
- •Операторы коллекций
- •Мудрые курсоры и надежность итераторов
- •Частные копии коллекций
- •Внутренние и внешние итераторы
- •Временная пометка
- •Пример
- •Тернистые пути дизайна
- •Транзакции
- •Отмена
- •Хватит?
- •Образы и указатели
- •Простой указатель образов
- •Стеки образов
- •Образы автоматических объектов
- •Образы указателей
- •Комбинации и вариации
- •Транзакции и отмена
- •Транзакции и блокировки
- •Класс ConstPtr
- •Класс LockPtr
- •Создание и уничтожение объектов
- •Упрощенное создание объектов
- •Отмена
- •Варианты
- •Вложенные блокировки
- •Взаимные блокировки и очереди
- •Многоуровневая отмена
- •Оптимизация объема
- •Несколько прощальных слов
- •Часть 3. Снова о типах
- •Гомоморфные иерархии классов
- •Взаимозаменяемость производных классов
- •Нормальное наследование
- •Инкапсуляция производных классов
- •Множественная передача
- •Двойная передача
- •Гетероморфная двойная передача
- •Передача более высокого порядка
- •Группировка передач и преобразования
- •Производящие функции
- •make-функции
- •Символические классы и перегруженные make-функции
- •Оптимизация с применением производящих функций
- •Локализованное использование производящих функций
- •Уничтожающие функции
- •Снова о двойной передаче: промежуточные базовые классы
- •Объекты классов
- •Информация о классе
- •Еще несколько слов об уничтожающих функциях
- •Определение класса по объекту
- •Представители
- •Основные концепции
- •Инкапсуляция указателей и указываемых объектов
- •Производящие функции
- •Ссылки на указатели
- •Неведущие указатели
- •Ведущие указатели
- •Снова о двойной передаче
- •Удвоенная двойная передача
- •Самомодификация и переходимость
- •Множественная двойная передача
- •Применение невидимых указателей
- •Кэширование
- •Распределенные объекты и посредники
- •Нетривиальные распределенные архитектуры
- •Часть 4. Управление памятью
- •Перегрузка операторов new и delete
- •Простой список свободной памяти
- •Наследование операторов new и delete
- •Аргументы оператора new
- •Конструирование с разделением фаз
- •Уничтожение с разделением фаз
- •Кто управляет выделением памяти?
- •Глобальное управление
- •Выделение и освобождение памяти в классах
- •Объекты классов и производящие функции
- •Управление памятью под руководством клиента
- •Управление памятью с применением ведущих указателей
- •Перспективы
- •Строительные блоки
- •Поблочное освобождение памяти
- •Скрытая информация
- •Подсчет ссылок
- •Базовый класс с подсчетом ссылок
- •Ведущие указатели с подсчетом ссылок
- •Дескрипторы с подсчетом ссылок
- •Трудности подсчета ссылок
- •Подсчет ссылок и ведущие указатели
- •Деление по классам
- •Деление по размеру
- •Деление по средствам доступа
- •Пространства стека и кучи
- •Поиск указателей
- •Мама, откуда берутся указатели?
- •Поиск указателей
- •Дескрипторы, повсюду дескрипторы
- •Общее описание архитектуры
- •Ведущие указатели
- •Вариации
- •Оптимизация в особых ситуациях
- •Алгоритм Бейкера
- •Пространства объектов
- •Последовательное копирование
- •Внешние объекты
- •Алгоритм Бейкера: уход и кормление в C++
- •Уплотнение на месте
- •Базовый класс VoidPtr
- •Пул ведущих указателей
- •Итератор ведущих указателей
- •Алгоритм уплотнения
- •Оптимизация
- •Перспективы
- •Глава 16. Сборка мусора
- •Доступность
- •Периметр
- •Внутри периметра
- •Анализ экземпляров
- •Перебор графа объектов
- •Сборка мусора по алгоритму Бейкера
- •Шаблон слабого дескриптора
- •Шаблон сильного дескриптора
- •Итераторы ведущих указателей
- •Перебор указателей
- •Оптимизация
- •Внешние объекты
- •Множественные пространства
- •Сборка мусора и уплотнение на месте
- •Нужно ли вызывать деструкторы?
- •Только для профессиональных каскадеров
- •Организация памяти
- •Поиск периметра
- •Перебор внутри периметра
- •Сборка мусора
- •Последовательная сборка мусора
- •Итоговые перспективы
Невидимые |
12 |
|
|
указатели |
|
Нетривиальное использование С++ напоминает один известный эпизод из фильма «Сумеречная зона». Героиня попадает в автомобильную аварию. Она безуспешно ждет, пока кто-нибудь проедет по дороге, и в конце концов решает отправиться за помощью. Но куда бы она ни шла, как бы внимательно ни следила за направлением, она всегда возвращалась к обломкам машины. Так и с указателями: куда бы вы ни шли, вы все равно вернетесь к обломкам. Хм… пожалуй, мне следовало подыскать более оптимистичное сравнение.
В этой главе мы снова возвращаемся к теме указателей, на этот раз — в свете гомоморфных иерархий классов. Рассматриваемые здесь указатели я называю невидимыми (invisible pointers), поскольку в большинстве случаев можно устроить так, чтобы клиент абсолютно ничего не знал о присутствии указателя между ним и целевым объектом. Джеймс Коплин (James Coplien) рассматривает частный случай невидимых указателей и называет его «парадигма конверт/письмо»; мы же поговорим о более общем случае.
Основные концепции
Если гомоморфизм хорошо подходит для других классов, значит, он подойдет и для указателей. Концепция проста: указатель и указываемый объект порождаются от одного и того же чисто абстрактного базового класса.
class Foo { public:
virtual void do_something() = 0; virtual void do_something_else() = 0;
};
class PFoo : public Foo { private:
Foo* foo; public:
virtual void do_something() { foo->do_something(); }
virtual void do_something_else() { foo->do_something_else(); }
};
class Bar : public Foo {
// Все для производного класса
};
Вместо перегрузки оператора -> в PFoo используется делегирование. Приведенный фрагмент лишь слегка затрагивает данную тему. На практике приходится учитывать множество деталей, начиная с того, как скрыть указатели и указываемые объекты от клиентов.
180
Инкапсуляция указателей и указываемых объектов
Одно из величайших преимуществ гомоморфных указателей заключается в том, что указатель вместе с указываемым объектом можно инкапсулировать в файле .cpp. Взгляните на только что приведенный фрагмент. Указатель ничего не добавляет к открытому интерфейсу, представленному в классе Foo, поэтому клиентам не нужно видеть PFoo или производные классы, на которые он ссылается. В сущности, при достаточной аккуратности можно убедить клиентов, что они работают непосредственно с указываемым объектом, хотя на самом деле в качестве центрального звена цепочки присутствует указатель. Отсюда и термин — невидимый указатель.
// В файле foo.h class Foo { public:
static Foo* make(); // Производящая функция virtual void do_something() = 0;
virtual void do_something_else() = 0;
};
// В файле foo.cpp
class PFoo : public Foo { private:
Foo* foo; public:
PFoo(Foo* f) : foo(f) {}
virtual void do_something() { foo->do_something(); }
virtual void do_something_else() { foo->do_something_else(); }
};
class Bar : public Foo {
// Все для производного класса
};
Foo* Foo::make()
{
return new PFoo(new Foo);
}
Вставить PFoo в существующую программу совсем несложно — при условии, что вы приняли все меры предосторожности, спроектировали его с расчетом на гомоморфную иерархию классов и инкапсулировали производные классы вроде Bar. Ведь вы это сделали, не правда ли? Перед нами очередной мистический принцип — вы делаете что-то не для того, чтобы извлечь непосредственную пользу, а для сохранения мировой гармонии. В один прекрасный день вам потребуется вставить умный указатель, и в гармоничном мире это не вызовет никаких проблем.
Производящие функции
Конечно, производящие функции пригодятся вам каждый раз, когда вы инкапсулируете производные классы. В приведенном выше фрагменте мы изменили производящую функцию так, чтбы она создавала два объекта — указатель и указываемое значение.
Обратите внимание: указываемый объект не создается в конструкторе указателя. Для этого существует веская причина. Вероятно, нам захочется использовать класс указателя PFoo для всех производных классов Foo. Это означает, что некто за пределами класса указателя (производящая функция) решает, что именно следует создать и спрятать в указателе.
В предыдущих главах, посвященных умным указателям, основное внимание уделялось шаблонам и обобщенным классам указателей, соответствующим классам указываемых объектов. С невидимыми указателями шаблоны уже не имеют никакого реального значения.
181
Все, что говорилось о производящих функциях и объектах классов в предыдущей главе, в равной степени относится и к невидимым указателям. Оптимизируйте и локализуйте, сколько душе угодно. Как правило, сам класс указателя в этом не участвует.
Ссылки на указатели
Производящая функция не обязана возвращать Foo*. С таким же успехом подойдет и Foo&. class Foo {
public:
static Foo& make(); // Производящая функция virtual void do_something() = 0;
virtual void do_something_else() = 0;
};
// В файле foo.cpp
class PFoo : public Foo { private:
Foo* foo; public:
PFoo(Foo* f) : foo(f) {}
virtual void do_something() { foo->do_something(); }
virtual void do_something_else() { foo->do_something_else(); }
};
class Bar : public Foo {
// Все для производного класса
};
Foo& Foo::make()
{
return *(new PFoo(new Foo));
}
Единственная проблема заключается в том, что копирование с помощью конструктора копий, как вы вскоре убедитесь, строго воспрещается. И все же люди, вооруженные оператором &, неизменно пытаются копировать объект. С оператором * соблазн намного слабее. Во всем остальном выбор — дело вкуса.
Неведущие указатели
Парадигма нивидимых указателей реализуется как для ведущих, так и неведущих указателей. От того, какое решение будет принято на стадии дизайна, зависят и способы решения некоторых проблем. Ниже приведены некоторые подробности реализации неведущих указателей.
Копирование
Клиент не может копировать указатель нормальными средствами, поскольку он не знает его настоящего класса. Зато хорошо подходят средства, описанные в предыдущей главе (в особенности копирование объектов с помощью специального виртуального варианта make-функции). Для неведущих указателей достаточно просто скопировать адрес указываемого объекта.
class Foo { |
|
private: |
|
Foo(const Foo&) {} |
|
public: |
|
virtual Foo* makeClone(); |
// Копирование |
}; |
|
// В файле foo.cpp |
|
182
class PFoo : public Foo { private:
Foo* foo; public:
PFoo(Foo* f) : foo(f) {}
virtual Foo* makeClone() { return new PFoo(foo); }
}; |
|
Foo* Foo::makeClone() |
|
{ |
|
return NULL; |
// Несущественно для всего, кроме указателей |
} |
|
Реализация функции makeClone() необходима только для класса указателя. По этой причине, чтобы каждому производному классу не пришлось ее переопределять, в класс-предок включается заглушка.
Присваивание
Разумеется, если не принять специальных мер, оператор = тоже не будет работать, поскольку клиент не знает фактический тип указателя. Так как мы имеем дело с неведущими указателями, операция присваивания стоит согласовать с копированием — то есть присваивание должно затрагивать только указатель, но не указываемый объект. Как и в случае копирования, это нетрудно реализовать — достаточно создать виртуальный оператор = для указателя и заглушку для указываемого объекта.
class Foo {
public:
virtual Foo& operator=(const Foo&);
};
// В файле foo.cpp
class PFoo : public Foo { private:
Foo* foo; public:
virtual Foo& operator=(const Foo& f)
{
foo = f.foo; return *this;
}
};
Foo& Foo::operator=(const Foo&)
{
return *this;
}
Сборка мусора: взгляд в будущее
Поскольку производные классы инкапсулированы, применение неведущих указателей подводит нас к серьезной проблеме дизайна: как узнать, когда нужно удалять указываемый объект? В главах, посвященных управлению памятью, мы серьезно займемся этой проблемой, а пока я лишь в общих чертах опишу две базовые стратегии:
1. В указываемый объект включается счетчик, который показывает, сколько указателей ссылается на него в данный момент. Когда состояние счетчика изменяется с 1 на 0, объект должен удалять себя.