🍬 Статья: Почему функции rand и lrand48 из glibc годятся только для Тетриса

Автор статьи разбирает, почему rand, lrand48 и random из glibc — это не просто «не очень хорошие» генераторы, а полностью непригодные для любых вычислений алгоритмы, и что с этим делать.

🍿 Ключевые моменты статьи:

• rand и lrand48 из glibc проваливают специализированные статистические тесты (TestU01, PractRand)
• классические критерии Пирсона и Колмогорова-Смирнова не выявляют скрытые решётчатые структуры и битовые зависимости в генераторах
• поточные шифры (ChaCha, AES) обгоняют minstd и LCG 80-х не только по качеству, но и по производительности

Основной фокус — наглядные самописные статистические тесты (gap test, birthday spacings), которые показывают дефекты glibc-генераторов без «чёрного ящика». Плюс практические рекомендации: какие ГПСЧ брать в C++11 и выше, чего ждать от C++26, и почему random_device работает не так, как вы думаете.

😸 Главный инсайт: если ваш генератор не прошёл BigCrush и PractRand на 32 ТиБ — выбрасывайте без раздумий.

📖 Читать статью...


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

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

#константная_правильность

🍺 Coroutine и scope: как co_await разрывает привычную модель блочной видимости

Корутины в C++20 нарушают базовую интуицию о scope: локальные переменные могут пережить } функции. Разбираем, как это реализовано.


🍪 Проблема стека

Обычная функция: локальные переменные в стеке, уничтожаются при return. Корутина может быть приостановлена (co_await) и возобновлена позже — стека уже нет. Куда деваются локальные переменные?

Task example() {
    int x = 10;            // где живёт x после co_await?
    co_await someAwaitable();
    std::cout << x;        // x должен быть доступен!
}

⚡️ Coroutine frame в heap

Компилятор переписывает корутину в конечный автомат. Все локальные переменные, которые живут через точку приостановки, переносятся в coroutine frame — объект в куче:

// Псевдокод того, что генерирует компилятор:
struct __example_frame {
    int x;           // из стека → в heap
    int __state;     // текущая точка возобновления
    promise_type __promise;
};

‼️ Scope остаётся лексическим

Видимость имён не меняется — x виден только внутри функции. Меняется место хранения: не стек, а heap. Деструкторы по-прежнему вызываются при выходе из scope — но «выход» теперь может произойти через co_return или уничтожение корутины.

💡 Корутины не нарушают лексическую область видимости — они нарушают связь между scope и стеком. Локальные переменные остаются «локальными» по видимости, но физически мигрируют в heap.


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

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

#константная_правильность

💡 __has_include() — это не проверка заголовка, а запрос к препроцессору

Если думал, что __has_include(<vector>) проверяет «существует ли файл на диске». Это не так. Директива работает на уровне препроцессора и взаимодействует с поисковыми путями компилятора, а не с файловой системой напрямую.

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

__has_include — это расширение препроцессора, стандартизированное в C++17. Когда компилятор встречает:

#if __has_include(<optional>)
#  include <optional>
#endif

— препроцессор проходит по своим include-путям (-I, системные пути, -isystem) и проверяет, разрешится ли имя файла в один из них. Это тот же механизм, что используется при обычном #include, но без реальной вставки содержимого.

🏝 Два синтаксиса — два алгоритма поиска

__has_include(<header>)   // поиск только в системных путях
__has_include("header")   // поиск сначала в локальных, затем в системных

Это зеркалит поведение обычных #include <> и #include "". Разница критична при наличии локальных заголовков с теми же именами, что и системные.

❗️ Ловушка: наличие != доступность

Файл может быть найден препроцессором, но при этом не компилироваться на данной платформе. Например, <windows.h> физически присутствует в MinGW, но использование некоторых его частей невозможно без нужного таргета. __has_include вернёт 1, но код всё равно сломается.

‼️ Практический вывод

Используй __has_include для определения наличия необязательных зависимостей, но всегда дополняй проверкой версии или feature-теста (__cpp_lib_optional). Это защитит от ситуации «файл есть, фича недоступна».


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

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

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

👍 На курсе по контролируемой разработке AI-агентов мы будем разбирать ровно то, о чём говорит Владислав в голосовом, но уже в формате системной практики.

📅 Старт курса — 20 апреля.

Если хотите разобраться, как строить управляемые агентные системы:
➡️ Присоединяйтесь.

P.S. С первого занятия будет практика: код и разбор реальных ошибок, а не только теория.