Летим зимовать ✈️

Когда холодает, айтишники пакуют чемоданы, а мы разыгрываем ваучер на 50 000 рублей в Островке.

Поехать к морю или остаться среди снежных пейзажей — выбирайте сами!

Чтобы участвовать, нужно оставить любую реакцию под этим постом и подписаться на каналы ниже:

😎 Типичный программист
🐸 Библиотека программиста
🟢 Ostrovok! Tech

Теперь осталось нажать на кнопку участия под этим постом и вы в игре!

Итоги подведём 12 декабря. Победителя выберем с помощью бота. Подробнее с правилами можно ознакомиться здесь.

Всем удачи!

Участников: 111
Призовых мест: 1
Дата розыгрыша: 19:00, 12.12.2025 MSK (3 дня)

🍪 Короткий синтаксис concepts: что компилятор делает с auto?

void foo(Sortable auto x) — это синтаксический сахар. Компилятор разворачивает его в полноценный шаблон с constraint.


⚡️ Трансформация

// Пишешь:
void foo(Sortable auto x);

// Компилятор видит:
template<typename T>
    requires Sortable<T>
void foo(T x);

Каждый auto становится отдельным шаблонным параметром. Если несколько auto — несколько параметров:

void bar(Integral auto a, Floating auto b);

// Превращается в:
template<typename T1, typename T2>
    requires Integral<T1> && Floating<T2>
void bar(T1 a, T2 b);

🔍 Return type

То же самое работает с возвращаемым типом:

Sortable auto get() { return std::vector{1, 2, 3}; }

// Эквивалент:
template<Sortable T>
T get() { return std::vector{1, 2, 3}; }

Компилятор выводит тип возврата и проверяет concept.


💡 Decltype(auto) с concepts

Можно даже:

Sortable decltype(auto) get_ref(auto& container) {
    return container[0];
}

Здесь decltype(auto) сохраняет ссылочность, а Sortable проверяется для полученного типа.


⚠️ Ограничение

Нельзя смешивать в одном объявлении:

// ОШИБКА:
template<typename T>
void foo(Sortable auto x, T y);
// auto создаёт НОВЫЙ шаблонный параметр, конфликт с T

📌 Манглинг

Для компоновщика разницы нет — и короткий, и длинный синтаксис создают одинаковый mangled name. Это чисто синтаксическое удобство.

🔹Курс «Алгоритмы и структуры данных»
🔹 Получить консультацию менеджера
🔹 Сайт Академии 🔹Сайт Proglib

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

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

❌ Что не так с public virtual?

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

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

// ❌ Классический антипаттерн
class Base {
public:
    virtual void process(Data& data) {
        log("Processing...");
        // Логика
    }
};

class Derived : public Base {
public:
    void process(Data& data) override {
        // Производный класс забыл вызвать Base::process()
        // Логирование пропало!
    }
};

💡Паттерн NVI решает это:

NVI (Non-Virtual Interface) — паттерн, где публичные методы невиртуальные, а виртуальные — приватные. Базовый класс становится "шлюзом", контролирующим доступ к кастомизируемой логике.

class IProcessor {
public:
    void process(Data& data) { // Невиртуальный public
        validate(data);        // Общая логика
        logStart();           // Тоже общая
        process(data);     // Кастомизация
        logEnd();
    }
    
private:
    virtual void process(Data& data) = 0; // Виртуальный private
    void validate(Data& data) { /* ... */ }
    void logStart() { /* ... */ }
    void logEnd() { /* ... */ }
};

Теперь каждый вызов process() гарантированно проходит через логирование. Производные классы физически не могут его обойти.


🔹Курс «Алгоритмы и структуры данных»
🔹 Получить консультацию менеджера
🔹 Сайт Академии 🔹Сайт Proglib

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

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