Перегрузка функций (overload)

Это возможность определить несколько функций с одним и тем же именем, но с разными параметрами. Компилятор выбирает подходящую функцию на основе количества и типов аргументов, переданных при вызове функции.

Это позволяет использовать одно и то же имя функции для выполнения различных задач, упрощая код и делая его более читаемым.

В этом примере мы определили две перегруженные функции add(). Одна из них принимает два целых числа и возвращает их сумму, а другая принимает два числа с плавающей точкой и возвращает их сумму. В функции main() мы вызываем обе функции add() с разными типами аргументов.

#вопросы_с_собеседований
Какие есть особенности статических полей класса в языке С++?

Статические поля класса в C++ имеют несколько особенностей:

1. Общий доступ: Статические поля являются общими для всех объектов этого класса. Это означает, что изменение значения статического поля в одном объекте, изменяет его для всех объектов этого класса.
2. Инициализация: Статические поля инициализируются только один раз, когда программа запускается. Значения статических полей сохраняются на протяжении всего времени работы программы.
3. Доступ: Доступ к статическим полям класса возможен без создания объекта этого класса, например, используя имя класса и оператор :: .
4. Память: Статические поля класса хранятся не в куче или стеке, а в статической области памяти, что позволяет им занимать память только один раз, независимо от количества созданных объектов класса.

Вложенные пространства имен (nested namespaces)

Как можно понять из названия, вложенное пространство имен определяется внутри другого пространства имен. Они используются для организации кода, разделения его на логические блоки и предотвращения конфликтов имен.

nested namespaces часто используются в больших проектах, при создании библиотек, а также для версионирования.

const_cast

const_cast — это оператор приведения типов в C++, который используется для изменения квалификаторов const или volatile у указателей или ссылок. Он позволяет временно убрать const или volatile квалификаторы, чтобы изменить значение переменной или вызвать неконстантный метод для константного объекта.

В этом примере у нас есть класс MyClass с двумя методами: nonConstMethod() и constMethod(). Метод nonConstMethod() не является константным, поэтому его нельзя вызвать на константном объекте.

Однако, внутри constMethod() мы используем const_cast для временного изменения квалификатора const у указателя this, что позволяет нам вызвать nonConstMethod() на константном объекте.

Const correctness

Const correctness — это концепция, которая позволяет явно указывать, может ли функция-член класса изменять объект или нет.

Когда функция-член класса объявлена с ключевым словом const, это означает, что она не может изменять состояние объекта. Если попытаться изменить объект внутри такой функции, компилятор выдаст ошибку.

В этом примере функция age() объявлена как const, что означает, что она не может изменять объект Person. Функция set_age() не объявлена как const, поэтому она может изменять объект.

Ленивые вычисления в С++

lazy evaluation — это стратегия вычислений, при которой вычисления откладываются до тех пор, пока результат не станет действительно необходимым. Это позволяет оптимизировать производительность и ресурсоемкость программы, избегая ненужных вычислений.

Ленивые вычисления могут быть реализованы с использованием различных подходов, таких как отложенное вычисление (deferred evaluation), вычисление по требованию (on-demand evaluation) и мемоизация (memoization).

В этом примере вычисления выполняются только при первом обращении к числу Фибоначчи с определенным индексом, после чего результат сохраняется в контейнере memo для последующего использования. Это позволяет избежать повторных вычислений и оптимизировать производительность программы.

Pure virtual function

Pure virtual function (чисто виртуальная функция) — это виртуальная функция, для которой мы можем иметь реализацию, но мы должны переопределить эту функцию в производном классе, иначе производный класс также станет абстрактным классом.
Чисто виртуальная функция объявляется путем присваивания в объявлении.

В этом примере у нас есть абстрактный базовый класс Shape, который содержит чисто виртуальную функцию draw(). Мы не можем создать объект класса Shape, так как он является абстрактным классом.
Затем мы создаем два производных класса Circle и Rectangle, которые переопределяют функцию draw().
В функции main() мы создаем объекты circle и rectangle, а также указатель на базовый класс Shape. Мы устанавливаем указатель на объекты circle и rectangle и вызываем функцию draw() для каждого из них.

#вопросы_с_собеседований
Как запретить наследовать класс?

Чтобы запретить наследование класса в C++, вы можете объявить класс как final.

Ключевое слово final указывает компилятору, что класс не может быть использован в качестве базового класса для других классов. Если попытаться наследовать от класса, объявленного как final, компилятор выдаст ошибку.

