C++ C++ · 30 вопросов · ~85 мин · ⏱ Таймер 25:00 · Сложный ·

Модернизация старого C++

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

Отвечено: 0 из 30

⏱ --:--

💡 Инструкция: Выберите один ответ из пяти. В тесте 30 вопросов, время — 85 минут. Во многих заданиях недостаточно узнать конструкцию: проследите порядок вычислений, время жизни объектов, владение ресурсами и условия, при которых решение остаётся корректным. После завершения откроются правильные ответы, объяснения, общий результат и тематические шкалы.

Вопрос 1 из 30

Поле `Engine* engine_` не удаляется в деструкторе и обязано указывать на движок, который живёт дольше автомобиля. Какая первая правка лучше выражает этот контракт?

class Car {
    Engine* engine_; // не владеет; nullptr недопустим
public:
    explicit Car(Engine* e) : engine_(e) {}
};

`Engine&` с обязательной передачей существующего движка в конструктор `std::unique_ptr<Engine>`, хотя Car не должен управлять сроком жизни движка `std::shared_ptr<Engine>`, создающий совместное владение без такой потребности в модели Оставить сырой указатель и добавить delete, изменив невладеющий контракт на владение Нетипизированный указатель, а реальный тип проверять при каждом использовании

Вопрос 2 из 30

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

Record* load_records(const char* path, std::size_t* count);

Спрятать длину в глобальной переменной Возвращать `Record*` и документировать delete[] Возвращать `std::vector<Record>` по значению Возвращать `std::shared_ptr<Record>` без длины Возвращать `Record&` на первый элемент

Вопрос 3 из 30

Какой дефект останется, если механически заменить `Widget*` на `std::unique_ptr<Widget>`, но продолжить передавать `p.get()` в объект, который хранит указатель дольше владельца?

auto p = std::make_unique<Widget>();
registry.remember(p.get());
// p уничтожается раньше registry

Передача p.get() регистрирует невладеющую ссылку в unique_ptr и продлевает объект до удаления получателя Указатель станет атомарным get() передаёт долю владения Unique_ptr начнёт дважды удалять объект unique_ptr не продлевает жизнь сохранённому сырому указателю

Вопрос 4 из 30

Старый API принимает `char*`, хотя строку не меняет и требует завершающий ноль. Какая правка минимальна и содержательна?

int parse_name(char* text); // функция только читает text

Заменить его на `const char*`, сохранив требование нулевого завершителя и запрет изменения Заменить на span<char>, хотя span не выражает требование завершающего нуля и разрешает изменение Стереть тип до нетипизированного указателя и передавать длину скрытым соглашением Заменить параметр на `char**`, чтобы функция могла переназначить указатель клиента Добавить mutable к параметру, не меняя возможность записи в символы

Вопрос 5 из 30

Когда сырой указатель в современном интерфейсе остаётся уместным?

Для ясного невладеющего наблюдения с внешним сроком жизни Чтобы скрыть необходимость освобождения Когда несколько компонентов должны получить равноправное совместное владение без control block Для массива неизвестной длины без отдельного размера Для любого единственного владельца

Вопрос 6 из 30

Как устранить утечку файла при любом раннем выходе, не размазывая `fclose` по веткам?

FILE* f = std::fopen(path, "rb");
if (!f) return error();
if (!read_header(f)) return bad_header(); // утечка

Сделать FILE* глобальным Вызывать fclose только в конце функции Обернуть fopen в try, но не добавлять деструктор Заменить return на goto без единой точки очистки Хранить `FILE*` в `std::unique_ptr<FILE, decltype(&std::fclose)>`

Вопрос 7 из 30

Какой современный тип заменяет ручную пару `mutex.lock()` / `mutex.unlock()` в простой критической секции?

mutex.lock();
update_state(); // может бросить
mutex.unlock();

`std::shared_ptr<std::mutex>` `std::thread_local<std::mutex>` `std::atomic<std::mutex>` `std::optional<std::mutex>` `std::lock_guard<std::mutex>`

Вопрос 8 из 30

C-библиотека возвращает `Handle*`, освобождаемый `destroy_handle`. Какой адаптер лучше всего локализует правило?

struct HandleDeleter {
    void operator()(Handle* h) const noexcept { destroy_handle(h); }
};

`std::shared_ptr<void>` со стандартным delete вместо функции библиотеки Контейнер значений Handle, копирующий непрозрачные дескрипторы C API Псевдоним сырого указателя, а вызов destroy_handle оставить обязанностью каждого клиента Макрос освобождения, который нужно не забыть вызвать на каждом пути выхода `using HandlePtr = std::unique_ptr<Handle, HandleDeleter>;`

Вопрос 9 из 30

Конструктор вручную выделяет два ресурса. Второе выделение бросает. Почему деструктор класса не спасёт первый ресурс?

