🍴 Почему co_return не возвращает значение напрямую?

Большинство думают, что корутины — это просто синтаксический сахар. На деле это хирургическая операция над указателем стека.

🍉 При вызове co_await компилятор генерирует код, который:

1. Сохраняет текущий RSP (указатель стека)
2. Копирует локальные переменные в heap-allocated фрейм
3. Переключает RSP на стек другой корутины

‼️ Магия в одной инструкции:

mov rsp, [coroutine_stack_ptr]

Процессор продолжает выполнение, но теперь все push/pop идут в другую область памяти. Регистры RBP, RIP тоже меняются — полная иллюзия «другой функции».

💡 В C++20 stackless корутины делают иначе — вообще не трогают RSP, храня состояние в объекте. Но stackful (Boost.Context) именно так и работают.

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

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

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

🛠 restrict — keyword, которого нет в C++

Компилятор не может векторизовать, если боится, что указатели пересекаются.

// ❌ Компилятор не знает, пересекаются ли a и b
void add(float* a, float* b, size_t n) {
    for (size_t i = 0; i < n; ++i) {
        a[i] += b[i]; // Что если a и b — один массив?
    }
}

// ✅ Подсказываем компилятору (C++20)
void add(float* __restrict a, float* __restrict b, size_t n) {
    for (size_t i = 0; i < n; ++i) {
        a[i] += b[i]; // Теперь векторизуется!
    }
}

// ✅ Или используйте std::span (C++20)
void add(std::span<float> a, std::span<float> b) {
    std::transform(a.begin(), a.end(), b.begin(), a.begin(),
                   std::plus<>{}); // Векторизуется автоматически
}

❗️ restrict — это ключевое слово из C99 (стандарта языка C), которое не является частью стандарта C++.

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

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

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

😃 Задача на выходные

#include <iostream>
#include <thread>
#include <chrono>

struct Counter {
    long long a;
    long long b;
};

void increment(long long& val) {
    for (int i = 0; i < 100'000'000; i++) val++;
}

int main() {
    Counter cnt{ 0, 0 };
    auto start = std::chrono::high_resolution_clock::now();

    std::thread t1(increment, std::ref(cnt.a));
    std::thread t2(increment, std::ref(cnt.b));
    t1.join(); t2.join();

    auto end = std::chrono::high_resolution_clock::now();
    std::cout << "Time: " << std::chrono::duration_cast<std::chrono::milliseconds>(end - start).count() << "ms\n";
    return 0;
}

❓ Вопрос: Как можно ускорить работу данного кода?


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

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

#междусобойчик

🍙 Почему std::piecewise_construct принимает кортежи, а не variadic args?

Большинство разработчиков используют emplace в контейнерах и не задумываются, как map.emplace() различает аргументы для ключа и значения.

🔍 Под капотом

Когда вы вызываете map.emplace(key_args..., value_args...), компилятор не может понять, где заканчиваются аргументы ключа и начинаются аргументы значения. Для pair это особенно критично.

std::piecewise_construct — это тег-пустышка, которая активирует специальный конструктор pair:

pair(piecewise_construct_t, 
     tuple<KeyArgs...>, 
     tuple<ValueArgs...>)

⚡️ Кортежи создают явную границу. Компилятор видит два отдельных пакета параметров и использует std::apply для распаковки каждого tuple в конструктор соответствующего элемента пары.

❗️Практика:

Без этого механизма невозможно было бы создать pair со сложными типами in-place. Теперь вы избегаете промежуточных копий и move-операций.

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

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

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

🏛 Борьба с Variable Shadowing

Затенение (shadowing) — когда локальная переменная скрывает переменную из внешней области видимости с тем же именем

В классах затенение особенно коварно: локальная переменная или параметр может скрыть член класса. И компилятор промолчит.

class Config {
    int timeout_ = 5000;
    
public:
    void setTimeout(int timeout_) {  // параметр затеняет член!
        timeout_ = timeout_;  
        // Член класса НЕ изменился
    }
};

🍉 Способы решения проблемы

class Config {
    int timeout_ = 5000;
    
public:
    // 1. Разные имена
    void setTimeout(int newTimeout) {
        timeout_ = newTimeout;
    }
    
    // 2. Явный this->
    void setTimeoutAlt(int timeout_) {
        this->timeout_ = timeout_;
    }

    // 3. Через имя класса
    void setTimeoutBase(int timeout_) {
        Config::timeout_ = {timeout_};
    }
    
    // 4. Через временный объект
    void setTimeoutDumb(int timeout_) {
        *this = { .timeout = timeout_ };
        // Но лучше так не писать
    }
};

❗️ Включите -Wshadow-field для отлова таких багов.


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

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

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

✏️ Как одно ключевое слово ускоряет код?

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


🍉 До и после:

class Base {
    virtual void process() = 0;
};

class Derived : public Base {
    void process() override final { /* ... */ }
    //                       ^^^^^ 
};

Теперь компилятор знает: Derived::process — последняя версия. При вызове через Derived* или Derived& он может девиртуализировать:

void hotPath(Derived& obj) {
    obj.process(); // прямой вызов, не через vtable
}

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

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

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

👻 std::atexit — зачем регистрировать функции на выход?

Когда твоя программа завершается, нужно освободить ресурсы, закрыть логи, сохранить состояние. std::atexit позволяет зарегистрировать функции, которые вызовутся автоматически при нормальном завершении программы.

#include <cstdlib>
#include <iostream>

void cleanup() {
    std::cout << "Cleaning up resources...\n";
}

int main() {
    std::atexit(cleanup);
    std::cout << "Program running...\n";
    return 0; // cleanup() вызовется автоматически
}

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

❗️ Важно: std::atexit работает только при нормальном завершении (return из main или std::exit). При std::abort или неперехваченных исключениях функции не вызовутся.

❗️Best practice: используй RAII и деструкторы вместо atexit, когда это возможно. atexit — для глобального состояния и C-совместимости.


✏️ Используешь ли ты atexit в своих проектах?

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

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

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