std::expected в C++23: элегантные ошибки без try/catch!

Когда нужен результат или описание проблемы, а ради одной-двух проверок не хочется плодить исключения — новый шаблон std::expected<T,E> приходит на помощь.

Напишем функцию, которая парсит число из строки и сообщает об ошибке текстом:

std::expected<int, std::string> parse_int(std::string_view s) {
    int value{};
    auto [ptr, ec] = std::from_chars(s.data(), s.data() + s.size(), value);
    if (ec == std::errc{})            
        return value;                 expected<int>
    return std::unexpected("Не число");
}

Используем результат без исключений и без bool-флагов:

auto n = parse_int("42");
if (n) {                     // аналог has_value()
    std::cout << "OK: " << *n << '\n';
} else {
    std::cout << "Ошибка: " << n.error() << '\n';
}

🔥 Результат: одно и то же выражение возвращает либо готовый int, либо понятное сообщение об ошибке — чёткое API и ноль накладных расходов на механизм исключений.

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

Пользовательские аллокаторы в STL: управляем памятью сами!

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

Для этого стандартные контейнеры C++ позволяют подставить свой аллокатор.

Создадим минимальный аллокатор с логированием:

template <typename T>
struct LoggingAllocator {
    using value_type = T;

    T* allocate(std::size_t n) {
        std::cout << "alloc " << n << '\n';
        return static_cast<T*>(::operator new(n * sizeof(T)));
    }

    void deallocate(T* p, std::size_t) noexcept {
        std::cout << "free\n";
        ::operator delete(p);
    }
};

allocate выводит сообщение и выделяет память обычным способом; deallocate симметрично освобождает её.

Теперь подключим аллокатор к контейнеру:

std::vector<int, LoggingAllocator<int>> v;
v.push_back(1);   // → alloc 1
v.push_back(2);   // → alloc 2

🔥 Результат: контейнер логирует каждое выделение и освобождение памяти, позволяя внедрять кастомные стратегии без глобальной подмены new/delete.

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