Типобезопасные перечисления — enum class вместо старого enum!

Обычный enum неявно приводится к int и даёт сравнивать разные перечисления друг с другом — легко наделать странных багов.

Сначала посмотрим на «старый» enum и его проблемы:

enum Color { Red, Green, Blue };
enum Status { Ok, Error };

int main() {
    Color c = Red;

    if (c == Ok) { }   // компилируется, хотя Color и Status — разные enum'ы
}

Теперь перепишем на enum class, чтобы каждое перечисление стало отдельным типом с собственной областью имён:

enum class Color { Red, Green, Blue };
enum class Status { Ok, Error };

int main() {
    Color c = Color::Red;
    Status s = Status::Ok;

    // if (c == s) { }   // ошибка компиляции: разные типы
}

enum class не приводится к int по умолчанию, не пересекается по именам и сразу показывает, к какому именно набору значений относится переменная.

🔥 Переход на enum class — простой шаг к более безопасному и читаемому коду с перечислениями.

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

Как запретить опасное копирование ещё на этапе компиляции?

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

В современном C++ не нужно придумывать трюки с приватными конструкторами.
Достаточно явно запретить операции через = delete:

struct File {
    File(const std::string& path);

    File(const File&) = delete;
    File& operator=(const File&) = delete;
};

Теперь любой код, который останавливается ещё на стадии сборки, например:

File a{"data.txt"};
File b = a;           // ❌ не скомпилируется

Тем же приёмом можно отключать нежелательные перегрузки функций:

void print(double);
void print(int) = delete; // запретить неявное приведение int → double

🔥 Итог: = delete — простой способ сказать компилятору
«эту операцию делать нельзя», и превратить потенциальный рантайм-баг в понятную ошибку компиляции.

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

Безопасный union — std::variant и std::visit!

Обычный union в C++ легко приводит к UB: нужно самому следить, какой тип там сейчас хранится. std::variant из стандарта делает то же самое, но безопасно: внутри хранится ровно один из перечисленных типов и следит за активным вариантом.

Сначала объявим удобный псевдоним для значения, которое может быть int, double или std::string:

using Value = std::variant<int, double, std::string>;

Теперь напишем функцию-обработчик, которая по-разному реагирует на каждый возможный тип внутри Value с помощью std::visit:

void handle(const Value& v) {
    std::visit([](const auto& x) {
        using T = std::decay_t<decltype(x)>;

        if constexpr (std::is_same_v<T, int>) {
            std::cout << "int: " << x << "\n";
        } else if constexpr (std::is_same_v<T, double>) {
            std::cout << "double: " << x << "\n";
        } else {
            std::cout << "string: " << x << "\n";
        }
    }, v);
}

И маленький пример использования: одно и то же значение по очереди становится разными типами, а std::visit всегда вызывается с актуальным вариантом:

int main() {
    Value v = 42;
    handle(v);          // int: 42

    v = 3.14;
    handle(v);          // double: 3.14

    v = std::string("hello");
    handle(v);          // string: hello

    return 0;
}

🔥 std::variant + std::visit дают безопасный, типобезопасный union и аккуратную обработку нескольких типов без кастов и ручного трекинга «какой тип лежит внутри».

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