4

Почему нельзя использовать goto в constexpr функциях?

constexpr auto foo() {
    hell: goto hell; // error: 'goto' in 'constexpr' function
}
10
  • 1
    ну как минимум, constexpr не должна иметь побочных эффектов и быть такой, которую можно вычислить, Ваша функция к такой не относится и очень похожа на зловред для компилятора.
    – KoVadim
    4 мая 2022 в 14:56
  • @KoVadim это для примера функция; любое использование goto в constexpr функции приводит к такой ошибке
    – gregor
    4 мая 2022 в 14:59
  • да, я знаю. Но мой ответ не поменялся. goto слишком особая штука.
    – KoVadim
    4 мая 2022 в 15:01
  • 1
    Потому что в стандарте написано, что там не должно быть goto. 4 мая 2022 в 15:34
  • 2
    Это хороший ответ. Это как спросить, почему if исполняет else ветку, когда условие не выполняется.
    – KoVadim
    4 мая 2022 в 16:05

1 ответ 1

1

От слишком строгих правил для constexpr функций постепенно избавляются. В С++23 с принятием P2242 можно будет использовать метки и goto в constexpr функциях, но не в контексте constant expression.

Пример:

#include <cassert>

constexpr auto foo() {
    if consteval {
        // can't use 'goto'
        return 42;
    } else {
        goto test;
        test: return 43;
    }
}

int main() {
    static_assert(foo() == 42);
    assert(foo() == 43);
}

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.