boostcoder, исходным объектом пользоваться можно! Более того, исходный объект после перемещения используется как минимум в деструкторе. Но так как ты перенес состояние, то деструктор отработает "вхолостую" без реального освобождения ресурсов. А вот после деструктора объект уже использовать, как ты понимаешь, нельзя. По логике вещей, деструктор вызывается сразу же после отработки операции перемещения:Сначала выполнится y+z и результат поместится во временный объект. Затем вызовется перемещающий конструктор для x и перенесет состояние из временного объекта. Затем будет вызван деструктор временного объекта.

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



Это сообщение отредактировал(а) mes - 14.4.2012, 11:43

с чего это вдруг? у него вполне определенное состояние - то, в котором его оставил "перемещатель" (например, если перемещатель занулил только указатель на начало данных вектора, а остальные оставил без изменений, то состояние неопределенное - в общем случае, только деструктор отработает корректно). А это уже задача программиста следить за тем, чтобы состояние соответствовало планам использования.
Имхо, после перемещения объект должен быть уничтожен... А "вдыхать" в него жизнь - это только делать себе хуже.

это то понятно.. но во первых нет гарантий заставляющих оставлять объект в коректном состоянии, во вторых нет (не всегда есть) такой возможности.. 

 а для общего случая нельзя.. 

йопт... так можно или нельзя?
Че в стандарте написано?

имелось ввиду не состояние конкретного объекта, а состояние любого объекта после перемещения..

Добавлено @ 12:20

вообще применять move семантику нужно к rvalue...
но С++, как говорится, всегда готов придти на помощь, и можно применить move для lvalue,  однако в этом случае ответственность ложится на плечи программиста, а стандарт умывает руки   

Это сообщение отредактировал(а) mes - 14.4.2012, 13:49

Классно сказано! Ёмко!