Session::Session() {
    socket_ = open_socket();
    buffer_ = new char[huge_size]; // может бросить
}

Полный объект не был сконструирован, поэтому его деструктор не запускается; сырой первый ресурс некому освободить Среда освобождает все сырые указатели, записанные в поля конструктора до места исключения Проблема касается только new[]: одиночные ресурсы автоматически удаляются При исключении деструктор внешнего объекта запускается до разрушения уже созданных полей После исключения первый сырой указатель получает семантику совместного владения

Вопрос 10 из 30

Как безопаснее модернизировать функцию с десятком `goto cleanup`, если она управляет разными ресурсами?

Result process() {
    File file = open_file();
    Lock lock = acquire_lock();
    Buffer buffer = allocate_buffer();

    if (auto error = read(file, buffer)) return std::unexpected(*error);
    return transform(buffer);
}

Перевести все ресурсы в глобальные Сначала обернуть каждый ресурс в отдельный RAII-тип Поймать все исключения и игнорировать Заменить goto на десять вложенных if без изменения владения Сначала удалить все cleanup-ветки

Вопрос 11 из 30

Почему макрос опасен при вызове `SQUARE(i++)`?

#define SQUARE(x) ((x) * (x))
int i = 3;
auto y = SQUARE(i++);

Скобки вокруг x запрещены i++ подставляется и выполняется дважды Постфиксный ++ копирует макрос Проблема связана с тем, что умножение двух int в макросе требует явного operator* Макрос всегда вычисляется во время компиляции

Вопрос 12 из 30

Чем лучше заменить числовой макрос, используемый как типизированная константа?

#define MAX_PACKET_SIZE 4096

Оставить макрос, лишь переименовав его в нижний регистр для области имён Вернуть изменяемую ссылку на глобальный int из функции с внешним связыванием Объявить литерал mutable без объекта или класса Хранить адрес числового значения в нетипизированном указателе `inline constexpr std::size_t max_packet_size = 4096;`

Вопрос 13 из 30

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

#ifdef DEBUG
#define TRACE(expr) log(expr)
#else
#define TRACE(expr) ((void)0)
#endif

Constexpr-функция не может записывать журнал ни в одной конфигурации, поэтому вопрос исчезает Условная компиляция должна исключать не только вызов, но и вычисление потенциально дорогих аргументов Обычная функция не вычисляет аргументы, пока внутри не прочитает их значения Noexcept заставляет компилятор не вычислять параметры отключённого журнала Ключ inline гарантирует удаление вызова и всех побочных эффектов аргументов

Вопрос 14 из 30

Какой макрос обычно нельзя просто заменить constexpr-функцией?

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

Вопрос 15 из 30

Почему `#define private public` в тестах — плохая модернизация?

#define private public
#include "account.hpp"
#undef private

TEST(Account, InternalBalance) {
    Account a;
    EXPECT_EQ(a.balance_, 0);
}

Он загрязняет последующие заголовки и делает тест зависимым от внутреннего представления класса Замена private на public добавляет виртуальность всем открывшимся методам Раскрытие полей стабилизирует ABI, потому что тест фиксирует их порядок Определение макроса автоматически отменяется в конце текущей строки Макрос не может заменить private, если объявление класса уже было разобрано до его определения

Вопрос 16 из 30

Перед заменой сложного парсера без спецификации что сделать первым?

Изменить формат ошибок и данные одновременно Сначала зафиксировать поведение characterization-тестами Сразу переписать на ranges Удалить странные случаи как очевидные ошибки Измерить только число строк

Вопрос 17 из 30

Как безопасно заменить глобальный вызов времени, мешающий тестам?

bool expired(const Token& t) {
    return std::time(nullptr) > t.deadline;
}

Сделать все тесты sleep(1) Добавить ещё одну глобальную переменную без владельца Скопировать функцию времени в каждый модуль Ввести Clock/callable и направить старый вызов через него Перед каждым тестом менять системные часы

Вопрос 18 из 30

Старый интерфейс возвращает код ошибки и заполняет out-параметр. Какой порядок миграции снижает риск?

int read_user(int id, User* out); // 0 — успех, иначе код ошибки

Добавить wrapper над старой функцией и мигрировать по одному Изменить сигнатуру старой функции и все 300 вызовов одним коммитом Хранить результат в глобальном объекте Сначала убрать проверки старого контракта, а затем заменить интерфейс без переходного адаптера Игнорировать коды ошибок до конца миграции

Вопрос 19 из 30

Какой коммит слишком велик для безопасной модернизации?

Заменяет один raw owner на unique_ptr с тестами Добавляет sanitizer в сборку Переименовывает локальную переменную Добавляет adapter без изменения поведения Меняет сразу владение, формат, алгоритм и публичный API

