Подготовка Middle C++

Вопросы на собеседовании Middle C++-разработчика

15 выбранных вопросов для Middle C++-разработчиков, которым нужно обсуждать производительность, владение ресурсами и инженерные компромиссы.

Начать ИИ-собеседование Middle C++Кредитная карта не требуется. Доступна 1 бесплатная сессия.

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

Управление памятью

1Как работают пользовательские deleter в smart pointer и когда они полезны для взаимодействия C/C++?

Пользовательский deleter — это вызываемая логика очистки, которую smart pointer использует вместо операции delete по умолчанию, когда указатель освобождает принадлежащий ему ресурс. Он полезен для взаимодействия C/C++, когда ресурс нужно освобождать конкретной функцией, например fclose, close, curl_easy_очистка, SSL_free, free или destroy-функцией библиотеки. Для unique_ptr тип deleter входит в тип unique_ptr и может влиять на его размер; stateless deleter могут быть оптимизированы, а deleter в виде указателя на функцию или stateful deleter добавляют хранилище. Для shared_ptr deleter хранится в control block и выполняется, когда последний сильный владелец освобождает объект. Пользовательские deleter позволяют C-ресурсам безопасно участвовать в RAII.

using FilePtr = std::unique_ptr<FILE, int(*)(FILE*)>;

FilePtr open_file(const char* path) {
    return FilePtr(std::fopen(path, "r"), &std::fclose);
}

struct CurlDeleter {
    void operator()(CURL* h) const noexcept {
        if (h) curl_easy_cleanup(h);
    }
};

using CurlPtr = std::unique_ptr<CURL, CurlDeleter>;
CurlPtr make_curl() {
    return CurlPtr(curl_easy_init());
}

Попробовать ответить на вопрос AI-тренеру

2Объясните механики weak_ptr и control block у shared_ptr, включая циклы, enable_shared_from_this и стоимость refcount.

shared_ptr управляет совместным владением через control block, содержащий сильный и слабый счётчики ссылок, а также информацию об очистке — например, deleter и allocator. Копирование или уничтожение объектов shared_ptr увеличивает или уменьшает сильный счётчик, обычно атомарными операциями, поэтому отдельные объекты shared_ptr можно безопасно использовать из разных потоков, но каждое обновление refcount имеет стоимость. Когда сильный счётчик достигает нуля, управляемый объект уничтожается; control block остаётся, пока не исчезнут и слабые ссылки. weak_ptr указывает на тот же control block, не продлевая время жизни объекта; lock() возвращает shared_ptr, если объект ещё жив, и пустой shared_ptr в противном случае. Циклы только из shared_ptr приводят к утечкам, потому что сильные счётчики никогда не достигают нуля, поэтому weak_ptr используют для обратных указателей или observer-связей. enable_shared_from_this позволяет объекту, которым уже владеет shared_ptr, создать новый shared_ptr на себя, используя существующий control block, избегая опасных отдельных control block. Стоимость refcount включает атомарные increment/decrement, contention кэша, аллокацию control block и накладные расходы в горячих путях.

struct Parent;

struct Child {
    std::weak_ptr<Parent> parent; // non-owning back-reference
};

struct Parent {
    std::vector<std::shared_ptr<Child>> children; // owns children
};

void example() {
    auto p = std::make_shared<Parent>();
    auto c = std::make_shared<Child>();
    c->parent = p;
    p->children.push_back(c);

    if (auto locked = c->parent.lock()) {
        // safe use while Parent is still alive
    }
}

Попробовать ответить на вопрос AI-тренеру

Шаблоны

3Объясните категории значений (value categories) в C++ и perfect forwarding, а также почему это важно для эффективных обобщённых API.

Категории значений в C++ описывают выражения: lvalue имеют идентичность и к ним можно обращаться после выражения; prvalue — чистые rvalue, например многие временные/вычисленные значения; xvalue — истекающие объекты, чьи ресурсы можно повторно использовать. Perfect forwarding — это шаблонный приём: принять forwarding reference, обычно T&&, где T выводится, и переслать через std::forward<T>(arg), чтобы сохранить категорию значения вызывающего кода: lvalue остаются lvalue, а rvalue — rvalue. Это возможно благодаря правилам свёртки ссылок (reference collapsing). Это важно для обобщённых backend API, потому что обёртки, фабрики, диспетчеры и функции в стиле emplace могут избегать лишних копий и сохранять выбор перегрузок и поведение перемещения.

