🍴 Rule of Zero: лучший Fab Four — тот, что ты не писал

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

🍒 Rule of Zero

Если каждое поле само корректно управляет своим ресурсом (std::string, std::vector, std::unique_ptr), то классу-агрегату не нужны свои Fab Four. Компилятор сгенерирует правильные почленные версии.

struct User {
    std::string name;
    std::vector<int> scores;
    std::unique_ptr<Db> conn;
};
// move + dtor — сгенерированы, корректны и БЕСПЛАТНЫ
// copy — корректно УДАЛЁН: unique_ptr некопируем → User тоже (move-only тип)

❗️Почему работает: почленное перемещение вызовет move у каждого поля. string украдёт буфер, vector — массив, unique_ptr — указатель. Тебе не нужно писать ни строки.

❗️ Ключевое условие — не объявлять деструктор. И ~User(){}, и ~User() = default одинаково опасны: любой user-declared деструктор отключает неявную генерацию move.


✏️ Твои классы владеют new/delete напрямую — или прячут их в unique_ptr и живут по Rule of Zero?


📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#под_капотом

💡 Свой парсер C++ на самодельном DSL

Компиляция большого C++ проекта разрастается до неприличных времён, но можно написать замену Clang/GCC/CL.EXE, начав с парсера.

• Парсер не пишется руками: грамматика на своём языке QapDSLv2
• На выходе CST, а не AST — с пробелами и комментариями
• Покрыто почти всё: 16 уровней приоритетов операторов, шаблоны, лямбды, структурное связывание.
• Неоднозначности решены грубо: T<1>(2) всегда шаблон, struct S {...};

❗️Автор честен: проект вот-вот упрётся в лимит памяти при собственной сборке и рискует тихо умереть, но с другой стороны со стороны погружения в тему интересен. Код открыт на GitHub.


🔥 Статья

📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#под_капотом

🍙 Sentinel: нестандартный конец диапазона

В прошлом посте stride_view отдавал из end() пустую stride_sentinel{}, а итератор сам таскал внутри end_ и сравнивался с ним. Это уже был sentinel — просто самый скромный его вид. Сегодня посмотрим, на что sentinel способен, когда условие конца живёт в нём самом.


🍬 Итератор говорит «где», sentinel — «когда стоп»

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

Sentinel ломает это правило. Он не хранит позицию — он хранит условие остановки. Итератор шагает вперёд и на каждом шаге как бы спрашивает: «мы уже приехали?». Sentinel отвечает, глядя не на свой адрес, а на то, куда сейчас показывает итератор.


🍴 Классика жанра — C-строки

У C-строки нет заранее известного конца: он определяется на лету — идём, пока не встретим '\0'. Идеальный кейс для sentinel:

struct null_sentinel_t {
    // 🔴 Сравниваем не адреса, а СОДЕРЖИМОЕ:
    // итератор == концу, если он смотрит на '\0'
    bool operator==(const char* ptr) const { return *ptr == '\0'; }
};

inline constexpr null_sentinel_t null_sentinel{};

struct cstring_range {
    const char* ptr;
    const char*     begin() const { return ptr; }            // обычный итератор
    null_sentinel_t end()   const { return null_sentinel; }  // sentinel другого типа!
};

// Использование
const char* str = "hello";
for (char c : cstring_range{str}) {
    std::cout << c;  // hello
}

❗️Обрати внимание: begin() возвращает const char*, а end() — null_sentinel_t. Разные типы! Range-based for это разрешает ещё с C++17, а C++20 добавляет it != null_sentinel сам разворачивается в !null_sentinel.operator==(it). Пишешь один operator== — и обе стороны, и != работают бесплатно.


❓ Зачем вообще так заморачиваться

🥝 Ленивый конец. Не нужно звать strlen и проходить строку дважды — конец «находится» прямо во время итерации.

♾️ Бесконечные диапазоны. У генераторов, потоков, views::iota без верхней границы конца-позиции просто нет. Sentinel — единственный способ вообще описать такой диапазон.

⚡️ Дешёвое сравнение. Проверить условие (== '\0', счётчик дошёл до нуля) часто быстрее, чем сравнивать два итератора.


🥳 В стандартной библиотеке это уже есть

Свой sentinel писать нужно не всегда. В STL живёт std::default_sentinel_t (объект std::default_sentinel) — та самая пустая заглушка, которой пользуются counted_iterator, istream_view и куча вьюх. А для честно бесконечных диапазонов есть std::unreachable_sentinel — «мы не доедем никогда», и компилятор с чистой совестью выкидывает проверки границ.

🫰 std::ranges поддерживает нестандартные sentinel-ы из коробки: достаточно, чтобы для пары <итератор, sentinel> выполнялся концепт std::sentinel_for — и твой тип поедет во все алгоритмы ranges наравне с обычными итераторами.


📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#под_капотом

🫡 Один и тот же запрос к AI можно выполнить двумя способами — и получить совершенно разный результат.

1️⃣ способ — просто попросить написать код. Модель может сгенерировать рабочее решение, но именно на этапе проверки часто всплывают пропущенные edge case’ы, ошибки обработки или проблемы с тестами.

2️⃣ способ — дать агенту цикл Think → Act → Observe. Он не останавливается после первой попытки: планирует действия, проверяет результат и, если находит ошибку, исправляет её и пробует снова.

Самое интересное, что разница здесь не столько в модели ❕ Claude, GPT или другая LLM могут быть одинаковыми. Разницу создаёт инженерная система вокруг них.

📅 Именно это разберём 23 июля в 19:00 (МСК) на бесплатном вебинаре с Алексеем Жиряковым (Executive Director в Сбере, GenAI Data Platform, ex-CTO Stream и KION).

На живом демо покажем, как один и тот же запрос работает без агентной системы и с ней 🔥

🔗 Регистрация

🏃‍♀️ Proglib Academy