- •6.050201 «Системная инженерия»
- •Донецк, 2012
- •1 Цели и задачи дисциплины
- •2 Теоретические основы программирования
- •2.1 Основные сведения в области информатики Общее понятие алгоритма
- •Алгоритмические языки
- •Типы переменных
- •Целочисленные переменные
- •Кольцо вычетов по модулю m
- •Интерпретация положительных и отрицательных чисел
- •Вещественные переменные
- •Машинный эпсилон
- •Запись вещественных констант
- •Символьные переменные
- •Логические переменные и выражения
- •Массивы
- •Текстовые строки
- •Оперативная память
- •Процессор
- •Cisc и risc-процессоры
- •Алгоритм работы компьютера
- •Аппаратный стек
- •Команды вызова подпрограммы call и возврата return
- •Аппаратный стек и локальные переменные подпрограммы
- •2.2. Стандарты построения блок-схем алгоритмов
- •4 Компиляция и выполнение программ
- •5 Структурное программирование
- •5.1 Описание переменных
- •Константы
- •Целые числа
- •Вещественные числа
- •Логические величины
- •Символы и байты
- •Кодировка, многобайтовые символы
- •5.2 Основные операции и их приоритет
- •Порядок вычисления выражений
- •5.3 Операторы
- •Операторы цикла
- •5.4 Организация ввода-вывода
- •Манипуляторы и форматирование ввода-вывода
- •Строковые потоки
- •Ввод-вывод файлов
- •5.5 Массивы
- •5.6. Указатели и операции над ними
- •5.7 Ссылки
- •5.8 Динамическое выделение памяти
- •5.9 Функции
- •Подставляемые функции
- •Имена функций
- •Необязательные аргументы функций
- •Рекурсия
- •Назначение шаблонов
- •Функции-шаблоны
- •5.10 Область видимости имен
- •5.11 Сложные структуры данных
- •5.11.1 Структуры
- •5.11.2 Перечисления
- •5.11.3. Объединения
- •5.12. Динамические структуры данных
- •6 Препроцессор
- •Определение макросов
- •Условная компиляция
- •Дополнительные директивы препроцессора
- •7 Объектно-ориентированное программирование
- •7.1 Основные понятия объектно-ориентированного программирования
- •Определение методов класса
- •Виртуальные методы
- •Виртуальные методы и переопределение методов
- •Преобразование базового и производного классов
- •Внутреннее и защищенное наследование
- •Абстрактные классы
- •Множественное наследование
- •Виртуальное наследование
- •Интерфейс и состояние объекта
- •Объявление friend
- •7.2 Конструктор и деструктор класса
- •Копирующий конструктор
- •Деструкторы
- •Инициализация объектов
- •Операции new и delete
- •7.3 Перегрузка операций
- •Как определять операции
- •Преобразования типов
- •Явные преобразования типов
- •Стандартные преобразования типов
- •Преобразования указателей и ссылок
- •Преобразования типов, определенных в программе
- •7.4 Использование включаемых файлов
- •7.5. Шаблоны классов
- •"Интеллигентный указатель"
- •Задание свойств класса
- •8 Обработка исключительных ситуаций
- •Примеры обработки исключительных ситуаций
- •Список использованных источников
"Интеллигентный указатель"
Рассмотрим еще один пример использования класса-шаблона. С его помощью мы попытаемся " усовершенствовать" указатели языка Си++. Если указатель указывает на объект, выделенный с помощью операции new, необходимо явно вызывать операцию delete тогда, когда объект становится не нужен. Однако далеко не всегда просто определить, нужен объект или нет, особенно если на него могут ссылаться несколько разных указателей. Разработаем класс, который ведет себя очень похоже на указатель, но автоматически уничтожает объект, когда уничтожается последняя ссылка на него. Назовем этот класс "интеллигентный указатель" (Smart Pointer). Идея заключается в том, что настоящий указатель мы окружим специальной оболочкой. Вместе со значением указателя мы будем хранить счетчик – сколько других объектов на него ссылается. Как только значение этого счетчика станет равным нулю, объект, на который указатель указывает, пора уничтожать.
Структура Ref хранит исходный указатель и счетчик ссылок.
template <class T>
struct Ref
{
T* realPtr;
int counter;
};
Теперь определим интерфейс "интеллигентного указателя":
template <class T>
class SmartPtr
{
public:
// конструктор из обычного указателя
SmartPtr(T* ptr = 0);
// копирующий конструктор
SmartPtr(const SmartPtr& s);
~SmartPtr();
SmartPtr& operator=(const SmartPtr& s);
SmartPtr& operator=(T* ptr);
T* operator->() const;
T& operator*() const; private:
Ref<T>* refPtr;
};
У класса SmartPtr определены операции обращения к элементу ->, взятия по адресу "*" и операции присваивания. С объектом класса SmartPtr можно обращаться практически так же, как с обычным указателем.
struct A
{
int x;
int y;
};
SmartPtr<A> aPtr(new A);
int x1 = aPtr->x;
(*aPtr).y = 3;
// создать новый указатель
// обратиться к элементу A
// обратиться по адресу
Рассмотрим реализацию методов класса SmartPtr. Конструктор инициализирует объект указателем. Если указатель равен нулю, то refPtr устанавливается в ноль. Если же конструктору передается ненулевой указатель, то создается структура Ref, счетчик обращений в которой устанавливается в 1, а указатель – в переданный указатель:
template <class T>
SmartPtr<T>::SmartPtr(T* ptr)
{
if (ptr == 0)
refPtr = 0;
else {
refPtr = new Ref<T>;
refPtr->realPtr = ptr;
refPtr->counter = 1;
}
}
Деструктор уменьшает количество ссылок на 1 и, если оно достигло 0, уничтожает объект
template <class T>
SmartPtr <T>::~SmartPtr()
{
if (refPtr != 0) {
refPtr->counter--;
if (refPtr->counter <= 0) {
delete refPtr->realPtr;
delete refPtr;
}
}
}
Реализация операций -> и * довольно проста:
template <class T>
T*
SmartPtr<T>::operator->() const
{
if (refPtr != 0)
return refPtr->realPtr;
else
return 0;
}
template <class T>
T&
SmartPtr<T>::operator*() const
{
if (refPtr != 0)
return *refPtr->realPtr;
else
throw bad_pointer;
}
Самые сложные для реализации – копирующий конструктор и операции присваивания. При создании объекта SmartPtr – копии имеющегося – мы не будем копировать сам исходный объект. Новый "интеллигентный указатель" будет ссылаться на тот же объект, мы лишь увеличим счетчик ссылок.
template <class T>
SmartPtr<T>::SmartPtr(const
SmartPtr& s):refPtr(s.refPtr)
{
if (refPtr != 0)
refPtr->counter++;
}
При выполнении присваивания, прежде всего, нужно отсоединиться от имеющегося объекта, а затем присоединиться к новому, подобно тому, как это сделано в копирующем конструкторе.
template <class T>
SmartPtr&
SmartPtr<T>::operator=(const SmartPtr& s)
{
// отсоединиться от имеющегося указателя
if (refPtr != 0) {
refPtr->counter--;
if (refPtr->counter <= 0) {
delete refPtr->realPtr;
delete refPtr;
}
}
// присоединиться к новому указателю
refPtr = s.refPtr;
if (refPtr != 0)
refPtr->counter++;
}
В следующей функции при ее завершении объект класса Complex будет уничтожен:
void foo(void)
{
SmartPtr<Complex> complex(new Complex);
SmartPtr<Complex> ptr = complex;
return;
}