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) случаи со ссылками работают?

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