#include <iostream>
#include <string>
#include <utility>

void sink(const std::string&) { std::cout << "const ref\n"; }
void sink(std::string&&) { std::cout << "rvalue ref\n"; }

template <class T>
void wrapper(T&& arg) {
    sink(std::forward<T>(arg));
}

int main() {
    std::string s = "hello";
    wrapper(s);
    wrapper(std::string{"x"});
}

Попробовать ответить на вопрос AI-тренеру

Система типов

4Сравните auto, decltype, decltype(auto) и вывод аргументов шаблона в типичном backend-коде.

auto использует вывод, похожий на шаблонный, для переменных: обычный auto обычно отбрасывает ссылки и cv-квалификаторы верхнего уровня (top-level const), если объявление об этом не просит, например auto&, const auto& или auto&&. decltype(expr) более точно исследует объявленный тип или тип выражения: не взятое в скобки id-expression даёт объявленный тип, тогда как другие lvalue-выражения дают T&, xvalue — T&&, а prvalue — T. decltype(auto) выводит тип по правилам decltype, часто для возвращаемых типов, когда нужно сохранить ссылки. Вывод аргументов шаблона похож на auto, но зависит от формы параметра — T, T&, const T& или T&& — и имеет собственные правила. Braced initializer — частый источник различий: auto x = {1,2} выводит std::initializer_list<int>, тогда как обычный параметр шаблона, как правило, не может вывести T из «голого» braced initializer, если параметр не ожидает initializer_list или другой подходящий тип.

int x = 1;
const int cx = 2;
int& rx = x;

auto a = rx;        // int, copy of x
auto b = cx;        // int, top-level const dropped
const auto& c = cx; // const int&, reference preserved by declaration

a = 10;             // does not change x

Попробовать ответить на вопрос AI-тренеру

5Сравните std::variant с полиморфизмом на основе наследования для моделирования разнородных сообщений или событий.

std::variant — value type, который хранит ровно одну альтернативу из фиксированного, закрытого множества типов и обычно обрабатывается через std::visit или явные запросы типа. Он полезен для протокольных сообщений или событий, когда множество видов сообщений известно и нужна типобезопасная обработка без virtual dispatch и часто без кучной аллокации на объект. Полиморфизм на основе наследования использует базовый класс и виртуальные функции для диспетчеризации через общий интерфейс; он лучше, когда множество производных типов сообщений открыто, независимо расширяемо, plugin-подобно или скрыто за стабильным интерфейсом. Variant благоприятствует закрытым sum types, локальности и проверкам на этапе компиляции; наследование — расширяемости, runtime-полиморфизму и интерфейсному дизайну.

struct UserCreated { std::string id; };
struct UserDeleted { std::string id; };
struct PasswordChanged { std::string id; };

using Event = std::variant<UserCreated, UserDeleted, PasswordChanged>;

void handle(Event const& e) {
    std::visit([](auto const& msg) {
        using T = std::decay_t<decltype(msg)>;
        if constexpr (std::is_same_v<T, UserCreated>) {
            // handle creation
        } else if constexpr (std::is_same_v<T, UserDeleted>) {
            // handle deletion
        } else if constexpr (std::is_same_v<T, PasswordChanged>) {
            // handle password change
        }
    }, e);
}

Попробовать ответить на вопрос AI-тренеру

Семантика языка

6Что такое неопределённое поведение (undefined behavior) в C++ и как оно может проявляться в производственных инцидентах backend?

Неопределённое поведение (undefined behavior, UB) — это поведение, для которого стандарт C++ не накладывает никаких требований после недопустимой операции. Программа может казаться рабочей, падать, портить данные, открывать уязвимости безопасности или быть оптимизированной до неожиданного поведения. Компиляторы предполагают, что UB не происходит, и оптимизируют исходя из этого, поэтому проблемы могут проявляться только в release-сборках или под производственной нагрузкой. Backend-инциденты могут возникать из-за висячих указателей/ссылок, use-after-free, нарушений времени жизни объектов, выхода за границы, переполнения знаковых целых, гонок данных, некорректных приведений, чтения неинициализированных данных, double free или нарушений strict aliasing. Меры смягчения включают RAII и ясный дизайн владения/времени жизни, более безопасные абстракции и проверки границ, тестирование/фаззинг, code review, статический анализ и санитайзеры вроде ASan, UBSan и TSan.

