🍩 C++ Concepts — типобезопасность на новом уровне


‼️ Проблема:

В шаблонах C++ ошибки типов приводят к критическим сообщениям компилятора на десятки строк. Отладка становится кошмаром, особенно для новичков в команде.


✅ Решение:

C++ Concepts позволяют явно указать требования к типам шаблонов. Это делает код самодокументируемым и дает понятные сообщения об ошибках.


✏️ Пример кода:

#include <concepts>

// Определяем концепт для числовых типов
template<typename T>
concept Numeric = std::integral<T> || std::floating_point<T>;

// Функция принимает только числовые типы
template<Numeric T>
T multiply(T a, T b) {
    return a * b;
}

int main() {
    auto result1 = multiply(5, 10);        // OK: int
    auto result2 = multiply(3.14, 2.0);    // OK: double
    // auto result3 = multiply("hello", "world"); // Ошибка компиляции с понятным сообщением
    return 0;
}

🌳 Преимущества:

• Понятные сообщения об ошибках компиляции
• Самодокументируемый код с явными требованиями к типам
• Улучшенная производительность компиляции за счет раннего отсева неподходящих типов
• Возможность перегрузки функций на основе концептов

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

📦 Создание модулей C++20 для быстрой компиляции

Modules — это будущее организации C++ кода.


❗️ Проблема:

Медленная компиляция из-за #include файлов.


✅ Решение:

1️⃣ Создайте module interface файл
2️⃣ Экспортируйте нужные декларации
3️⃣ Импортируйте модуль в коде

// math_utils.ixx
export module math_utils;

export namespace math {
    int add(int a, int b) {
        return a + b;
    }
    
    double sqrt_approx(double x) {
        return x / 2.0; // Упрощенная версия
    }
}

// main.cpp
import math_utils;
#include <iostream>

int main() {
    std::cout << math::add(3, 4) << std::endl;
    return 0;
}

❌ Частые ошибки:

Забывать ключевое слово export для публичных функций.


💡 Совет:

Modules работают не во всех компиляторах — проверяйте поддержку!

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