🍬 Чек-лист: Allocators — контроль над памятью

STL позволяет полностью контролировать аллокацию памяти через allocators.


✏️ Зачем нужны:

✓ Pool allocators для объектов одного размера (быстрее malloc)
✓ Stack allocators для временных данных без обращения к куче
✓ Tracking allocators для профилирования утечек памяти
✓ Aligned allocators для SIMD-оптимизированных структур


✏️ Стандартные allocators:

✓ std::allocator — дефолтный, работает через new/delete
✓ std::pmr::monotonic_buffer_resource — аллокация из буфера
✓ std::pmr::unsynchronized_pool_resource для многократного переиспользования
✓ std::pmr::polymorphic_allocator для динамической смены стратегии


✏️ Создание кастомного:

✓ Реализуй allocate() и deallocate()
✓ Объяви value_type, size_type, difference_type
✓ Не забудь про rebind для типов внутри контейнера
✓ Сделай allocator stateless для оптимизаций


💡Как измерить результат:

Сравни количество malloc-вызовов через profiler до и после внедрения кастомного allocator. Цель — уменьшить на 50%+.


🍪 Факт:

В game dev кастомные allocators — стандарт. Они значительно ускоряют аллокацию по сравнению с malloc.

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

#буст

🐸 Библиотека Go-разработчика

#GoGiggle

🍴 Assert vs If: когда проверки только вредят

Часто в коде встречаются избыточные проверки, которые защищают от "невозможных" ситуаций:

void process(Config* config) {
    if (config == nullptr) {  // хотя config всегда валиден!
        log_error("Config is null");
        return;
    }
    // ...
}

❗️Проблема: такие if загромождают код, снижают производительность и создают иллюзию безопасности.

✅ Решение: использовать assert для проверки инвариантов — условий, которые всегда должны выполняться в корректной программе:

void process(Config* config) {
    assert(config != nullptr && "Config cannot be null");
    // ...
}

💡 Почему это лучше:

• В релизе (NDEBUG) код assert полностью удаляется — нет накладных расходов
• В горячих циклах это может означать миллионы сэкономленных проверок
• Меньше размер исполняемого файла
• assert явно документирует предусловия функции
• Баг обнаруживается сразу в Debug, а не прячется за логами


👉 Статья


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

#буст