int grow(int x) {
    if (x + 1 < x) {
        return 0; // compiler may assume this is unreachable
    }
    return x + 1;
}

Попробовать ответить на вопрос AI-тренеру

7Различите неопределённое (undefined), неуточнённое (unspecified) и определяемое реализацией (implementation-defined) поведение на примерах, релевантных для backend.

Неопределённое поведение (undefined behavior) означает, что стандарт C++ не накладывает никаких требований; результат может включать сбои, порчу данных, уязвимости безопасности или зависящую от оптимизатора некорректную компиляцию. Примеры: выход за границы массива, use-after-free, переполнение знакового целого и гонки данных (data races). Неуточнённое поведение (unspecified behavior) означает, что стандарт допускает более одного исхода, и реализация не обязана документировать, какой из них выбран; распространённый пример — порядок вычисления многих аргументов функции, поэтому код не должен зависеть от того, что побочные эффекты вычисляются в каком-то конкретном порядке. Определяемое реализацией поведение (implementation-defined behavior) означает, что реализация должна выбрать поведение и задокументировать его; примеры — знаковость обычного `char`, размеры/диапазоны некоторых фундаментальных типов в пределах требований стандарта и часть поведения знакового сдвига вправо. В backend-коде UB — это риск корректности и безопасности, а неуточнённое и определяемое реализацией поведение — риски переносимости, которых следует избегать или изолировать в протокольной, storage- и кросс-платформенной логике.

int i = 0;
f(i++, i++); // both increments happen, but the order of argument evaluation is unspecified

// Prefer:
int a = i++;
int b = i++;
f(a, b);

Попробовать ответить на вопрос AI-тренеру

Обработка ошибок

8Объясните уровни exception safety и то, как noexcept влияет на move-операции, контейнеры и генерацию кода.

Уровни exception safety описывают, что остаётся истинным, если операция бросает исключение. Базовая гарантия (basic guarantee) означает, что инварианты сохранены и ресурсы не утекают, хотя состояние могло измениться. Сильная гарантия (strong guarantee) означает семантику commit-or-откат: при сбое наблюдаемое состояние не меняется. Гарантия nothrow означает, что операция не бросает. Типичные техники включают RAII, выполнение на временных объектах, copy-and-swap и упорядочивание мутаций так, чтобы commit происходил только после успешного завершения работы, которая может бросить. `noexcept` — это контракт: если функция `noexcept` бросает, вызывается `std::terminate`. Он также влияет на generic-код и контейнеры: например, при реаллокации `std::vector` может перемещать элементы, когда move-конструктор `noexcept`; иначе может копировать, часто через `std::move_if_noexcept`, чтобы сохранить гарантии исключений. `noexcept` также может помочь генерации кода или оптимизации, сокращая нужные пути распространения исключений, но только когда обещание корректно.

std::vector<T> v;
// During reallocation, an implementation may effectively do:
T* dest = allocate(new_cap);
for (T& x : old_storage) {
    construct(dest++, std::move_if_noexcept(x));
}

Попробовать ответить на вопрос AI-тренеру

9Объясните std::expected или эквивалентные outcome-типы как альтернативу исключениям для fallible-операций.

`std::expected<T, E>` представляет либо успешное значение `T`, либо явную ошибку `E`, делая сбой частью возвращаемого типа функции вместо опоры на распространение исключений. Это полезно для fallible-операций, где ошибки ожидаемы и вызывающий код должен обрабатывать их локально: парсинг, валидация, сетевые вызовы, lookup в storage и повторяемые backend-операции. Тип ошибки должен нести структурированную информацию: код ошибки, категорию, retryability, сообщение или отображение в HTTP/RPC. Типы expected/outcome компонуются проверкой и распространением ошибок, а в API в стиле C++23 могут использовать монадические операции вроде `and_then`, `transform` и `or_else`, чтобы связывать шаги без глубокой вложенности условий. По сравнению с исключениями они делают поток управления и контракты API явными и хорошо работают через границы без исключений или ABI; исключения по-прежнему могут быть уместны для редких, нелокальных или действительно исключительных сбоев в зависимости от политики проекта.

enum class Errc { BadRequest, NotFound, Timeout, DbUnavailable };

struct Error {
    Errc code;
    bool retryable;
    std::string message;
};

std::expected<User, Error> load_user(UserId id);

