Совершенная пересылка элемента объекта

Question

Предположим, что у меня есть два 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)); 
    } 
} 

Приведенный выше код иллюстрирует мое намерение, но не очень масштабируемо по мере увеличения числа параметров. Есть ли способ заставить его работать для идеальной пересылки и сделать его масштабируемым?

Answer 1

template <typename T> 
void g(T&& t) { 
    f(std::forward<T>(t).x); 
} 

Answer 2

Я думаю, что это будет работать, хотя я не уверен:

template<class T, class M> 
struct mforward { 
    using type = M&&; 
}; 
template<class T, class M> 
struct mforward<T&, M> { 
    using type = M&; 
}; 

template <typename T> 
void g(T&& t) { 
    f(std::forward<typename mforward<T, decltype(t.x)>::type>(t.x)); 
}