Пардон, 33.     Но смысла это не меняет   

mes, спасибо за такой развернутый ответ.
По порядку:

Пробел - не задумывался. Может быть временный объект располагается в стеке, как и переменная\объект (только если они не созданы через new). И, соответственно, уничтожаются после выхода из функции (если важна последовательность уничтожения или что-то еще - то тут тоже пробел).


? Ссылок не существует, по ссылке нельзя перемещаться, как по указателю, ссылка - адрес физически существуемой переменной\объекта,... Что еще?


блок функции - от { до }, функциональный блок - вы говорите о логическом понятии? конкретный целостный механизм, выполняющий задачу?


Я имел ввиду Тип* р, переменная, в которой хранится адрес.


Тип& возвращает адрес памяти соответствующего размера. Значит return переменная\объект сохраняется и не уничтожается после выхода из функции. xvr привел кусок стандарта.


цитата выше. Как можно давать адрес на return переменная\объект, если после выхода из функции  перем.\объект уничтожится? xvr привел отрывок из стандарта, что такая перем\объект не будет уничтожена, пока из главной программы на нее существует ссылка.


С инструментами рисования мне интересна разница и эффекты, которые они дают изображению. Что же касается программирования, то раньше я с++ на дух не переносил: всякие конструкции, тут нужно добавить это ключевое слово, а тут нет, иначе работать будет по  другому; а вот тут еще такой нюанс.. Океан с подводными камнями на каждом шагу. Сейчас, более менее понимая физические основы (работа с памятью), я уже начинаю понимать те подводные камни, от которых у меня сводило мозг раньше.  

Опять 'за рыбу деньги'   
Давайте рассмотрим 2 примера:
Этот пример соотвествует тому, что я приводил и он вполне правильный.

Вариант 2:
Этот пример соотвествует тому, о чем ты пишешь, и он на 100% НЕВЕРНЫЙ.

  


хотелось бы добавить что к рассматриваемому вопросу функция прямого отношения не имеет..
вот тут тот же самый эффект :

Б@%ь! Это же инициализация ссылки! Только где в таком случае хранится результат? 


Об этом вчера кажется у Страуструпа читал. Пишет, результат неопределен и так писать нельзя.

Это сообщение отредактировал(а) Gunslinger - 18.12.2009, 19:23

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

Добавлено через 1 минуту и 34 секунды
только ведь ссылки все равно чем ее инициализируют, а вот временному объекту не все равно. 
Поэтому он выступает в главной смысловой роли..
  

В стеке? У объектов же в куче времени жизни нет - отсюда и утечки..

какие утечки ? временный объект разумеется стековый..

т.е.? имеете ввиду указателем?

нет .. никаких указателей я не рассматривал и они не относятся к данному вопросу.

Тут придется углубится в потроха сгенерированного кода.
В общем и целом возврат любой структуры (в том числе и класса) по значению, компилятор ОБЫЧНО делает так:

•  В список параметров функции добавляется скрытый параметр (типа указателя на структуру), указывающий на место (в стеке) для возвращаемого значения.
•  Вызывающая процедура отводит место в СВОЕМ стеке и передает указатель на него вызываемой процедуре (в этом скрытом параметре)
•  При возврате вызываемая процедура копирует то, что она хочет вернуть (обычно это локальная структура уже в ЕЕ стеке) по указателю из скрытого параметра.

(У данной последовательности возможны многочисленные варианты - зависит от платформы и компилятора)
При возврате объектов копирование производится через operator =. В процессе генерации кода возможны оптимизации:

•  Компилятор может расположить возвращаемую из функции структуру СРАЗУ в стеке вызывающей процедуры, т.е. использовать скрытый указатель сразу как адрес для размещения возвращаемой структуры (вместо размещения ее в локалах)
•  При вызове типа const Obj& j=func() (наш случай) разместить временную копию возвращаемого объекта в стеке вызывающей функции (что делается в любом случае) и использовать j как alias для адреса этого временного объекта. Вызов деструктора этого временного объекта будет отложен до завершении области видимости  j

xvr, спасибо за подробности о механике. Последний вопрос Зачем const? Если переменную нужно будет изменить в дальнейших вычислениях? Или работа с временными объектами чем-то отличается от работы с переменными?

Стандарт требует
Нельзя

xvr, тогда буду ссылаться на стандарт, если потребуется.
xvr, mes, спасибо за помощь.

Это сообщение отредактировал(а) Gunslinger - 21.12.2009, 09:27