White OwlayvangoА вот тут тогда почему всё работает?

http://alenacpp.blogspot.ru/2008/01/const.html Потому что автор статьи видит звон, но не понимает где он.
const там совершенно не причем. А вот то что строка задана как "abc" это важно.
Тут скорее вы не разобрались.

В примере по ссылке абсолютно не важно, как задана строка.

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

При этом компилятору позволяется для оптимизации опускать избыточные копирования временных объектов если время жизни у копии совпадает с исходным объектом. Но это отдельная тема.

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


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

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

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

ayvangoпочти во всём разобрался.
Ага, щас :)
авторconst Example* f3(){ return new Example(3); } // компилируется, не работает. (нельзя будет удалить объект)
А как подробно это объяснить (константные объекты создаются в особой области памяти, но возвращаемый объект просто расположен в куче, а из-за того, что указатель показывает на константный объект, нельзя вызвать деструктор)? Кстати, VS2010 нормально вызывает деструктор.
Это абсолютно валидный код.
И никаких проблем с удалением объекта созданного в куче через указатель на константный объект нет, поскольку это атрибут указателя, а не объекта.

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

И называйте вещи своими именами - в C++ вам скорее всего никогда не придется вызвать деструктор явно: pointer->~Example().
А delete pointer - это не вызов деструктора, а удаление объекта (в т.ч. как всего лишь одна из частей этого процесса будет неявно вызван деструктор)

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

ссылки на временный объект http://alenacpp.blogspot.ru/2008/01/const.html
Кстати, вот рассказывают что обязательно const нужен для ссылки на временный объект.
const нужен, потому что стандарт не разрешает приваивать временные значения в неконстантные ссылки, а не из-за технических каких-то причин.
А компиляторы которые попускают такое просто не придерживаются стандарта. Например VS6 много чего не по стандарту делал, да и следующие версии тоже, хоть и постепенно фиксят это.

в данном случае,

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