Библиотека C/C++ разработчика | cpp, boost, qt

🚀 std::unreachable в C++23

Компилятор не всегда понимает, что некоторые участки кода недостижимы. std::unreachable() помогает ему генерировать более оптимальный код.


📋 Пошаговое решение:

1️⃣ Подключите заголовок

#include <utility>  // C++23

2️⃣ Используйте в switch без default

enum class Color { RED, GREEN, BLUE };

std::string colorToString(Color c) {
    switch(c) {
        case Color::RED:   return "red";
        case Color::GREEN: return "green"; 
        case Color::BLUE:  return "blue";
    }
    std::unreachable(); // Говорим компилятору: сюда не попадём!
}

3️⃣ Применяйте в условных блоках

int divide(int a, int b) {
    if (b != 0) {
        return a / b;
    }
    
    // Логически сюда не должны попасть
    handleError(); // Наша обработка
    std::unreachable(); // Оптимизация для компилятора
}

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

❌ Неправильно: Использовать когда код действительно достижим
❌ Неправильно: Забывать про обработку ошибок перед unreachable()
✅ Правильно: Использовать только когда логически уверены в недостижимости


🎯 Практический совет:

std::unreachable() - это контракт с компилятором. Если код всё-таки достигнет этой точки, поведение неопределено. Используйте только когда на 100% уверены.


🎯 Альтернатива:

В старых стандартах используйте __builtin_unreachable() (GCC/Clang) или __assume(false) (MSVC).

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

Please open Telegram to view this post

VIEW IN TELEGRAM

🔥8❤1

www.tgoop.com/cppproglib/5864

1.8K viewsedited  Jul 9 at 11:56

🚀 std::unreachable в C++23

Компилятор не всегда понимает, что некоторые участки кода недостижимы. std::unreachable() помогает ему генерировать более оптимальный код.


📋 Пошаговое решение:

1️⃣ Подключите заголовок

#include <utility>  // C++23

enum class Color { RED, GREEN, BLUE };

std::string colorToString(Color c) {
    switch(c) {
        case Color::RED:   return "red";
        case Color::GREEN: return "green"; 
        case Color::BLUE:  return "blue";
    }
    std::unreachable(); // Говорим компилятору: сюда не попадём!
}

int divide(int a, int b) {
    if (b != 0) {
        return a / b;
    }
    
    // Логически сюда не должны попасть
    handleError(); // Наша обработка
    std::unreachable(); // Оптимизация для компилятора
}