HttpResponse handle(UserId id) {
    auto user = load_user(id);
    if (!user) {
        switch (user.error().code) {
            case Errc::BadRequest: return {400, user.error().message};
            case Errc::NotFound: return {404, "not found"};
            case Errc::Timeout: return {503, "try again"};
            case Errc::DbUnavailable: return {503, "service unavailable"};
        }
    }
    return {200, serialize(*user)};
}

Попробовать ответить на вопрос AI-тренеру

Время жизни объектов

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

Автоматические объекты живут от момента конструирования до конца своей области видимости; указатели или ссылки на них становятся висячими после выхода из этой области. Динамические объекты живут от выделения/конструирования до явного уничтожения или до уничтожения владеющим объектом; «сырые» указатели и ссылки не продлевают время жизни. Временные объекты обычно живут до конца полного выражения (full expression), с отдельными правилами продления времени жизни при привязке к ссылкам, но не во всех случаях использования. Асинхронная работа — колбэки, потоки, таймеры или корутины — может выполняться после уничтожения объекта, на который ссылаются, поэтому захваты и сохранённые ссылки требуют явного управления временем жизни, чтобы избежать висячих ссылок и use-after-free.

std::function<void()> make_cb() {
    std::string s = "hello";
    return [&] { std::cout << s << '\n'; }; // BAD: captures local by reference
} // s is destroyed here

std::function<void()> safe_cb() {
    auto s = std::make_shared<std::string>("hello");
    return [s] { std::cout << *s << '\n'; }; // OK: callback owns the string
}

Попробовать ответить на вопрос AI-тренеру

11Опишите проблемы порядка статической инициализации и то, как constinit, magic statics и dependency injection их смягчают.

Проблемы порядка статической инициализации возникают потому, что динамически инициализируемые объекты с областью видимости пространства имён или static-объекты в разных единицах трансляции имеют неуточнённый относительный порядок инициализации. Один глобальный объект может использовать другой до его конструирования; порядок уничтожения также может создавать похожие проблемы при завершении программы. constinit требует, чтобы переменная со static или thread-local storage проходила static/constant initialization, иначе программа ill-formed, — тем самым устраняя зависимость от порядка динамической инициализации для этой переменной. Magic statics, или function-local statics, инициализируются при первом использовании и потокобезопасны начиная с C++11. Dependency injection избегает скрытых глобальных зависимостей, конструируя объекты в контролируемом порядке и явно передавая зависимости.

// a.cpp
extern std::string configPath;
Logger logger(configPath); // may run before configPath is dynamically initialized

// b.cpp
std::string configPath = readConfigPath();

Попробовать ответить на вопрос AI-тренеру

12Что такое copy elision, NRVO и RVO, и когда на них можно полагаться?

Copy elision означает конструирование объекта напрямую в его конечном месте, вместо создания отдельного временного объекта и его копирования или перемещения. RVO обычно относится к возврату безымянного временного объекта или prvalue, например return T{}; в C++17 и новее многие такие случаи обязательны, потому что prvalue напрямую инициализирует объект результата. NRVO — это возврат именованного локального объекта, например return x; компилятору разрешено конструировать этот локальный объект прямо в return-слоте вызывающего кода, но это не гарантировано. Можно полагаться на обязательный elision prvalue в C++17 в указанных случаях, но не на то, что NRVO всегда произойдёт; избегайте std::move при возврате именованного локального значения, потому что это может помешать NRVO.

struct T {
    T();
    T(const T&) = delete;
    T(T&&) = delete;
};

T make() {
    return T{}; // OK in C++17+: result object is constructed directly
}

Попробовать ответить на вопрос AI-тренеру

Стандартная библиотека

13Как требования к компаратору, равенству и hasher влияют на корректность ассоциативных контейнеров?

Ассоциативные контейнеры опираются на сравнение, равенство и хеширование, чтобы определять идентичность ключей и поддерживать свои внутренние инварианты. Упорядоченные контейнеры вроде std::map требуют, чтобы компаратор задавал strict weak ordering; ключи считаются эквивалентными, когда ни один не меньше другого, а не обязательно по operator==. Неупорядоченные контейнеры требуют, чтобы равенство было отношением эквивалентности, и любые два ключа, считающиеся равными, должны давать одно и то же хеш-значение. Ключи нельзя мутировать, пока они хранятся, так, чтобы менялись их упорядоченность, равенство или хеш, потому что это может сделать lookup, erase и поведение уникальности некорректными.

struct Key {
    int tenant;
    std::string id;
};

