Как принять как правую, так и левую ссылки в C++?

Question

Я хотел бы иметь функцию-член, которая принимает как левую, так и правую ссылки на некоторый класс и перемещает его объект. В настоящее время у меня есть две отдельные функции:

void ThrSafeQueue::push(Obj&& x) { 
    lock_guard(mutex_); 
    queue_.push(x); 
} 
void ThrSafeQueue::push(Obj& x) { 
    lock_guard(mutex_); 
    queue_.push(std::move(x)); 
} 

Answer 1

Первый вариант заключается в использовании шаблона функции-члена (forwarding references), но она не может быть виртуальным и может принимать некоторые другие типы вместо Obj в некоторых случаях:

template <typename T> 
void ThrSafeQueue::push(T&& x) { 
    lock_guard(mutex_); 
    queue_.push(std::move(x)); 
} 

Второй вариант - оставить только функцию, принимающую правильную ссылку, и static_cast<Obj&&> все левые ссылки. Вместо static_cast вы можете использовать std::move:

ThrSafeQueue t; 
t.push(Obj{}); 
Obj o; 
t.push(std::move(o)); 

Answer 2

Это то, что универсальный справочник для:

template<typename T> 
void ThrSafeQueue::push(T && x) { 
    lock_guard(mutex_); 
    queue_.push(std::forward<T>(x)); 
} 

Синтаксис кажется обманчивым. Здесь && фактически не обозначает ссылку rvalue, а universal reference, которая будет связываться с lvalue или rvalue, в зависимости от вызова шаблона.

std::forward будет, в зависимости от того, является ли его шаблон значением rvalue на lvalue, либо вырождается до std::move, либо нет-op в случае lvalue, именно то, что вы хотите.

Этот пример на самом деле попытается переправить что-либо, а не только Obj, до push(). Вероятно, это нормально, но если вы хотите ограничить вызов шаблона, который будет использоваться только с Obj s, при необходимости можно использовать обычные трюки с участием std::enable_if и std::is_same.