Содержит ли следующий код UB ? Ссылки на локальные объекты при возврате протухают, но если их вернуть по const
ссылке, то время их жизни продлевается, все возвраты сделаны по const
ссылке (правда через auto
), вроде всё должно быть нормально:
std::vector<int> Foo(int N = 10)
{
std::vector<int> rv;
for (int i = 0; i < N; ++i)
{
rv.push_back(i + 10);
}
return rv;
}
int GetNumber()
{
const auto &num = Foo().front();
return num;
}
int main()
{
int x = GetNumber();
std::cout << x << std::endl;
return 0;
}
PS. Однако этот код иногда ведёт себя неадекватно (не совсем прямо этот, это я ужал всё в минимальный пример, у нас std::vector более сложных объектов, и там ещё в параллеле крутятся потоки, это всё повышает вероятность реального проявления UB).
int GetNumber() { const auto &num = Foo().front(); return num; }
- здесь по сути нет ссылки на локальный объект вовне. Вы работаете со ссылкой на временный объект, но только внутри функции, и возвращаете из нееint
, а неconst int&
- т.е. при выходе получается копия значения, находящегося по ссылке. А сам локальный объект после этого никого не интересует, и ссылки на него вне функции нет. Оптимизатор вполне может разобраться, например, что можно обойтись одним вектором, без копирования - но это не важно. "По-моему, так" (с) Пух – Harry 10 янв '20 в 12:31