absl::btree
absl::btree — это реализация B-дерева в библиотеке Abseil для C++.
Преимущества absl::btree — это хранение данных в отсортированном порядке, быстрый поиск, вставка и удаление за O(logN), поддержка уникальных и неуникальных ключей, реализация set и map.
Применяется в задачах, где нужна высокопроизводительная структура данных с отсортированным доступом, например:
Реализация словарей и сортированных множеств;
Для хранения данных в базах данных;
В поисковых системах для индексов;
В структурах вроде кэша для быстрого доступа;
В задачах машинного обучения для хранения данных.
absl::btree — это реализация B-дерева в библиотеке Abseil для C++.
Преимущества absl::btree — это хранение данных в отсортированном порядке, быстрый поиск, вставка и удаление за O(logN), поддержка уникальных и неуникальных ключей, реализация set и map.
Применяется в задачах, где нужна высокопроизводительная структура данных с отсортированным доступом, например:
Реализация словарей и сортированных множеств;
Для хранения данных в базах данных;
В поисковых системах для индексов;
В структурах вроде кэша для быстрого доступа;
В задачах машинного обучения для хранения данных.
std::clamp
std::clamp — это функция из стандартной библиотеки, которая позволяет ограничить значение в заданном диапазоне.
Функция принимает значение, нижнюю и верхнюю границы и возвращает исходное значение, если оно входит в диапазон, или же возвращает ближайшую границу, если значение вне диапазона.
Применяется для:
— Ограничения числовых значений в заданных пределах.
— Обработки данных из недостоверных источников.
— Защиты от переполнения/обрезания данных.
— Нормализации данных в ML и компьютерном зрении.
— Реализации игровой логики в движках.
— Обработки аудио- и видео- сигналов.
std::clamp — это функция из стандартной библиотеки, которая позволяет ограничить значение в заданном диапазоне.
Функция принимает значение, нижнюю и верхнюю границы и возвращает исходное значение, если оно входит в диапазон, или же возвращает ближайшую границу, если значение вне диапазона.
Применяется для:
— Ограничения числовых значений в заданных пределах.
— Обработки данных из недостоверных источников.
— Защиты от переполнения/обрезания данных.
— Нормализации данных в ML и компьютерном зрении.
— Реализации игровой логики в движках.
— Обработки аудио- и видео- сигналов.
Алгоритм generate
std::generate — это алгоритм из стандартной библиотеки C++, который используется для заполнения диапазона элементов сгенерированными значениями.
Принимает три параметра: начало диапазона, конец диапазона и функцию генерации. Функция генерации должна принимать неявный счетчик и возвращать очередное значение.
Для каждого элемента в заданном диапазоне будет вызываться функция генерации, и результат будет записан в этот элемент.
В этом примере std::generate совместно с генератором случайных чисел используется для быстрого заполнения вектора случайными значениями.
#это_база
std::generate — это алгоритм из стандартной библиотеки C++, который используется для заполнения диапазона элементов сгенерированными значениями.
Принимает три параметра: начало диапазона, конец диапазона и функцию генерации. Функция генерации должна принимать неявный счетчик и возвращать очередное значение.
Для каждого элемента в заданном диапазоне будет вызываться функция генерации, и результат будет записан в этот элемент.
В этом примере std::generate совместно с генератором случайных чисел используется для быстрого заполнения вектора случайными значениями.
#это_база
#вопросы_с_собеседований
Может ли inline-функция быть рекурсивной?
Поскольку компилятор просто встраивает код inline-функции в место вызова, не имеет значения, является ли эта функция рекурсивной или нет. Компилятор будет просто копировать один и тот же код функции при каждом рекурсивном вызове.
Таким образом, рекурсивные inline-функции абсолютно допустимы и часто используются, когда нужна рекурсия без накладных расходов на стандартные вызовы функций.
Может ли inline-функция быть рекурсивной?
Таким образом, рекурсивные inline-функции абсолютно допустимы и часто используются, когда нужна рекурсия без накладных расходов на стандартные вызовы функций.
#вопросы_с_собеседований
Для чего нужен атрибут fallthrough?
Атрибут [[fallthrough]] используется для явного указания того, что в конструкции switch нужно пропустить break в конце case и перейти к выполнению следующего case.
По умолчанию в С++17 и новее переход между case без break приводит к ошибке компиляции и чтобы сохранить старое поведение и разрешить переход, нужно добавить [[fallthrough]].
Это улучшает читаемость кода, явно указывая на отсутствие break и помогает избежать случайного отсутствия break, когда разработчик забыл его добавить.
[[fallthrough]] также полезен при рефакторинге старого кода с switch в современный стандарт С++.
Для чего нужен атрибут fallthrough?
По умолчанию в С++17 и новее переход между case без break приводит к ошибке компиляции и чтобы сохранить старое поведение и разрешить переход, нужно добавить [[fallthrough]].
Это улучшает читаемость кода, явно указывая на отсутствие break и помогает избежать случайного отсутствия break, когда разработчик забыл его добавить.
[[fallthrough]] также полезен при рефакторинге старого кода с switch в современный стандарт С++.
#вопросы_с_собеседований
Для чего нужен атрибут maybe_unused?
Атрибут [[maybe_unused]] используется для подавления предупреждений компилятора об неиспользуемых объектах.
Компилятор выдает предупреждение, если объект объявлен, но нигде не используется и чтобы избавиться от ложных предупреждений, например, когда объект используется только в отладочной сборке, применяют [[maybe_unused]].
Позволяет задать политику использования на уровне отдельных объектов и улучшает читаемость кода, явно объясняя причину неиспользования.
Для чего нужен атрибут maybe_unused?
Компилятор выдает предупреждение, если объект объявлен, но нигде не используется и чтобы избавиться от ложных предупреждений, например, когда объект используется только в отладочной сборке, применяют [[maybe_unused]].
Позволяет задать политику использования на уровне отдельных объектов и улучшает читаемость кода, явно объясняя причину неиспользования.
Лямбда-выражения
Лямбда-выражения (lambda) — это безымянные функции, которые можно использовать для передачи поведения или сравнения.
Объявляются как {body;}, в квадратных скобках указываются аргументы, в фигурных — тело.
Полезны для задания функций сравнения, например в алгоритмах sort(), когда нужно быстро передать функциональность, не создавая отдельную функцию.
Поддерживают захват по значению [=] и по ссылке [&].
Можно сохранить в переменной с помощью auto.
#это_база
Лямбда-выражения (lambda) — это безымянные функции, которые можно использовать для передачи поведения или сравнения.
Объявляются как {body;}, в квадратных скобках указываются аргументы, в фигурных — тело.
Полезны для задания функций сравнения, например в алгоритмах sort(), когда нужно быстро передать функциональность, не создавая отдельную функцию.
Поддерживают захват по значению [=] и по ссылке [&].
Можно сохранить в переменной с помощью auto.
#это_база
string at()
std::string::at() — это метод для доступа к символу строки по указанному индексу.
Принимает в качестве аргумента индекс символа типа size_t и возвращает ссылку на символ по данному индексу.
— Индексация начинается с 0 до size()-1.
— Выбрасывает исключение out_of_range, если индекс вне диапазона.
— Более безопасен, чем оператор [], так как проверяет границы.
Полезен в циклах для доступа к каждому символу, когда нужен безопасный доступ для чтения/записи конкретного символа.
#это_база
std::string::at() — это метод для доступа к символу строки по указанному индексу.
Принимает в качестве аргумента индекс символа типа size_t и возвращает ссылку на символ по данному индексу.
— Индексация начинается с 0 до size()-1.
— Выбрасывает исключение out_of_range, если индекс вне диапазона.
— Более безопасен, чем оператор [], так как проверяет границы.
Полезен в циклах для доступа к каждому символу, когда нужен безопасный доступ для чтения/записи конкретного символа.
#это_база
std::data
std::data — это стандартная функция, которая возвращает указатель на недоступное буферное хранилище контейнера.
Она используется для непосредственного доступа к данным контейнера в памяти.
Основные применения:
— Прямой доступ к элементам массива или вектора для чтения/записи.
— Передача данных контейнера в функции, принимающие указатель в качестве аргумента.
— Выполнение операций, зависящих от порядка элементов в памяти.
— Оптимизации производительности за счёт избежания копирования.
— Низкоуровневые операции и интеграция с кодом на С.
— Итерация элементов в порядке хранения.
std::data — это стандартная функция, которая возвращает указатель на недоступное буферное хранилище контейнера.
Она используется для непосредственного доступа к данным контейнера в памяти.
Основные применения:
— Прямой доступ к элементам массива или вектора для чтения/записи.
— Передача данных контейнера в функции, принимающие указатель в качестве аргумента.
— Выполнение операций, зависящих от порядка элементов в памяти.
— Оптимизации производительности за счёт избежания копирования.
— Низкоуровневые операции и интеграция с кодом на С.
— Итерация элементов в порядке хранения.
std::filesystem
std::filesystem — это библиотека для работы с файловой системой: файлами, каталогами, путями.
Она появилась в С++17 и используется для:
— Получения информации о файлах.
— Операций с каталогами.
— Работы с путями.
— Проверки существования файлов и каталогов.
— Обхода дерева каталогов, в т. ч. рекурсивного.
— Копирования и перемещения файлов, директорий.
— Синхронной и асинхронной работы с файлами.
— Работы с правами доступа и временными метками.
std::filesystem — это библиотека для работы с файловой системой: файлами, каталогами, путями.
Она появилась в С++17 и используется для:
— Получения информации о файлах.
— Операций с каталогами.
— Работы с путями.
— Проверки существования файлов и каталогов.
— Обхода дерева каталогов, в т. ч. рекурсивного.
— Копирования и перемещения файлов, директорий.
— Синхронной и асинхронной работы с файлами.
— Работы с правами доступа и временными метками.
Функция minmax_element
Функция minmax_element — это алгоритм из стандартной библиотеки algorithm, который позволяет найти минимальный и максимальный элементы в диапазоне.
Функция принимает два итератора, задающих диапазон поиска и возвращает пару итераторов на минимальный и максимальный элементы. Работает для любых типов данных, поддерживающих операцию сравнения <.
Некоторые характеристики:
— Позволяет найти границы диапазона за один проход по последовательности.
— Удобна при необходимости найти пределы в контейнере или массиве.
— Предпочтительнее циклов, т. к. проще в использовании и читабельнее.
— Может применяться со стандартными контейнерами, векторами, списками.
#это_база
Функция minmax_element — это алгоритм из стандартной библиотеки algorithm, который позволяет найти минимальный и максимальный элементы в диапазоне.
Функция принимает два итератора, задающих диапазон поиска и возвращает пару итераторов на минимальный и максимальный элементы. Работает для любых типов данных, поддерживающих операцию сравнения <.
Некоторые характеристики:
— Позволяет найти границы диапазона за один проход по последовательности.
— Удобна при необходимости найти пределы в контейнере или массиве.
— Предпочтительнее циклов, т. к. проще в использовании и читабельнее.
— Может применяться со стандартными контейнерами, векторами, списками.
#это_база
Алгоритм is_partitioned
Алгоритм is_partitioned — это алгоритм из стандартной библиотеки algorithm, который проверяет, разбит ли диапазон элементов определенным образом.
Принимает три параметра:
— Два итератора, задающих проверяемый диапазон.
— Предикат (функцию или функтор), определяющий разбиение.
Возвращает bool значение — true если диапазон разбит согласно предикату и false в противном случае.
Этот алгоритм предпочтительнее цикла, т. к. проще в использовании и читабельнее, ведь он эффективно проверяет условие за один проход по последовательности.
В примере мы определяем предикат isEven для проверки четности числа, передаем его в is_partitioned вместе с вектором v и выводим результат.
#это_база
Алгоритм is_partitioned — это алгоритм из стандартной библиотеки algorithm, который проверяет, разбит ли диапазон элементов определенным образом.
Принимает три параметра:
— Два итератора, задающих проверяемый диапазон.
— Предикат (функцию или функтор), определяющий разбиение.
Возвращает bool значение — true если диапазон разбит согласно предикату и false в противном случае.
Этот алгоритм предпочтительнее цикла, т. к. проще в использовании и читабельнее, ведь он эффективно проверяет условие за один проход по последовательности.
В примере мы определяем предикат isEven для проверки четности числа, передаем его в is_partitioned вместе с вектором v и выводим результат.
#это_база
#вопросы_с_собеседований
Зачем делать explicit-конструктор?
Explicit-конструктор используется для преобразования типов с явным указанием желаемого типа. Это позволяет избежать неявных преобразований и потенциальных ошибок.
Основные причины использовать explicit-конструктора:
— Предотвратить неявные преобразования, которые могут привести к потере данных.
— Избежать вызова конструктора при копировании объекта.
— Принудительно вызывать конструктор только при явном преобразовании типов.
— Улучшить читаемость кода, делая преобразования типов очевидными.
Зачем делать explicit-конструктор?
Основные причины использовать explicit-конструктора:
— Предотвратить неявные преобразования, которые могут привести к потере данных.
— Избежать вызова конструктора при копировании объекта.
— Принудительно вызывать конструктор только при явном преобразовании типов.
— Улучшить читаемость кода, делая преобразования типов очевидными.
#вопросы_с_собеседований
Чем отличается конструктор копирования от оператора присваивания?
Конструктор копирования:
— Вызывается при создании нового объекта на основе существующего.
— Имеет сигнатуру ClassName(const ClassName&).
— Обычно выполняет полное копирование данных из одного объекта в другой.
Оператор присваивания:
— Вызывается при присваивании значений между существующими объектами.
— Имеет сигнатуру ClassName& operator=(const ClassName&).
— Часто выполняет поверхностное копирование, присваивая ресурсы.
Различия:
— Конструктор копирования создает новый объект, оператор присваивания — нет.
— Конструктор вызывается автоматически, оператор — явно программистом.
— Конструктор вызывается один раз, оператор может вызываться многократно.
Чем отличается конструктор копирования от оператора присваивания?
— Вызывается при создании нового объекта на основе существующего.
— Имеет сигнатуру ClassName(const ClassName&).
— Обычно выполняет полное копирование данных из одного объекта в другой.
Оператор присваивания:
— Вызывается при присваивании значений между существующими объектами.
— Имеет сигнатуру ClassName& operator=(const ClassName&).
— Часто выполняет поверхностное копирование, присваивая ресурсы.
Различия:
— Конструктор копирования создает новый объект, оператор присваивания — нет.
— Конструктор вызывается автоматически, оператор — явно программистом.
— Конструктор вызывается один раз, оператор может вызываться многократно.
#вопросы_с_собеседований
Какая разница между std::map и std::unordered_map?
std::map — это ассоциативный контейнер на основе красно-черного дерева. Элементы хранятся в отсортированном порядке по ключу. Сложность операций O(log N).
std::unordered_map реализован как хеш-таблица. Элементы хранятся в произвольном порядке. В среднем сложность операций O(1).
Основные различия между std::map и std::unordered_map:
— Поиск, вставка и удаление в std::map за O(log N) в худшем случае. В std::unordered_map за O(1) в среднем.
— Итераторы std::map позволяют перебирать элементы в отсортированном порядке. Порядок элементов std::unordered_map произвольный.
— Map поддерживает бинарный поиск lower_bound(), upper_bound(), а unordered_map — нет.
— В unordered_map нельзя использовать указатели в качестве ключей в хеш-таблице. В map можно.
Какая разница между std::map и std::unordered_map?
std::unordered_map реализован как хеш-таблица. Элементы хранятся в произвольном порядке. В среднем сложность операций O(1).
Основные различия между std::map и std::unordered_map:
— Поиск, вставка и удаление в std::map за O(log N) в худшем случае. В std::unordered_map за O(1) в среднем.
— Итераторы std::map позволяют перебирать элементы в отсортированном порядке. Порядок элементов std::unordered_map произвольный.
— Map поддерживает бинарный поиск lower_bound(), upper_bound(), а unordered_map — нет.
— В unordered_map нельзя использовать указатели в качестве ключей в хеш-таблице. В map можно.
#вопросы_с_собеседований
Как подсчитать количество элементов в std::list?
Чтобы подсчитать количество элементов в std::list, можно использовать следующие способы:
1. Вызвать метод size() самого списка. Он вернет количество элементов.
2. Проитерировать список циклом и считать элементы.
3. Воспользоваться алгоритмом std::distance, передав ему начало и конец списка.
4. Применить алгоритм std::count_if с условием, которое всегда истинно.
Как подсчитать количество элементов в std::list?
1. Вызвать метод size() самого списка. Он вернет количество элементов.
2. Проитерировать список циклом и считать элементы.
3. Воспользоваться алгоритмом std::distance, передав ему начало и конец списка.
4. Применить алгоритм std::count_if с условием, которое всегда истинно.
Функция resize
Функция
Она динамически меняет количество элементов в контейнере на указанное число.
Например, для вектора
Если изначально элементов было меньше — новые будут инициализированы по умолчанию (нулями). Если было больше — лишние удалятся.
Также можно явно задать значение для инициализации:
#это_база
Функция
resize служит для изменения размера контейнеров, например вектора или deque. Она динамически меняет количество элементов в контейнере на указанное число.
Например, для вектора
numbers вызов:numbers.resize(100);Установит размер вектора в 100 элементов.
Если изначально элементов было меньше — новые будут инициализированы по умолчанию (нулями). Если было больше — лишние удалятся.
Также можно явно задать значение для инициализации:
numbers.resize(80, -1);Также
resize принимает вектор-шаблон для копирования значений при расширении.#это_база
Алгоритм stable_partition
Алгоритм
Он принимает начало и конец контейнера, а также условие в виде функции или лямбда-выражения.
В результате все элементы, для которых условие истинно, окажутся в начале контейнера, а остальные — в конце.
Отличие от
Это бывает важно, например, при разбиении по нескольким критериям.
В примере мы разделили вектор на две части — четные и нечетные числа. Благодаря
#это_база
Алгоритм
std::stable_partition используется для разбиения контейнера на две части по какому-либо условию. Он принимает начало и конец контейнера, а также условие в виде функции или лямбда-выражения.
В результате все элементы, для которых условие истинно, окажутся в начале контейнера, а остальные — в конце.
Отличие от
partition в том, что stable_partition сохраняет относительный порядок элементов. Те, что шли перед разбиением в одной группе, останутся в том же порядке после.Это бывает важно, например, при разбиении по нескольким критериям.
В примере мы разделили вектор на две части — четные и нечетные числа. Благодаря
stable_partition сохранен относительный порядок элементов в каждой части.#это_база
Ромбовидное наследование
Ромбовидное наследование (diamond inheritance) — это ситуация, когда класс наследуется от нескольких базовых классов, которые в свою очередь наследуются от общего предка.
Например:
На изображении класс
При вызове
Ромбовидное наследование (diamond inheritance) — это ситуация, когда класс наследуется от нескольких базовых классов, которые в свою очередь наследуются от общего предка.
Например:
class A { };
class B : public A { };
class C : public A { };
class D : public B, public C { };
Здесь класс D наследуется от B и C, которые оба наследуются от класса A. Получается ромбовидная иерархия наследования.На изображении класс
D наследуется от B и C, которые в свою очередь наследуют метод print() от A.При вызове
printAll() метод print() вызывается дважды — по пути наследования через B и через C.Как избежать deadlock
Deadlock (взаимная блокировка) возникает, когда два или более потока заблокированы в ожидании ресурса, который удерживается другим потоком.
Чтобы избежать deadlock, нужно следовать следующим правилам:
— Не блокировать ресурсы в разном порядке в разных потоках.
— Не удерживать блокировку во время выполнения долгих операций.
— Использовать
— Избегать вложенных блокировок одного и того же мьютекса.
— Применять порядок блокировки ресурсов, например, всегда в алфавитном порядке.
— Использовать мьютексы только для защиты данных, а не для управления логикой.
Соблюдая эти правила, можно предотвратить ситуации взаимной блокировки потоков и построить корректную многопоточную логику.
Deadlock (взаимная блокировка) возникает, когда два или более потока заблокированы в ожидании ресурса, который удерживается другим потоком.
Чтобы избежать deadlock, нужно следовать следующим правилам:
— Не блокировать ресурсы в разном порядке в разных потоках.
— Не удерживать блокировку во время выполнения долгих операций.
— Использовать
lock_guard или unique_lock вместо явных lock/unlock.— Избегать вложенных блокировок одного и того же мьютекса.
— Применять порядок блокировки ресурсов, например, всегда в алфавитном порядке.
— Использовать мьютексы только для защиты данных, а не для управления логикой.
Соблюдая эти правила, можно предотвратить ситуации взаимной блокировки потоков и построить корректную многопоточную логику.
#вопросы_с_собеседований
Что такое variadic templates?
Variadic templates — это функция шаблонов, которая позволяет определить функцию или класс с переменным количеством аргументов.
Эта возможность появилась в C++11.
Variadic templates позволяют создавать функции, которые могут принимать произвольное количество аргументов, не зная заранее их типов.
Это достигается за счет использования упаковки аргументов (pack expansion) и рекурсивных шаблонов.
Проще говоря, variadic templates расширяют возможности шаблонов и позволяют создавать гибкие и универсальные компоненты.
Что такое variadic templates?
Эта возможность появилась в C++11.
Variadic templates позволяют создавать функции, которые могут принимать произвольное количество аргументов, не зная заранее их типов.
Это достигается за счет использования упаковки аргументов (pack expansion) и рекурсивных шаблонов.
Проще говоря, variadic templates расширяют возможности шаблонов и позволяют создавать гибкие и универсальные компоненты.