class Base final {
    // ...
};

class Derived : public Base {
    // ...
};
// Ошибка компиляции: класс Base объявлен как final

std::runtime_error

std::runtime_error является классом исключений в стандартной библиотеке C++, который наследуется от класса std::exception. Этот класс предназначен для представления ошибок, которые обнаруживаются во время выполнения программы.

std::runtime_error обычно используется для создания пользовательских исключений, которые могут возникнуть из-за ошибок во время выполнения, таких как некорректные аргументы функции, неправильная работа с памятью или другие ошибки, которые нельзя обнаружить на этапе компиляции.

В данном случае, переменная b равна нулю, поэтому при вызове функции divide будет выброшено исключение. В блоке catch мы перехватываем исключение и выводим сообщение об ошибке.

Алгоритм random_shuffle

Он случайным образом переставляет элементы в диапазоне [первый, последний).

Алгоритм меняет значение каждого элемента на какой-либо другой случайно выбранный элемент.

Про различия между shuffle и random_shuffle можно почитать здесь.

Ключевое слово friend

friend в C++ используется для предоставления доступа к закрытым (private) и защищенным (protected) членам класса другим классам или функциям. Это позволяет создавать более гибкие и тесные взаимодействия между классами или функциями, не нарушая инкапсуляцию.

friend может применяться к функциям или классам. Если функция объявлена как friend класса, она получает доступ ко всем закрытым и защищенным членам этого класса. Если класс объявлен как friend другого класса, все его методы получают доступ к закрытым и защищенным членам другого класса.

В этом примере чтобы предоставить функции printVolume доступ к закрытым членам класса Box, мы объявляем ее дружественной функцией с помощью ключевого слова friend. Теперь функция printVolume может обращаться к закрытым членам класса Box и вычислять объем коробки.

std::atomic

std::atomic является частью библиотеки <atomic>, которая была введена в C++11 для поддержки операций с атомарностью. Атомарные операции гарантируют, что операции будут выполнены как единое, неделимое действие, что особенно важно в многопоточном программировании, чтобы избежать состояний гонки.

std::atomic может быть использован в любом месте, где требуется безопасность потоков, например, при обновлении глобальных или общих переменных в многопоточной среде.

В этом примере у нас есть глобальная переменная counter, которую мы хотим инкрементировать в двух разных потоках. Без использования std::atomic мы могли бы столкнуться с состоянием гонки (race condition), когда оба потока пытаются обновить counter одновременно. Однако, поскольку мы используем std::atomic<int>, каждое обновление counter является атомарной операцией, и состояние гонки не происходит.

#вопросы_с_собеседований
Что такое cache miss и как это выявить?

Cache miss — это событие, когда система или приложение делает запрос на получение данных из кэша, но эти данные в данный момент отсутствуют в кэш-памяти. В результате системе или приложению приходится делать вторую попытку найти данные, на этот раз в более медленной основной базе данных.

Чтобы выявить cache miss в C++, вы можете использовать инструменты профилирования, которые могут анализировать события, связанные с кэшем. Некоторые из таких инструментов включают:

Cachegrind: инструмент для профилирования кэша, который является частью набора инструментов Valgrind. Cachegrind может анализировать поведение кэша вашего приложения и предоставлять информацию о cache miss и других событиях, связанных с кэшем.
Perf: инструмент для профилирования производительности в Linux, который может использовать аппаратные счетчики процессора для анализа событий, связанных с кэшем.
OProfile: еще один инструмент для профилирования производительности в Linux, который также может использовать аппаратные счетчики процессора для анализа событий, связанных с кэшем.

Boost.Serialization

Boost.Serialization — это часть обширной библиотеки Boost и предоставляет мощные возможности для сериализации и десериализации объектов. Она поддерживает большинство типов данных C++, включая пользовательские типы, и может сериализовать данные в различные форматы, включая двоичный, текстовый и XML.

Boost.Serialization может использоваться для сохранения состояния программы, передачи данных между процессами и постоянного хранения данных.

В этом примере мы создаем объект MyClass с именем obj1 и сохраняем его состояние в файле с помощью boost::archive::text_oarchive. Затем мы восстанавливаем объект obj2 из этого файла с помощью boost::archive::text_iarchive. В конце мы выводим значения полей obj2, чтобы убедиться, что состояние было правильно восстановлено.

cereal

Библиотека cereal для C++ — это гибкая и эффективная библиотека для сериализации, которая поддерживает множество форматов, включая бинарные, XML и JSON. Она может быть использована в различных областях, где требуется сохранение и восстановление состояния объектов.

