Предположим, что у меня есть два struct
s:
struct X {};
struct Y { X x; }
У меня есть функции:
void f(X&);
void f(X&&);
Как написать функцию g()
, которая принимает Y&
или Y&&
, но совершенную переадресацию X&
или X&&
в f()
соответственно:
template <typename T>
void g(T&& t) {
if (is_lvalue_reference<T>::value) {
f(t.x);
} else {
f(move(t.x));
}
}
Приведенный выше код иллюстрирует мое намерение, но не очень масштабируется по мере увеличения числа параметров. Есть ли способ заставить его работать для идеальной пересылки и сделать его масштабируемым?