Perfetto inoltro di un membro di oggetto

Question

Supponiamo che io ho due struct s:

struct X {}; 
struct Y { X x; } 

Ho funzioni:

void f(X&); 
void f(X&&); 

Come faccio a scrivere una funzione g() che prende Y& o Y&& ma perfetta inoltro X& oppure X&& a f(), rispettivamente:

template <typename T> 
void g(T&& t) { 
    if (is_lvalue_reference<T>::value) { 
    f(t.x); 
    } else { 
    f(move(t.x)); 
    } 
} 

Il codice sopra riportato illustra la mia intenzione ma non è molto scalabile in quanto il numero di parametri aumenta. C'è un modo per farlo funzionare per l'inoltro perfetto e renderlo scalabile?

Answer 1

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

Answer 2

penso che questo funzionerà, anche se non sono sicuro:

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)); 
}