В этом примере мы создаем структуру MyData и сохраняем ее состояние в файле с помощью cereal::BinaryOutputArchive. Затем мы восстанавливаем структуру из этого файла с помощью cereal::BinaryInputArchive. В конце мы выводим значения полей m2, чтобы убедиться, что состояние было правильно восстановлено.

Uniform initialization

Uniform initialization — это способ инициализации переменных и объектов, который был введен в стандарте C++11. Он представляет собой универсальный и более предсказуемый способ инициализации, который использует фигурные скобки {} вместо круглых () или присваивания =.

Преимущества uniform initialization включают:
- Предотвращает узкое преобразование (narrowing conversion), которое может привести к потере данных.
- Обеспечивает одинаковый синтаксис для инициализации всех типов данных и структур.
- Позволяет инициализировать объекты, которые ранее не могли быть инициализированы, такие как массивы и структуры.

*Важно отметить, что uniform initialization не всегда работает так, как ожидается, особенно в случае с перегруженными конструкторами. В некоторых случаях, компилятор может выбрать не тот конструктор, который вы ожидали, что может привести к неожиданному поведению.

Aggregate initialization

Aggregate initialization — это форма инициализации, которая позволяет инициализировать агрегаты (объекты определенных типов) с использованием фигурных скобок и списка значений. Агрегаты могут быть одним из следующих типов:

- Массивы
- Структуры или классы без пользовательских конструкторов, без закрытых или защищенных нестатических членов данных, без базовых классов и без виртуальных функций.

В этом примере мы создаем структуру Point, которая содержит два целочисленных поля x и y. Затем мы инициализируем объект p1 этой структуры с помощью aggregate initialization, указывая значения для x и y в фигурных скобках. Аналогично, мы инициализируем массив arr с помощью списка значений в фигурных скобках.

Сырые указатели

Сырые указатели — это переменные, которые хранят адрес другой переменной. Они используются во многих ситуациях, включая динамическое выделение памяти, создание связанных структур данных (например, деревьев и связанных списков), и для работы с массивами.

В этом примере p — это сырой указатель на переменную x. Мы можем получить значение x через указатель, используя оператор разыменования *, и мы можем изменить значение x через указатель. Вывод программы показывает, что значение x действительно изменяется через указатель.

Однако использование сырых указателей может быть опасным, поскольку они могут привести к ошибкам, таким как утечки памяти, разыменование нулевого указателя и разыменование висячего указателя. По этой причине в современном C++ рекомендуется использовать умные указатели, такие как std::unique_ptr, std::shared_ptr и std::weak_ptr, которые автоматически управляют жизненным циклом объектов.

Template Method

Паттерн Template Method относится к поведенческим шаблонам проектирования и предоставляет скелет алгоритма в базовом классе, позволяя подклассам переопределять некоторые шаги алгоритма без изменения его структуры.

Этот паттерн часто используется в разработке фреймворков, где каждый подкласс реализует неизменные части архитектуры домена, оставляя "заполнители" для опций настройки.

В этом примере AbstractClass определяет шаблонный метод TemplateMethod(), который состоит из вызовов различных операций в определенной последовательности. Некоторые из этих операций делегируются подклассам ConcreteClass1 и ConcreteClass2.

#вопросы_с_собеседований
Что такое internal linkage?

internal linkage (внутреннее связывание) означает, что имя (например, переменная или функция) видимо и доступно только в пределах файла (или, точнее, в пределах трансляционной единицы), в котором оно определено. Это означает, что если у вас есть два разных файла с исходным кодом, и в каждом из них определено имя с внутренней связью, то эти два имени считаются разными и не конфликтуют друг с другом.

Внутреннюю связь в C++ можно установить несколькими способами. Например, если вы определите переменную или функцию как static, она будет иметь внутреннюю связь. Также, имена в безымянных пространствах имен (anonymous namespaces) имеют внутреннюю связь.

Флаг компиляции -fPIC

-fPIC используется для генерации позиционно-независимого кода (Position Independent Code, PIC).
Это означает, что сгенерированный код может быть исполнен независимо от его абсолютного адреса в памяти.

Это особенно полезно при создании динамических библиотек, которые могут быть загружены в произвольное место в памяти во время выполнения.

Результатом применения этого флага будет объектный файл, который содержит позиционно-независимый код. Этот объектный файл затем может быть использован для создания динамической библиотеки, которую можно загрузить и использовать во время выполнения других программ.