बिल्कुल सही अग्रेषण

Question

, तब हम निम्नलिखित है:

template <class T> 
struct B{ 
    T data; 
} 

struct A{ 
    int data_array[100]; 
} 

int main() 
{ 
    A x; 
    const A x_const; 

    auto y1 = f(A()); 
    auto y2 = f(x); 
    auto y3 = f(x_const); 
    auto y4 = f(std::move(x)); 
} 

मैं एक f जानना चाहते हैं (अधिमानतः समारोह, लेकिन मैक्रो भी ठीक है) ऐसी है कि:

decltype(y1) == B<A> 
decltype(y2) == B<A&> 
decltype(y3) == B<const A&> 
decltype(y4) == B<A&&> 

है, f पूरी तरह से आगे B की एक वस्तु में।

Answer 1

template <typename T> 
auto f(T&& t) -> B<decltype(std::forward<T>(t))> 
{ 
    return B<decltype(std::forward<T>(t))>{std::forward<T>(t)}; 
} 

यह करता है लगभग आप क्या चाहते हैं। केवल एक ही अंतर यह है कि के बजाय टाइप B<A&&> है।

Answer 2

यह असंभव है। y1 और y4 के लिए, तो वे दोनों प्रकार ए के रावल लेते हैं, लेकिन आप उन्हें विभिन्न प्रकारों को वापस करना चाहते हैं। f को कैसे पता होना चाहिए कि वापस क्या करना है?

Answer 3

auto y1 = f(A()); 
auto y4 = f(std::move(x)); 

अलग पहचाना नहीं होगा, के रूप में A() एक अस्थायी जो A&& करने के लिए बाध्य होगा उत्पादन।