🩹 promise_type::operator new — кастомная аллокация фрейма

Корутина выделяет фрейм через ::operator new. Но этот вызов можно перехватить и направить в любой аллокатор — арену, пул, стек. Механизм называется coroutine allocator customization.


👁 Как это работает

Когда компилятор генерирует код запуска корутины, он ищет operator new в двух местах по порядку: сначала в типе promise_type — если есть, использует его; затем глобальный ::operator new.

struct MyPromise {
    static void* operator new(std::size_t size) {
        return my_pool.allocate(size);
    }
    static void operator delete(void* ptr, std::size_t size) {
        my_pool.deallocate(ptr, size);
    }
};

⚡️ Параметры аргументов корутины

Стандарт позволяет передать аргументы самой корутины в operator new. Компилятор сначала пробует сигнатуру с аргументами:

static void* operator new(std::size_t sz, Allocator& alloc, auto&&...) {
    return alloc.allocate(sz);
}

Это мощно: можно пробросить аллокатор как первый параметр корутины и использовать его для фрейма — без глобального состояния.


‼️ Heap Elision и operator new

Если компилятор применяет heap elision и вообще убирает аллокацию — ваш кастомный operator new не вызовется. Это нормально. Но если вы используете operator new для отладки размеров, убедитесь что оптимизация отключена (-O0 или [[clang::noinline]] на корутину).


✅ Применение

Кастомный аллокатор в корутинах даёт: lock-free аллокацию, аллокацию с арены (без освобождения по одному), размещение на стеке вызывающего. Последнее — буквально O(1) без heap, если время жизни гарантировано.


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

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

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

👑 IntelliJ IDEA: продвинутый дебаг

Представь, что есть цикл на 10 000 элементов, и баг воспроизводится только на одном конкретном объекте. Без Conditional Breakpoints придется жать F8 вручную сотни раз. А с ними дебаггер сам остановится в нужный момент.

🔹 Как включить

Кликни правой кнопкой на кружок брейкпоинта → появится поле Condition. Введите любое булево Java-выражение. Всё, дебаггер будет останавливаться только когда оно true.

🔹 Примеры из реальной жизни

▪️ Фильтрация по ID

user.getId() == 42

Останавливаемся только на конкретном пользователе — удобно при обработке списка сущностей из БД.

▪️ Фильтрация по содержимому строки

request.getUrl().contains("/admin")

Отлавливаем только определённые HTTP-запросы в фильтре или интерцепторе.

▪️ Ловим NPE до того, как он случился

order.getItems() == null

Останавливаемся именно тогда, когда данные уже сломаны, а не после падения.

▪️ Условие по индексу в цикле

i == 999

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

🔹 Продвинутые трюки

— Log message вместо остановки. Если не хотите прерывать выполнение, а просто логировать — в том же окне брейкпоинта включите "Evaluate and log" и введите выражение.

— Pass count. Чуть ниже в настройках брейкпоинта есть поле "Pass count" — брейкпоинт сработает только на N-м попадании.

— Disable until hit. Можно настроить цепочку: один брейкпоинт активирует другой. В настройках есть "Disable until breakpoint is hit" — указываете другой брейкпоинт, и текущий начнёт работать только после срабатывания того.

⚠️ Condition вычисляется на каждом попадании в брейкпоинт — это вызов на стороне JVM. В горячих местах (tight loop, высоконагруженный метод) это может заметно тормозить приложение.

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

🐸 Библиотека джависта

#CoreJava

💡 sentinel_t — зачем ranges придумали конец диапазона как отдельный тип

В классических итераторах begin и end — один тип. В ranges конец диапазона может быть совершенно другим типом. Это ломает интуицию, но открывает возможности.


🔍 Проблема однотипных итераторов

std::string::iterator для begin и end — одно и то же. Чтобы проверить конец, нужно держать два объекта одного размера и сравнивать их. Для C-строк это расточительно: \0 в памяти уже есть, но стандартный end — это полноценный указатель.


⚡️ Sentinel как концепт

В ranges введён концепт sentinel_for<S, I>: тип S является sentinel для итератора I, если их можно сравнивать оператором ==, даже если S != I.

// Sentinel для null-terminated строки
struct null_sentinel {
    bool operator==(const char* p) const { return *p == '\0'; }
};

// Теперь можно:
auto r = subrange(ptr, null_sentinel{});

💡 unreachable_sentinel

Специальный std::unreachable_sentinel_t всегда возвращает false при сравнении — это сигнал компилятору, что конец никогда не достигается в данной ветке. Используется в take_view и counted_iterator, чтобы избежать лишних проверок в горячих циклах.

auto v = std::views::counted(ptr, n); 
// end() имеет тип unreachable_sentinel_t
// компилятор оптимизирует проверку конца

⚠️ Именно из-за разнотипных sentinel std::ranges::distance работает за O(n) для forward-итераторов — он вынужден идти до sentinel, не зная расстояния заранее.

Sentinel — это обобщение понятия «конец», а не просто переименование end().


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

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

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

⚡️ Бесплатный генератор CMakeLists.txt

QuickCoderHub выкатил бесплатный браузерный генератор CMakeLists.txt для C++ проектов — никакой установки, работает полностью в браузере.


❗️ Ключевые моменты инструмента:

• визуальная настройка и автогенерация CMakeLists.txt прямо в браузере
• нулевые зависимости — не нужно ничего устанавливать на машину
• мгновенный результат без ручного написания конфигурационных файлов

Основной фокус — убрать рутину настройки системы сборки и дать разработчику готовый CMakeLists.txt под его проект за секунды.

Удобно при старте нового проекта, на собеседованиях, или когда нужно быстро поднять сборку без погружения в документацию CMake.

🍪 Генератор

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

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

#буст

🧩 std::rotate_copy — зачем нужна копия, если есть rotate?

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

std::vector<int> src = {1, 2, 3, 4, 5};
std::vector<int> dst(src.size());

std::rotate_copy(src.begin(), src.begin() + 2, src.end(), dst.begin());
// src: {1, 2, 3, 4, 5}  — не тронут
// dst: {3, 4, 5, 1, 2}

🔍 Под капотом:

rotate_copy — это ровно два вызова std::copy:

auto out = std::copy(middle, last, result);   // [middle, last) первыми
         std::copy(first, middle, out);        // [first, middle) следом

Никакой магии. Никаких swap. Просто два последовательных копирования.

⚡ Сложность: O(n) с одним проходом данных, без дополнительной памяти (кроме выходного диапазона).

💡 Когда это важно:

// Параллельная обработка: исходник читается несколькими потоками
std::rotate_copy(src.begin(), pivot, src.end(),
                 std::back_inserter(result));

⚠️ Диапазоны [first, last) и [result, ...) не должны перекрываться — иначе поведение не определено. В отличие от std::rotate, который работает in-place и перекрытий нет по определению.

❗️rotate_copy — частный случай общего принципа STL: алгоритмы с суффиксом _copy не мутируют исходник и пишут в отдельный output iterator.

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

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

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