- •И. А. Андрианов, д. В. Кочкин, с. Ю. Ржеуцкая
- •Учебное пособие
- •Оглавление
- •1. Основы языка 8
- •1.2.2 Простые типы данных 13
- •6. Паттерны проектирования 159
- •7. Антипаттерны 211
- •2. Работа с памятью 73
- •3. Основы объектно-ориентированного программирования 87
- •4.Обработка исключений 114
- •5. Шаблонные функции и классы. Библиотека стандартных шаблонов 130
- •9. Методы отладки и оптимизации кода 242
- •1. Основы языка
- •1.1.2 Понятие проекта
- •1.2 Простые типы данных
- •1.2.1 Понятие типа
- •1.2.2 Простые типы данных
- •1.2.3 Внутреннее представление простых типов
- •1.2.4 Ключевое слово typedef. Тип size_t
- •1.3 Константы и переменные
- •1.3.1 Литералы
- •1. Числовые константы:
- •2. Символьные константы:
- •1.3.2 Переменные
- •1.3.3 Описание переменных
- •1.4. Выражения. Преобразование типов
- •1.4.1 Операнды и операции
- •1.4.2 Приоритет операций
- •1.4.3 Преобразование типов
- •1.5 Ветвления и циклы
- •1.5.2 Циклы
- •1.6 Массивы, строки
- •1.6.1 Основные понятия
- •1.6.2 Встроенные массивы
- •1.6.3 Cтроки. Обработка строк с завершающим нулём
- •1.7 Указатели и ссылки. Связь указателей и массивов. Библиотека cstring
- •1.7.1 Понятия указателя и ссылки
- •1.7.2 Связь между массивами и указателями
- •1.7.3 Библиотека cstring
- •1.8 Использование типов vector и string
- •1.8.1 Шаблонный класс vector
- •1.8.2 Класс string
- •1.9 Структуры и объединения. Битовые поля
- •1.10.1 Понятие функции
- •1.10.2 Описание функции и прототип функции
- •1.11 Параметры функции. Способы передачи параметров
- •1.11.1 Параметры функции и глобальные переменные
- •1.11.2 Способы передачи параметров в функцию
- •1.11.3 Передача массивов в функцию
- •1.11.4 Параметры-константы
- •1.11.5 Значения параметров по умолчанию
- •1.12.1 Указатель на функцию
- •1.12.2 Функции с переменным числом параметров
- •1.12.3 Перегрузка функций
- •1.12.4 Встроенные (inline) функции
- •1.13 Рекурсивные функции
- •1.14 Пространства имён
- •1.15 Директивы препроцессора. Макросы
- •2. Работа с памятью
- •2.1 Управление выделением и освобождением памяти
- •2.1.1 Статическое и динамическое выделение памяти
- •2.1.2 Способы динамического выделения и освобождения памяти
- •2.2 Динамические структуры данных
- •2.2.1 Основные понятия
- •2.2.2 Примеры реализации динамических структур на основе указателей
- •3. Основы объектно-ориентированного программирования
- •3.1 Основные понятия ооп
- •3.2.1 Описание класса
- •3.2.2 Область видимости элементов класса. Инкапсуляция
- •3.2.3 Первые примеры
- •3.3. Конструкторы и деструкторы.
- •3.4 Указатель this
- •3.5 Перегрузка операций
- •3.6 Дружественные функции и классы
- •3.7 Статические элементы класса
- •3.8 Наследование и полиморфизм
- •3.8.1. Основные понятия
- •3.8.2 Одиночное наследование
- •3.8.3 Множественное наследование
- •3.8.4 Конструкторы и деструкторы классов-потомков
- •3.9. Полиморфизм при наследовании классов
- •3.9.1 Механизмы раннего и позднего связывания
- •3.9.2 Абстрактные классы
- •4.Обработка исключений
- •4.1 Основные понятия
- •4.2 Перехват исключений
- •4.3 Поиск обработчика исключений. Раскрутка стека.
- •4.4 Повторное возбуждение исключений
- •4.5 "Аппаратные" и "программные" исключения
- •4.6 Стандартные классы исключений
- •4.7 Спецификация исключений, возбуждаемых функцией
- •4.8 Исключения в конструкторах при наследовании
- •4.9. Исключения в деструкторах
- •5. Шаблонные функции и классы. Библиотека стандартных шаблонов
- •5.1 Шаблонные функции
- •5.2 Шаблонные классы
- •5.3 Специализация шаблонов
- •5.4 Шаблонные параметры шаблонов
- •5.6 Использование шаблонов для вычислений на этапе компиляции
- •5.5 Разработка шаблонных классов с настраиваемой функциональностью
- •5.7 Библиотека стандартных шаблонов (stl) – основные понятия
- •5.8 Последовательные контейнеры. Итераторы
- •5.9. Адаптеры контейнеров
- •5.10 Ассоциативные контейнеры
- •5.11 Алгоритмы
- •6. Паттерны проектирования
- •6.1 Порождающие шаблоны
- •6.2 Структурные шаблоны
- •6.3 Шаблоны поведения
- •6.4 Шаблон "фабричный метод" (Factory method)
- •6.5 Шаблон "одиночка" (Singleton)
- •6.6 Шаблон "итератор" (Iterator)
- •6.7 Шаблон "наблюдатель" (Observer)
- •6.8 Шаблон "пул объектов" (Object pool)
- •6.9 Шаблон "команда" (Command)
- •6. 10 Шаблон "посетитель" (Visitor)
- •6.11 Дополнительные задания
- •6.11.1 Шаблон Iterator
- •6.11.2 Шаблон Observer
- •6.11.3 Шаблоны Command и Observer
- •6.11.5 Шаблон Visitor
- •6.11.5 Разработка класса − контейнера
- •6.11.6 Оценка производительности кода
- •7. Антипаттерны
- •7.1 Программирование методом копирования и вставки (Copy-Paste Programming)
- •7.2 Спагетти-код (Spaghetti code)
- •7.3 Магические числа (Magic numbers)
- •7.4 Бездумное комментирование
- •7.5 Жесткое кодирование (Hard code)
- •7.6 Мягкое кодирование (Soft code)
- •7.7 Золотой молоток (Golden hammer)
- •7.8 Слепая вера (Blind faith)
- •7.9 Ненужная сложность (Accidental complexity)
- •7.10 Божественный объект (God Object)
- •7.11 Лодочный якорь (Boat anchor)
- •7.12 Поток лавы (Lava flow)
- •7.13 Изобретение велосипеда (Reinventing the wheel)
- •7.14 Программирование перебором (Programming by permutation)
- •8.1 Выведение типов
- •8.2 Списки инициализации
- •8.3 Улучшение процесса инициализации объектов
- •8.4 Цикл for по коллекции
- •8.5 Лямбда-функции
- •8.6 Константа нулевого указателя nullptr
- •8.7 "Умные" указатели
- •9. Методы отладки и оптимизации кода
- •9.1 Отладка кода
- •9.1.1 Основные этапы отладки
- •9.1.2 Инструменты и приёмы отладки
- •9.2 Оптимизация кода
- •9.2.1 Рекомендации по выполнению оптимизации
- •9.2.2 Методики оптимизации кода
- •Заключение
- •Библиографический список
5.11 Алгоритмы
В стандартной библиотеке имеется большое количество различных алгоритмов, реализованных в виде шаблонных функций. Для использования большинства из них необходимо подключить заголовочный файл algorithm.
В данном разделе мы рассмотрим лишь небольшую часть алгоритмов, полный их перечень можно найти в документации. Вначале перечислим функции, которые мы будем далее рассматривать, после чего опишем их более подробно с примерами применения.
• std::sort − сортировка
• std::stable_sort − устойчивая сортировка
• std::unique − удаление дубликатов
• std::binary_search − двоичный поиск
• std::lower_bound − нижняя граница
• std::upper_bound − нижняя граница
Одной из наиболее востребованных задач в программировании является сортировка данных. Для сортировки в C++ можно использовать две функции − std::sort и std::stable_sort. Отличие между ними состоит в том, что вторая функция выполняет устойчивую сортировку (то есть гарантируется, что элементы с одинаковыми ключами не поменяют свой порядок относительно друг друга). Для некоторых задач это может быть важно. Вычислительная сложность обеих функций составляет O(N∙log(N)). Однако, std::stable_sort требует больше памяти для работы, и на практике работает несколько медленнее, чем std::sort.
По умолчанию сортировка выполняется по возрастанию (точнее, по неубыванию). Однако, порядок можно поменять путём указания дополнительного аргумента функции. Примеры:
std::sort(a.begin(), a.end()); // отсортировать a по возрастанию
std::sort(a.begin(), a.end(), std::greater<int>()); // по убыванию
// по возрастанию последней цифры
std::sort(a.begin(), a.end(), [](int a, int b) {return a%10<b%10;});
В последней строчке для сравнения чисел по последней цифре используется лямбда-выражение (лямбда-выражения поддерживаются начиная с С++11).
Функция std::unique удаляет дубликаты из каждой группы стоящих подряд одинаковых элементов и возвращает итератор на элемент после последнего элемента результата (размер контейнера не изменяется). Например, если вектор a содержал числа 2, 2, 5, 5, 5, 3, 3, 2, 2, то после вызова
auto last = std::unique(a.begin(), a.end());
в векторе будет находиться 2, 5, 3, 2, 5, 3, 3, 2, 2, а итератор last будет ссылаться на пятый элемент вектора. В большинстве случаев функция std::unique применяется к уже отсортированному контейнеру, чтобы убрать в нём все повторяющиеся элементы.
Для примера решим задачу, которую мы уже решали выше с помощью множеств (см. пример 5.17): вводится N целых чисел, требуется вывести их в порядке возрастания без повторов. Решение: прочитаем входные числа в вектор, отсортируем его с помощью std::sort, уберём дубликаты с помощью std::unique, отрежем "хвост" с дубликатами с помощью метода erase, выведем результат:
// Пример 5.21 - вывод чисел по возрастанию без повторов
#include <iostream>
#include <algorithm>
int main() {
int n;
std::cin >> n;
std::vector<int> a(n);
for (int i = 0; i < n; i++)
std::cin >> a[i];
std::sort(a.begin(), a.end());
auto last = std::unique(a.begin(), a.end());
a.erase(last, a.end());
for (int x : a)
std::cout << x << " ";
}
Функции std::binary_search, std::lower_bound и std::upper_bound предназначены для выполнения двоичного поиска в упорядоченном контейнере. Заметим, что логарифмическая сложность достигается лишь для контейнеров, поддерживающих итераторы произвольного доступа − к ним относятся std::vector и std::deque.
Функция std::binary_search возвращает логическое значение − с её помощью можно эффективно определить, присутствует ли элемент в контейнере, но нельзя получить его позицию. Если нам также нужна позиция элемента, то можно использовать функцию std::lower_bound − она возвращает итератор на первый элемент, который больше или равен искомому. Функция std::upper_bound возвращает итератор на первый элемент строго больше искомого.
Для примера рассмотрим следующую задачу. Даны две последовательности чисел. Требуется вывести те числа из второй последовательности, которые также присутствуют в первой. Возможный вариант решения: прочитать первую последовательность в вектор, отсортировать его, для каждого элемента второй последовательности использовать двоичный поиск:
// Пример 5.21 - вывод чисел из второй последовательности,
// которые имеются также и в первой
#include <iostream>
#include <vector>
#include <algorithm>
int main() {
int n, m;
std::cin >> n;
std::vector<int> f(n);
for(int i = 0; i < n; i++)
std::cin >> f[i];
std::sort(f.begin(), f.end());
std::cin >> m;
for(int i = 0; i < m; i++) {
int x; std::cin >> x;
if (std::binary_search(f.begin(), f.end(), x))
std::cout << x << " ";
}
}
Заметим, что в стандартной библиотеке имеется целый ряд других алгоритмов, которые мы не рассмотрели: линейный поиск, копирование и перемещение, слияние, работа с двоичными кучами, генерация перестановок, частичная сортировка, переворот, случайное перемешивание и др. Рекомендуется найти время для более глубокого знакомства со стандартной библиотекой языка C++.
