👩‍💻 Магия ключевого слова constexpr

C++ 11 познакомил нас с constexpr, а с приходом C++ 14 и 17 это слово стало ещё более гибким и могущественным.

Но многие до сих пор недооценивают его силу, а зря! Попробуем разобраться, как constexpr может изменить твой код к лучшему.

Итак, представь себе простую задачу: тебе нужно вычислить факториал числа, и ты хочешь, чтобы компилятор это сделал на этапе компиляции (кто же хочет ждать вычислений в рантайме, если это можно избежать?). Вот решение без constexpr:

int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n - 1);
}
int result = factorial(5); // вычисляется на этапе выполнения

Теперь с constexpr:

constexpr int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n - 1);
}
constexpr int result = factorial(5); // вычисляется на этапе компиляции

Компилятор вычисляет factorial(5) ещё до запуска программы, что ускоряет код и снижает нагрузку в рантайме, но есть пара нюансов:

• Чистота функций: constexpr функции должны быть "чистыми" — не менять глобальные данные и быть полностью детерминированными.

• Решение компилятора: компилятор может выполнить вычисление в constexpr, но не обязан. Если не удастся, он выполнит его в рантайме.

Так что в использовании constexpr есть свои тонкости, но при правильном подходе это просто находка для оптимизации. Делитесь своим мнением в комментариях и если было полезно, ставь реакцию под постом!

📣 C++ Ready | #техсобес

Poac — это менеджер пакетов и система сборки для пользователей C++, вдохновленная Cargo для Rust. Poac разработан как структурно-ориентированная система сборки, что означает, что, если вы следуете заданной структуре проекта Poac, вам почти не нужно конфигурировать проект, в отличие от CMake.

📌 Ссылочка: https://poac.dev/

📣 C++ Ready | #ресурс

🖥 Берегись неявного преобразования типов в C++

Неявное преобразование типов — это автоматическое приведение одного типа к другому. Но эта "помощь" от компилятора может иногда подкинуть неприятных сюрпризов.

Рассмотрим пример:

void printStatus(bool status) {
    if (status) {
        std::cout << "Success\n";
    } else {
        std::cout << "Failure\n";
    }
}
printStatus(5); // компилируется, но ожидаем ли мы это?

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

Где можно потеряться?

1 — При перезагрузке функции преобразование типов может вызывать неоднозначности:

void func(int x);
void func(double x);
func(2.5f); // Какую функцию вызвать?

Компилятор может привести 2.5f к double или int. В зависимости от компилятора и флагов могут возникать неожиданные результаты.

2 — Конструкторы без explicit: Конструкторы, которые можно вызвать одним параметром, поддерживают неявное преобразование:

class Product {
public:
    Product(int price) { }
};
void buy(const Product& p);
buy(99); // автоматически создается объект Product(99)

Такое поведение может привести к неожиданным последствиям. Чтобы избежать этого, стоит объявлять конструкторы с explicit:

explicit Product(int price) { }

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

Жми 🔥 если понравился пост

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