Зачем в C++ помечать важные результаты через [[nodiscard]]?

Иногда функция возвращает значение, которое нельзя просто проигнорировать: статус операции, ошибку, открытый ресурс, результат валидации.

Например:

bool save_config() {
    return write_file("config.json");
}

save_config();

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

Для таких случаев есть атрибут [[nodiscard]]:

[[nodiscard]]
bool save_config() {
    return write_file("config.json");
}

Теперь компилятор предупредит, если результат вызова проигнорировали:

save_config(); // warning

Правильнее явно обработать результат:

if (!save_config()) {
    std::cerr << "Config was not saved\n";
}

Особенно полезно помечать функции, которые возвращают объект ошибки:

[[nodiscard]]
std::optional<User> find_user(int id);

Или результат проверки:

[[nodiscard]]
bool is_valid_token(std::string_view token);

Если результат действительно нужно проигнорировать, лучше показать это явно:

(void)save_config();

Так сразу видно, что разработчик сделал это осознанно, а не случайно.

📣 C++ Ready | #совет

Интересная статья про компилятор на C++ и LLVM!

Автор рассказывает, как писал собственный язык Marble и постепенно собирал вокруг него lexer, parser, AST, генерацию LLVM IR и диагностику ошибок.

В статье автор показывает:
• как разбить компилятор на понятные этапы
• зачем нужен AST перед генерацией LLVM IR
• как обрабатывать ошибки так, чтобы язык было реально удобно развивать

Продолжай читать на Habr

📣 C++ Ready | #статья

Почему structured binding может неожиданно копировать данные?

В C++ structured binding удобно распаковывает пары, tuple и элементы map:

auto item = std::pair{1, std::string("ready")};

auto [id, name] = item;

Но здесь id и name это копии значений из item.

Если изменить name, исходная пара не изменится:

name = "cpp";

std::cout << item.second; // ready

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

Если нужно работать с исходными значениями, используй ссылку:

auto& [id, name] = item;

name = "cpp";

Теперь меняется сам объект:

std::cout << item.second; // cpp

То же самое часто встречается при обходе map:

for (auto [key, value] : users) {
    value.active = false;
}

Такой код меняет копию value, а не элемент внутри map.

Правильно, если нужно менять данные:

for (auto& [key, value] : users) {
    value.active = false;
}

А если нужно только читать без копий:

for (const auto& [key, value] : users) {
    std::cout << key << value.name;
}

Structured binding удобная штука. Для реальных данных чаще нужны auto& или const auto&.

📣 C++ Ready | #совет

Шпаргалка по std::move в алгоритмах C++!

Например, std::move из <algorithm> переносит элементы из одного диапазона в другой. Это не то же самое, что std::move из <utility>, который просто превращает объект в rvalue.

На картинке показано, как работает алгоритм move. Есть исходный диапазон, целевой диапазон, возвращаемый итератор и вариант ranges::move из C++20.

Сохрани, чтобы не потерять!

📣 C++ Ready | #ресурс

Фильтруем файлы по расширению через std::filesystem!

Иногда нужно быстро пройтись по папке и выбрать только нужные файлы. Например, найти все .log, .json, .txt или .cpp файлы для дальнейшей обработки.

Для этого удобно использовать std::filesystem. Он даёт нормальные типы для путей, директорий и файлов без ручной склейки строк.

Сначала зададим директорию и нужное расширение:

namespace fs = std::filesystem;

fs::path root = "logs";
std::string ext = ".log";

Теперь можно пройти по директории рекурсивно:

for (const auto& entry : fs::recursive_directory_iterator(root)) {
    // проверяем каждый элемент
}

Важно не обрабатывать директории как файлы. Поэтому сначала проверяем тип элемента:

if (!entry.is_regular_file()) {
    continue;
}

После этого сравниваем расширение через path::extension:

if (entry.path().extension() == ext) {
    std::cout << entry.path() << "\n";
}

Такой код не зависит от ручного поиска точки в имени файла. Если путь содержит несколько точек или вложенные папки, filesystem всё равно корректно выделит расширение.

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

📣 C++ Ready | #практика