- •Список литературы по модулю
- •История языка C++
- •Основные особенности C++
- •Простые расширения языка C
- •Объявление переменных ссылочного типа
- •Инициализация и использование ссылок
- •Ссылки в формальных параметрах функций
- •Ссылки как возвращаемые значения функций
- •Константные ссылки
- •Объявление класса
- •Секции в объявлении класса
- •Пример: секции в объявлении класса
- •Объявление полей
- •Определения статических полей
- •Объявление методов
- •Виртуальные и абстрактные методы
- •Объявление конструкторов
- •Пример: объявление конструкторов
- •Создание объектов в динамической памяти
- •Создание массивов в динамической памяти
- •Удаление объектов и массивов
- •Объявление деструктора
- •Пример: объявление деструктора
- •Объекты в автоматической памяти
- •Пример: автоматический вызов деструктора
- •Пример: автоматический вызов деструктора (продолжение)
- •Объекты в глобальной памяти
- •Объекты в полях других объектов
- •Пример: объекты в полях других объектов
- •Проблема копирования объектов
- •Объявление конструктора копий
- •Перегруженная операция присваивания
- •Основной способ наследования в C++
- •Пример: одиночное наследование
- •Переопределение методов
- •Пример: переопределение методов
- •Динамическое приведение типов
- •Пример: динамическое приведение типов не всегда допустимо
- •Пример: динамическое приведение типов
- •private- и protected-наследование
- •Наследование от нескольких базовых классов
- •Иерархия наследования и классы противоречия
- •Неоднозначности в противоречивых иерархиях
- •Разрешение неоднозначностей
- •Основная проблема противоречивых иерархий
- •Виртуальное наследование
- •Пример: виртуальное наследование
- •Понятие шаблона
- •Типовые формальные параметры шаблона
- •Нетиповые формальные параметры шаблона
- •Шаблонные формальные параметры шаблона
- •Значения параметров шаблона по умолчанию
- •Зависимые идентификаторы в шаблоне
- •Инстанциация шаблонов
- •Выведение фактических параметров при инстанциации шаблона функции
- •Требования к фактическим параметрам шаблонов
- •Специализация шаблона функции
- •Пример: специализация шаблона функции
- •Пример: перегрузка имеет больший приоритет, чем специализация
- •Cпециализация шаблона класса
- •Пример: специализация шаблона класса
- •Частичная специализация шаблона класса
- •Вычисления во время компиляции
- •Пример: возведение числа в степень
- •Понятие перегрузки операций
- •Ассортимент перегружаемых операций
- •Перегрузка операции присваивания
- •Операция присваивания возвращает левое значение
- •Составные операции присваивания
- •Перегрузка бинарных арифметических операций
- •Перегрузка операций сравнения
- •Перегрузка операций с помощью функций
- •Перегрузка унарных операций
- •Перегрузка операции приведения типа
- •Исключения
- •Оператор throw
- •Пример: оператор throw
- •Синтаксис try- и catch-блоков
- •Пример: перехват исключения std::bad_alloc
- •Жизненный цикл объектов-исключений
- •Пример 1: жизненный цикл объектов-исключений
- •Пример 2: жизненный цикл объектов-исключений
- •Пример 3: жизненный цикл объектов-исключений
- •Пример: уничтожение автоматических объектов в процессе передачи исключения в catch-блок
- •Перехват исключений в инициализаторах конструкторов
- •Пример: перехват исключений в инициализаторах конструкторов
- •Спецификатор throw в заголовках функций
- •Пример 1: спецификатор throw
- •Пример 2: спецификатор throw
- •Спецификатор throw и переопределение виртуальных методов
- •Создание классов исключений
- •Пример: создание классов исключений
Разрешение неоднозначностей
Базовые
сведения
Введение
Ссылки
Классы
В C++ для разрешения неоднозначности необходимо использовать квалифицированное имя метода.
Пример:
Поля и методы |
1 |
class |
A { public : virtual |
void |
m () |
{ |
} |
}; |
Конструкторы |
2 |
class |
B { public : virtual |
void |
m () |
{ |
} |
}; |
Создание и |
3 |
class |
C: public A , public |
B { |
}; |
|
|
|
уничтожение |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
объектов |
4 |
|
|
|
|
|
|
|
Копирование |
5 |
int main () |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
объектов |
6 |
{ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Одиночное |
|
|
|
|
|
|
||
|
|
C |
c; |
|
|
|
|
|
наследование |
7 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
Множественное |
8 |
c.A :: m (); |
|
|
|
|
|
|
|
|
|
|
|
|
|||
наследование |
|
|
|
|
|
|||
9 |
return 0; |
|
|
|
|
|
||
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
Обобщённое |
10 |
} |
|
|
|
|
|
|
программирова- |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
ние
Перегрузка
операций
Исключения
46 / 99
Основная проблема противоречивых иерархий |
|||
Базовые |
|
Основной проблемой противоречивых иерархий являет- |
|
сведения |
|
||
|
ся возможность многократного включения полей базового |
||
Введение |
|
||
Ссылки |
|
класса в производный класс. |
|
Классы |
|
||
|
Пример: |
||
Поля и методы |
|
||
|
|
||
Конструкторы |
1 |
class A |
|
Создание и |
|||
2 |
{ |
||
уничтожение |
|||
объектов |
3 |
private : |
|
Копирование |
4 |
int x; |
|
объектов |
|||
Одиночное |
5 |
}; |
|
наследование |
6 |
class B: public A {}; |
|
Множественное |
|||
|
class C: public A {}; |
||
наследование |
7 |
||
Обобщённое |
8 |
class D: public B , public C {}; |
|
программирова- |
|
|
|
ние |
|
Поле x будет содержаться в объекте класса D дважды. |
|
|
|
Перегрузка
операций
Исключения
47 / 99
Виртуальное наследование
Базовые
сведения
Введение
Ссылки
Классы
Поля и методы
Конструкторы
Создание и уничтожение объектов Копирование
объектов
Одиночное
наследование
Множественное наследование
Обобщённое
программирова- ние
Перегрузка
операций
Исключения
Избежать многократного включения базового класса в производный класс позволяет виртуальное наследование. Виртуальное наследование – это способ реализации наследования, гарантирующий, что базовый класс не будет включён ни в один из производных классов более чем в одном экземпляре.
Если класс B виртуально наследует классу A, то говорят, что
A – виртуальный базовый класс для класса B. Синтаксиче-
ски это выражается как
class B: мод virtual A
{
...
};
Здесь «мод» – это public, protected или private.
48 / 99
Пример: виртуальное наследование
Базовые |
1 |
class R |
|
сведения |
2 |
{ |
|
Введение |
|
||
3 |
public : |
|
|
Ссылки |
|
||
|
int |
q; |
|
Классы |
4 |
||
|
R () |
{ q = 13; } |
|
Поля и методы |
5 |
||
|
|
|
|
Конструкторы |
6 |
}; |
|
Создание и |
7 |
|
|
|
|
|
|
|
|
|
|
уничтожение |
8 |
class |
A: virtual |
R |
{ |
public : void |
setq ( int |
x ); |
}; |
||
объектов |
|||||||||||
|
|
|
|
|
|
|
|
|
|
||
Копирование |
9 |
class |
B: virtual |
R |
{ |
public : int |
getq (); }; |
|
|
||
объектов |
10 |
class |
C: public |
A , |
public B { |
}; |
|
|
|
||
Одиночное |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
||
наследование |
11 |
|
|
|
|
|
|
|
|
|
Множественное 12 void A :: setq ( int x) { q = x; }
наследование
13 int B :: getq () { return q; }
Обобщённое |
14 |
|
программирова- |
|
|
|
int main ( void ) |
|
ние |
15 |
|
Перегрузка |
16 |
{ |
операций |
17 |
C c; |
|
||
Исключения |
18 |
c. setq (666); |
|
19 |
cout << c. getq (); // Выведет 666 |
|
20 |
return 0; |
|
21 |
} |
|
|
49 / 99 |