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
  • А какая ошибка возникает в первом случае? 20 ноя 2019 в 10:25
  • 1
    Потому что строковой литерал " ... " имеет тип const char*, и получается в тернарной операции два разных типа 20 ноя 2019 в 10:26
  • 1
    @ARHovsepyan, нет, будет создан временный объект типа std::string, никаких "разных типов" там нет.
    – isnullxbh
    20 ноя 2019 в 10:30
  • @ARHovsepyan, читайте здесь: en.cppreference.com/w/cpp/language/operator_other
    – isnullxbh
    20 ноя 2019 в 10:38
  • Попробовал в онлайн компиляторе : http://cpp.sh/8m2m2 , работают оба варианта... @Rundogie Rundogie , нужны остальные части программы, в частности, что такое m_name и mass
    – zcorvid
    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
    21 ноя 2019 в 4:34
  • @RundogieRundogie, я прокомментировал тот код, который Вы предоставили. Я понял, что Вы имеете в виду, но в данном случае "код работает" не означает, что он правильный. Теперь, когда Вы поправили код и добавили static, функцию можно считать корректной - при выходе из функции объект не уничтожится (компилятор создаст область хранения в памяти, и переменная "проживет" до конца работы программы).
    – isnullxbh
    21 ноя 2019 в 5:06
  • @RundogieRundogie, если у Вас еще остались вопросы касательного этого кода - пишите здесь, я обновлю ответ дополнениями, если таковые появятся.
    – isnullxbh
    21 ноя 2019 в 5:10
  • на самом деле интересовало другое. Код тот же самый но при указании выбрасывания в тернарном операторе исключения функция ломается. Почему?
    – user252359
    21 ноя 2019 в 5:13
  • @RundogieRundogie, если Вас именно это интересовало - то почему я не вижу ни слова об этом в самом вопросе? Я не совсем понимаю, о чем идет речь - "код тот же самый, но при выбрасывании тернарного оператора" - получается, он уже не тот же самый? :) Добавьте пример в свой вопрос - я посмотрю.
    – isnullxbh
    21 ноя 2019 в 5:16
0

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

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

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

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

Ваш ответ

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