Проверки на этапе компиляции — static_assert!

С C++11 можно валидировать условия ещё на этапе компиляции — до запуска программы. Если static_assert не выполняется, компилятор выдаст понятное сообщение об ошибке.

Подключаем заголовок с трейтом типов для последующих проверок:

#include <type_traits>

Простейшая проверка: убеждаемся, что int занимает хотя бы 4 байта в целевой системе:

static_assert(sizeof(int) >= 4, "int должен быть не менее 4 байт");

В шаблонах static_assert помогает выдавать информативные ошибки: при попытке check_float<int>() компиляция не пройдёт:

template<typename T>
void check_float() {
    static_assert(std::is_floating_point_v<T>, "T должен быть плавающим типом");
}

int main() {
    check_float<double>();  // OK
    // check_float<int>();  // приведёт к ошибке: "T должен быть плавающим типом"
}

🔥 Это ваш первый фильтр ошибок, ловите некорректные условия сразу при сборке!

📣 C++ Ready | #практика

🤨 Многие об этом не знают и почти не используют!

Чтобы нельзя было «случайно проигнорировать» важный результат, пометьте функцию атрибутом [[nodiscard]]. Компилятор предупредит, если возвращаемое значение не используют.

Пример: parse_num() возвращает std::optional<int> с [[nodiscard]]. Вызов без проверки (parse_num("xx");) — сразу ворнинг, а корректный путь — через if (auto n = ... ).

🔥 Ловит «забыл проверить» ещё на этапе сборки и отлично сочетается с std::optional/std::expected.

📣 C++ Ready | #совет