expédition

Question

parfait Si nous avons les éléments suivants:

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

Je veux savoir une f (fonction de préférence, mais macro est correct aussi) tel que:

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

C'est, f parfaitement en avant x dans un objet de 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)}; 
} 

Cela ne presque ce que vous voulez. La seule différence est pour le premier le type est B<A&&> plutôt que B<A>.

Answer 2

Ceci est impossible. Pour y1 et y4, ils prennent tous les deux des valeurs de type A, mais vous souhaitez qu'ils retournent des types différents. Comment devrait f savoir quoi retourner?

Answer 3

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

Ne sera pas se distinguer, comme A() produire un temporaire qui se liera à A&&.