итак. что же такое r-value refs & move-semantics?

что мне известно об этом?: первое(и вроде как единственное) - позволяет получать ссылки на временные объекты.


такой еще пример:

http://en.cppreference.com/w/cpp/utility/move

не может быть чтоб на этом польза от r-value refs & move-semantics закончилась.
поделитесь опытом, мыслями.

спасибо.

boostcoder

Это перемещение объекта, объект может быть не копируемым, но перемещаемым. В некоторых случаях копирование объекта невозможно реализовать, зато запросто можно реализовать перемещение.
Например класс std::unique_ptr не поддерживает копирование. Он не считает количество ссылок, т.е. его копирование просто невозможно (или он должен работать как auto_ptr), зато реализовано перемещение этого объекта, что позволяет хранить std::unique_ptr в контейнерах.

azesmcar, но у перемещаемого объекта все равно вызывается деструктор? и если да, то что он разрушает, если данные были перемещены?

Например:

http://liveworkspace.org/code/4baf51d7d55a...835aad73d11a085

Объект перемещается, т.е. все данные переместились в другой объект, в данном случае деструктор сделает delete 0 и успокоится.
Что делает деструктор и конструктор перемещения решает программист.

что-то не понял...
вот к примеру:

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

Добавлено через 1 минуту и 53 секунды

ага. т.е. реализация деструктора должна предполагать подобное поведение?

Функциональный разрушен не будет, функциональный объект был перемещен и будет разрушен после выхода из области видимости.

Добавлено через 1 минуту и 57 секунд

точнее реализациа конструктора перемещения  
деструктор в моем примере ведет себя как обычно.

Извините что вмешиваюсь, вот по этой ссылке идет вроде не плохое и достаточно подробное объяснение r-value refs & move-semantics. 

Ну и к одному из приведенному примеру дается такое объяснение: " Instead of dynamically allocating memory, the move constructor and move assignment operator simply steal it from other .  When stealing, we copy other's pointer and then null it out.  When other is destroyed, its destructor will do nothing.". 

Там есть примеры показывающие различное поведение r-value refs, а также обсуждается как работает std::move() для различных аргументов:



Это сообщение отредактировал(а) rumit7 - 9.11.2011, 10:22

все равно не понимаю...

к примеру, r-value refs у нас нет. тогда мой пример записывался бы так:

т.е. тут создавался бы временный объект, внутри функции async_call() инициализировался бы другой объект, и временный объект бы разрушался. тут все понятно.

а вот с r-value что-то не понимаю смысла, если временный объект все равно создается и разрушается..

Добавлено через 1 минуту и 42 секунды
rumit7, спасибо. сейчас прочту.

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

Это сообщение отредактировал(а) azesmcar - 9.11.2011, 10:21

ааа! вот оно как.


  


вроде понял.. нужно усвоить.

azesmcar, все, понял. спасибо.

зы
с двухсотым плюсиком тебя.

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



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

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

  да-да, типа того



boostcoder видимо имеет в виду это:
http://liveworkspace.org/code/1a70c160da7c...2dbaf2a272a94a2
хотя имхо польза от этого довольно сомнительная...

тоже вариант.

Экспериментировал как-то с move-semantics:
http://liveworkspace.org/code/ad3e28d4a554...cdfe13a7b58d551
Почему-то у меня упорно не хочет вызыватся move-ctor Str( Str && other );
Что я не так делаю...
И ещё. Там создаётся 4 объекта (x, y, x и result внутри operator+), а вызывается 3 деструктора. Как это ?
И где вызвался конструктор z ?