Вопрос 20 из 30

Что означает strangler-подход для большого старого модуля?

Запрещаются любые адаптеры Все классы получают final Новый код поэтапно перехватывает сценарии за фасадом Код переводится на один стандарт форматирования Старый модуль удаляется до появления нового

Вопрос 21 из 30

Какой инструмент первым поможет найти чтение уже освобождённой памяти в старом тестовом прогоне?

auto* p = new Item;
delete p;
return p->id;

AddressSanitizer Только gcov Линкер без отладочных символов ThreadSanitizer Форматтер кода

Вопрос 22 из 30

Почему включение `-Werror` сразу для всего старого проекта часто мешает безопасной модернизации?

# CMakeLists.txt
add_library(legacy_core ${LEGACY_SOURCES})
target_compile_options(legacy_core PRIVATE -Wall -Wextra)

add_library(new_core ${NEW_SOURCES})
target_compile_options(new_core PRIVATE -Wall -Wextra -Werror)

Накопленные предупреждения одновременно ломают сборку и затрудняют отделение новых регрессий от старого долга `-Werror` меняет оптимизацию и поэтому делает сравнение поведения старой и новой сборки невозможным Флаг меняет ABI только тех типов, чьи объявления породили предупреждение `-Werror` превращает ошибки линковки в предупреждения и позволяет выпустить неполный бинарник После включения `-Werror` нельзя точечно ослабить отдельную диагностику или исключить стороннюю цель

Вопрос 23 из 30

Как differential testing помогает при переписывании сериализатора?

auto old_bytes = legacy_encode(value);
auto new_bytes = modern_encode(value);
CHECK(normalize(old_bytes) == normalize(new_bytes));

Сравнивать нормализованный вывод старой и новой версий Удаляют нестандартные входы Сравнивают только скорость компиляции Проверяют только один золотой файл Новая реализация тестирует сама себя

Вопрос 24 из 30

Старый тест иногда падает из-за ожидания `sleep(50ms)`. Какая правка содержательнее увеличения задержки?

std::latch started{1};
std::promise<void> completed;

auto worker = std::async([&] {
    started.count_down();
    do_work();
    completed.set_value();
});

started.wait();
completed.get_future().wait();

Ждать событие, а не фиксированную задержку Варьировать задержку в широком диапазоне и считать исчезновение падения исправлением синхронизации Отключить его в CI Увеличить sleep до 10 секунд Повторять тест до успеха

Вопрос 25 из 30

Что важнее простого процента покрытия при модернизации?

Покрытие опасных контрактов и границ Считать только число assert Покрыть каждую строку тривиального getter Не тестировать старое поведение Максимизировать число тестовых файлов

Вопрос 26 из 30

После замены `const std::string&` на `std::string_view` функция стала быстрее в микротесте, но иногда падает. Наиболее вероятная причина?

std::string_view cached;
void remember(std::string_view s) { cached = s; }
remember(std::string("temporary"));

string_view всегда владеет копией Он требует delete[] view сохраняют дольше строки, из которой он был создан string_view синхронизирует доступы к исходной строке, но требует отдельной блокировки при чтении Представление остаётся корректным только до первого изменения исходной строки, даже если её объект продолжает жить

Вопрос 27 из 30

Как сохранить ABI библиотеки, постепенно меняя тяжёлую реализацию класса?

Экспортировать все шаблонные детали Удалить пользовательский деструктор, чтобы компилятор сохранил прежний layout класса Добавлять поля в публичный класс при каждом выпуске PImpl за стабильным публичным указателем Менять размер enum без версии

Вопрос 28 из 30

Старый getter возвращает большой vector по значению. Нужно ли автоматически менять его на const-ссылку?

std::vector<Row> make_report();

Нет: сначала выяснить семантику и измерить Да, ссылка всегда быстрее Нужно вернуть сырой указатель без размера Нет, vector нельзя возвращать Да, потому что RVO запрещён

Вопрос 29 из 30

Какой признак указывает на слишком широкий старый API?

Функция возвращает bool Доступ ко всей изменяемой коллекции Есть const-методы Класс использует namespace В заголовке есть include guard

Вопрос 30 из 30

Как доказать, что модернизация не ухудшила производительность?

Запустить сопоставимые замеры и профили на одинаковых данных, сборках и среде до и после изменений Оценить число строк: более короткая реализация считается более быстрой Сопоставить отладочную старую сборку с выпускной новой и приписать разницу модернизации Считать новый стандарт языка достаточным доказательством ускорения Сравнить количество ключевых слов auto в старой и новой версии

Ответьте на все 30 вопросов, чтобы получить результат

🔗 Встроить тест на свой сайт (iframe) ▼

Скопируйте код и вставьте в любое место на вашем сайте:

Также доступна прямая ссылка на embed-страницу