А понимаете ли Вы move семантику?

Добрый день!

Еще вчера я честно думал, что разобрался как работают rvalue references в C++11. Думал до тех пор, пока не наткнулся на грабли.

Итак, я предлагаю размять мозги и попробовать написать функцию move_if_rr. Такой себе тест на понимание: успех засчитывается за функцию, которая работает правильно при условии, что Вы ее ни разу не отлаживали. Детали задания под катом.

Итак, условие.
Пусть, есть следующий код:

emplate< class U >
class Container
{   
    U member;
 
public:
 
    U &Get(){ return member; }
    const U &Get() const{ return member; }
 
public:
 
    template< class T > void dummy( const Container< T > & ); // copy
    template< class T > void dummy( Container< T > && ); // move
 
public:
 
    Container() {}
 
    // Ожидается, что T - это нечто совместимое с Container
    template< class T >
    Container( T &&rr ) : member( move_if_rr< T >( rr.Get() ) )
    {
        // dummy( std::forward< T >( rr ) )
    }
};

Container намеренно сделан шаблонным, чтобы реальный тип member был неизвестен.
Функции dummy нужны только, для того, чтобы разъяснить семантику move_if_rr (ниже по тексту).

Необходимо написать функцию move_if_rr, удовлетворяющую следующим правилам:
Если закомментированный forward в конструкторе Container, вызовет f, помеченную как move, то:
* Использование move_if_rr должно приводить к вызову move конструктора поля member.
Если закомментированный forward в конструкторе Container, вызовет f, помеченную как copy, то:
* Использование move_if_rr должно приводить к вызову конструктора копирования поля member.
Оба правила предполагают, что в качестве аргумента конструктору Container был передан тип Container.

Решения ожидаются в комментариях.

Автор: Wyrd