4

Бросает какое то другое исключение.

const std::string &getString(const numeration& l_enum)
{
    return (a > b)
        ? mass[static_cast<int>(l_enum)].m_name
        : throw Invalid("Some error");
}

Здесь же все работает как и предполагалось!

const std::string &getString(const numeration& l_enum)
{
    if(a>b)
    {
        return mass[static_cast<int>(l_enum)].m_name;
    }
    else throw Invalid("Some error");
}

Хотя обе функции работают как надо если срабатывает описанное исключение.

10
  • 1
    Функция "ломается". - ?
    – user176262
    21 ноя 2019 в 5:22
  • @Igor,не работает при условии что a >b
    – user252359
    21 ноя 2019 в 5:24
  • 1
    Что значит "не работает"? Маленький гномик вылезает из компьютера и говорит: "Функция не работает."?
    – user176262
    21 ноя 2019 в 5:25
  • @Igor, точно, не подумал об этом. В общем вызывается исключение какое то другое и программа прекращает работу.
    – user252359
    21 ноя 2019 в 5:38
  • 2
    Вопрос бессмыслен без указания точного типа mass[static_cast<int>(l_enum)].m_name. 21 ноя 2019 в 5:46

1 ответ 1

4

Вы наткнулись на баг в компиляторе (присутствует в GCC и в VS2017). Современный стандарт С++ требует, чтобы в такой ситуации в операторе ?: сохранялись тип и категория значения не-throw операнда

The second or the third operand (but not both) is a (possibly parenthesized) throw-expression; the result is of the type and value category of the other.

Т.е. ссылка в такой ситуации должна привязываться напрямую к mass[static_cast<int>(l_enum)].m_name. Однако GCC в такой ситуации отказывается сохранять категорию значения операнда и превращает его в prvalue. В результате создается временный объект, к которому и будет привязана ссылка. Этот временный объект уничтожается по выходу из функции, о чем GCC сообщает предупреждением

warning: returning reference to temporary [-Wreturn-local-addr]

а VS2017

warning C4172: returning address of local variable or temporary

Возвращенная из функции ссылка в результате оказывается "подвисшей".

Clang свободен от этого бага. Эксперимент показывает, что VS2019 тоже свободна от этого бага.

Смена требований стандарта в этой ситуации произошла, если я не ошибаюсь, в С++14. В С++11 результат такого ?: являлся prvalue, то есть ваша функция и не должна была работать правильно по вышеописанным причинам. Но начиная с С++14 с ней уже все в порядке.

См. DR#1550, DR#1560 и https://stackoverflow.com/questions/53328407/value-category-of-conditional-operator

Другими словами, ваш вариант с ?: должен был вызвать вопросы и сомнения такого толка и у вас самого, ибо еще "относительно недавно" падение вашей функции было вполне легальным.

3
  • Скорее всего? То есть это может быть и другая ошибка?
    – user252359
    21 ноя 2019 в 6:05
  • @Rundogie Rundogie: "Скорее всего" я написал, когда не знал, каким компилятором вы пользуетесь. А теперь все ясно. 21 ноя 2019 в 6:08
  • К сожалению я как и многие другие программирую не по стандарту C++.
    – user252359
    21 ноя 2019 в 6:47

Ваш ответ

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