1

Есть функция которая преобразовывает элемент enum class в std::string. Допустим:

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

Данный код неверный. Почему?

Почему следующий код верен? Правильный код:

const std::string &getString(const numeration& l_enum)
{
    static std::string emp = "";
    return (a > b)
        ? mass[static_cast<int>(l_enum)].m_name
        : emp;
}
11
  • А какая ошибка возникает в первом случае? Commented 20 нояб. 2019 в 10:25
  • 1
    Потому что строковой литерал " ... " имеет тип const char*, и получается в тернарной операции два разных типа Commented 20 нояб. 2019 в 10:26
  • 1
    @ARHovsepyan, нет, будет создан временный объект типа std::string, никаких "разных типов" там нет.
    – isnullxbh
    Commented 20 нояб. 2019 в 10:30
  • @ARHovsepyan, читайте здесь: en.cppreference.com/w/cpp/language/operator_other
    – isnullxbh
    Commented 20 нояб. 2019 в 10:38
  • Попробовал в онлайн компиляторе : http://cpp.sh/8m2m2 , работают оба варианта... @Rundogie Rundogie , нужны остальные части программы, в частности, что такое m_name и mass
    – zcorvid
    Commented 20 нояб. 2019 в 10:39

2 ответа 2

0

следующий код верен

Код:

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

А почему Вы решили, что он верен? Вы явно возвращаете ссылку на локальную переменную, после возврата последняя уже не существует, и в результате у Вас остается ссылка на уничтоженный объект.

В первом случае Вы возвращаете ссылку на временный объект, который будет уничтожен после выполнения оператора return.

P.S. У Вас скорее всего ничего не поломается потому что компилятор обеспечивает временным объектам столь же долгую жизнь, как и инициализированным ими ссылкам (const).

10
  • Исправил код. Когда я говорил что данный код верен я имел ввиду что функция работает корректно в таком виде при условии что a>b а в другом виде выше показанном функция не работает вообще.
    – user252359
    Commented 21 нояб. 2019 в 4:34
  • @RundogieRundogie, я прокомментировал тот код, который Вы предоставили. Я понял, что Вы имеете в виду, но в данном случае "код работает" не означает, что он правильный. Теперь, когда Вы поправили код и добавили static, функцию можно считать корректной - при выходе из функции объект не уничтожится (компилятор создаст область хранения в памяти, и переменная "проживет" до конца работы программы).
    – isnullxbh
    Commented 21 нояб. 2019 в 5:06
  • @RundogieRundogie, если у Вас еще остались вопросы касательного этого кода - пишите здесь, я обновлю ответ дополнениями, если таковые появятся.
    – isnullxbh
    Commented 21 нояб. 2019 в 5:10
  • на самом деле интересовало другое. Код тот же самый но при указании выбрасывания в тернарном операторе исключения функция ломается. Почему?
    – user252359
    Commented 21 нояб. 2019 в 5:13
  • @RundogieRundogie, если Вас именно это интересовало - то почему я не вижу ни слова об этом в самом вопросе? Я не совсем понимаю, о чем идет речь - "код тот же самый, но при выбрасывании тернарного оператора" - получается, он уже не тот же самый? :) Добавьте пример в свой вопрос - я посмотрю.
    – isnullxbh
    Commented 21 нояб. 2019 в 5:16
0

Оба варианта формально "верны", но первый имеет неопределенное поведение.

В случае, когда ветви оператора ?: имеют разные типы (ваш первый вариант), общий результат всего оператора ?: будет являться prvalue. В такой ситуации о прямой привязке ссылки к операндам ?: не может быть речи. Ссылка всегда будет привязываться к временному объекту, созданному на основе одного из операндов. Этот временный объект будет уничтожен по выходу из функции, в результате чего возвращенная ссылка окажется "подвисшей".

Во втором варианте обе ветви ?: являются lvalue одного и того же типа. Это значит, что и результат будет lvalue этого типа и, следовательно, ссылка будет привязана к этому lvalue напрямую, без создания каких либо промежуточных временных объектов.

Если вы уберете константность с возвращаемой ссылки, то первый вариант не будет даже компилироваться (по той же причине).

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.