struct KeyEq {
    bool operator()(Key const& a, Key const& b) const {
        return a.tenant == b.tenant && a.id == b.id;
    }
};

struct KeyHash {
    std::size_t operator()(Key const& k) const {
        return std::hash<int>{}(k.tenant) ^
               (std::hash<std::string>{}(k.id) << 1);
    }
};

std::unordered_map<Key, int, KeyHash, KeyEq> m;

Попробовать ответить на вопрос AI-тренеру

14Объясните heterogeneous lookup в упорядоченных и неупорядоченных ассоциативных контейнерах.

Heterogeneous lookup позволяет искать в ассоциативном контейнере по типу, отличному от типа ключа, избегая временного конструирования ключа. В упорядоченных контейнерах для этого нужен прозрачный (transparent) компаратор, например std::less<> или пользовательский компаратор с маркером is_transparent. В неупорядоченных контейнерах нужны и transparent hash, и transparent equality-функторы, которые согласованно обрабатывают тип ключа и тип lookup. Типичный бэкенд-пример — контейнер с ключом std::string, в котором можно искать по std::string_view или const char* без аллокации временного std::string.

std::map<std::string, int, std::less<>> counts;
counts.emplace("alpha", 1);

std::string_view key = "alpha";
auto it = counts.find(key); // no temporary std::string required

Попробовать ответить на вопрос AI-тренеру

Конкурентность

15Объясните модель памяти C++: гонки данных (data races), happens-before и гарантии синхронизации.

Модель памяти C++ определяет, когда операции в разных потоках упорядочены и когда записи становятся видимыми. Гонка данных (data race) возникает, когда два потока одновременно обращаются к одной и той же ячейке памяти, хотя бы одно обращение — запись, и обращения не упорядочены отношением happens-before и иным образом не сделаны безопасными атомарными операциями; гонка данных приводит к неопределённому поведению. Happens-before — отношение порядка, благодаря которому более ранние побочные эффекты видны более поздним операциям. Операции синхронизации создают этот порядок: например, unlock мьютекса synchronizes-with с более поздним успешным lock того же мьютекса, а подходящие atomic release/acquire операции могут синхронизировать потоки. Корректные программы используют мьютексы, atomics или другую синхронизацию, чтобы установить happens-before для разделяемого состояния.

std::mutex m;
int x = 0;

void producer() {
    std::lock_guard<std::mutex> lk(m);
    x = 42;
} // unlock

void consumer() {
    std::lock_guard<std::mutex> lk(m); // lock after producer unlock synchronizes-with it
    std::cout << x << '\n';
}

Попробовать ответить на вопрос AI-тренеру

Вопросы на собеседовании Middle C++-разработчика

Управление памятью

1Как работают пользовательские deleter в smart pointer и когда они полезны для взаимодействия C/C++?

2Объясните механики weak_ptr и control block у shared_ptr, включая циклы, enable_shared_from_this и стоимость refcount.

Шаблоны

3Объясните категории значений (value categories) в C++ и perfect forwarding, а также почему это важно для эффективных обобщённых API.

Система типов

4Сравните auto, decltype, decltype(auto) и вывод аргументов шаблона в типичном backend-коде.

5Сравните std::variant с полиморфизмом на основе наследования для моделирования разнородных сообщений или событий.

Семантика языка

6Что такое неопределённое поведение (undefined behavior) в C++ и как оно может проявляться в производственных инцидентах backend?

7Различите неопределённое (undefined), неуточнённое (unspecified) и определяемое реализацией (implementation-defined) поведение на примерах, релевантных для backend.

Обработка ошибок

8Объясните уровни exception safety и то, как noexcept влияет на move-операции, контейнеры и генерацию кода.

9Объясните std::expected или эквивалентные outcome-типы как альтернативу исключениям для fallible-операций.

Время жизни объектов

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

11Опишите проблемы порядка статической инициализации и то, как constinit, magic statics и dependency injection их смягчают.

12Что такое copy elision, NRVO и RVO, и когда на них можно полагаться?

Стандартная библиотека

13Как требования к компаратору, равенству и hasher влияют на корректность ассоциативных контейнеров?

14Объясните heterogeneous lookup в упорядоченных и неупорядоченных ассоциативных контейнерах.

Конкурентность

15Объясните модель памяти C++: гонки данных (data races), happens-before и гарантии синхронизации.

Практикуйте C++ интервью на английском

Другие вопросы для backend интервью