ayvangoДопустим, есть какая-то функция. Предполагается, что поток только один.

1)Может ли она возвращать указатель на объект, созданный внутри неё?


Да.

ayvango2)Меняет ли что-то, если объект статический, создан внутри ф-и?


Т.е. может ли функция вернуть указатель на статический объект, область видимости которого -- эта функция ?
Да, может.
Вообще, функция в С++, которая возвращает по своей сигнатуре указатель какого-то типа, может возвращать
любое валидное выражение типа "указатель на этот тип", С++ никак не ограничивает функцию ни в чём.
Другое дело, что по семантике например бессмысленно возвращать указатель на автоматический объект, созданный
в этой функции -- он будет удалён по выходу из этой функции, и указатель автоматом станет невалидным.


ayvangoТе же вопросы для случая, когда возвращается указатель на константу либо константный указатель.
Те же вопросы для случая, когда возвращается ссылка.
Те же вопросы для случая, когда возвращается ссылка на константу.


Ничем в общем не отличается от возврата указателя. Любое валидное выражение этого типа может быть возвращено.
Но это не значит, что это имеет всегда смысл.

Это я к тому, что возможно ты неправильно сформулировал вопрос. Лучше было бы, если бы ты привёл все интересующие тебя варианты кода, тогда можно было бы их прокомментировать и сказать, где имеет смысл так делать, а где нет.

CerebrumЕсли объект создан динамически (в куче), то можно, если на стеке, то нельзя

Что значит нельзя ? Можно, но просто он уже станет невалидным.

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

...
std::string f(){ return "abc"; }
...
const std::string& s = f();
...

Здесь всё нормально, а объект не является статическим. Как это объяснить?


Ну здесь -то нет указателей, здесь объект по значению возвращается.
Им инициализируется константная ссылка, это по стандарту продлевает жизнь временного объекта на время
жизни этой ссылки.

ayvango И почему то же самое не верно для указателей?
const std::string* const ps = f(); -- почему не хочет компилироваться (компилится лишь при использовании new для выделения памяти)?

Не хочет компилироваться -- потому что ты указатель инициализируешь объектом, а не его адресом.

Это если функция f выглядит как

std::string f(){ return "abc"; }

если же как

std::string* f(){ return new std::string("abc"); }

то проблема в том, что указатель НЕ продлевает время жизни объекта, в отличие от ссылки.
Но собвтсенно и объект-то не возвращается, возвращается указатель на него.

ayvangoСпасибо,

если я правильно понял, то в случае с ссылкой на константу передаётся копия созданного объекта, а внутренний объект разрушен, но всё равно всё работает, передаётся-то объект, а не обломки,

а в случае с константным указателем на кностанту передаются обломки (указатель на разрушенный объект), потому всё и отказывается компилироваться.

Понял ты неправильно. Ссылка или указатель -- всё равно. Важно, что функция возвращает.
Если ссылку или указатель, это не влияет на время жизни объекта, которым они проинициализированы
при возврате. Если значение -- то значение и возвращается, при этом объект копируется.

А так работает?Abstractionпропущено...
Нет. Если писать так:
, то тоже получится фигня. Смотрите на то, что возвращает функция, а не на то, чему это возвращаемое значение присваивается.

А так работает?



Нет. Хотя если тестировать, то иногда может казаться, что оно работает.

ayvango





Вообще при таких проблемах часто нужно подумать о возврате объекта по значению.

ayvango
в VisualStudio всё копмилируется, только вот для f1() и f2() стоят предупреждения о возвращении ссылки на локальную переменную. Вопрос в том, будет ли это корректно работать?

Это не должно компилироваться по стандарту. Если студия это жрет, это проблемы частного компилятора.

Означает ли это, что при выходе из ф-и f1() и f2() соответственно соответствующие объекты уничтожаются несмотря на то, что на них указывает ссылка?


Да.



Почему ссылка не продлевает время жизни объекта?

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

И почему для встроенных типов (int) случаи со ссылками работают?

Не работают и так, и так. Если ты гоняеш тесты какие то, то это тебе только кажется, что оно работает.

А так работает?MasterZivпропущено...


Нет. Хотя если тестировать, то иногда может казаться, что оно работает.
Не нет, а да.

Это может только делать вид, что работает.
Ссылка возвращаемая ссылается на объект, время жизни которого истекло и он уничтожен.

Anatoly MoskovskyА так работает?пропущено...

Не нет, а да.
Не да, а нет :)
Все что я сказал не относится к случаю когда возвращается ссылка.
MasterZiv правильно сказал - работать будет некорректно, но вы об этом узнаете когда уже будет поздно.
При этом неважно во что присваивается результат.

Ссылку/указатель можно возвращать только на объекты с временем жизни больше чем вызванная функция.
Это:
1) глобальные и статические объекты
2) объекты созданные функцией в куче или другой глобальной памяти
3) объекты переданные в функцию извне (явно или неявно через состояние)

Не, на самом деле допустимо возвращать такие невалидные ссылки, но только при одном условии - что к этим объектам никогда не будет в программе обращения.

Про да и нет и эксперименты.
Тут как в анекдоте про Чапая, Петьку, таракана и научные изыскания — далеко не всякий эксперимент может являться подтверждением правильности какой-то теории.

в данном случае
А в данном случае возвращаемый объект является временным и продлевается ли его жизнь?:





В данном случае из функии также возвращается временный объект.
При выходе из функции переменная s копируется в новый временный объект и возвращается.

Снаружи функции тут также происходит продление времени жизни временного объекта, возвращённого из функции.

Всегда, когда функция возвращает что-то по значению, возвращается временный объект (также в широком смысле слова, включая встроенные типы типа int, double и т.д.).
Также всегда, когда из функции возвращается временный объект и им инициализируется ссылка (она обязана быть константной), продлевается время жизни этого временного объекта до выхода из области дейсвия ссылки.