बिल्कुल सही वस्तु के एक सदस्य अग्रेषण

Question

मान लीजिए मैं दो struct रों है:

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