C++ 11: subtelność std :: forward: Czy tożsamość jest naprawdę potrzebna?

Question

Przygotowałem walizkę testową, aby dowiedzieć się o perfekcyjnym przekazywaniu.

std::string inner(const std::string& str) { 
return "const std::string&"; 
} 
std::string inner(std::string& str) { 
    return "std::string&"; 
} 
std::string inner(const std::string&& str) { 
    return "const std::string&&"; 
} 
std::string inner(std::string&& str) { 
    return "std::string&&"; 
} 

template <typename T> void outer(T&& t) { 
    std::cout << "t: " << t << std::endl; 
    std::cout << "perfect forward: " << inner(std::forward<T>(t)) << std::endl; 
    std::cout << std::endl; 
} 

void PerfectForwarding() 
{ 
    outer("literal"); 
    outer(lvalue); 
    outer(constlvalue); 
    outer(rvalue()); 
    outer(constrvalue()); 
} 

std::forward działa zgodnie z oczekiwaniami. Interesującą zachowanie pojawia się, gdy zaimplementować własną funkcję naprzód bez tożsamości:

template <typename T> T&& MyForward(T& t) 
{ 
    return ((T&&)t); 
} 

Wymiana std::forward z MyForward w zewnętrznej daje dokładnie ten sam wynik! Zachowanie nasuwa pytanie, dlaczego tożsamość jest używana?

Compiler VS2010

Aktualizacja 1: W odniesieniu do zapobiegania TYP odliczenia

AFAIK, przepis szczególny rodzaj odliczenie jest aktywna tylko na T & &. Zwróć uwagę na definicję forward, forward(typename identity<T>::type& t). Typ argumentu ma tylko jedną wartość: &. W rzeczywistości, po zmianie funkcji MyForward na tożsamość i pominięciu rzutowania (T & &), przykład nie zostanie skompilowany. Na powierzchni rzut od l-wartości do rwartości wydaje się sprawiać, że praca naprzód.

Aktualizacja 2: testowane na ideone.com z GCC 4.5, to samo zachowanie.

Answer 1

remove_reference<T> (identity było w starej wersji projektu, ale został zmieniony na remove_reference) jest stosowany w celu zapobiegania typu odliczenie: std::forwardtylko współpracuje z wyraźną parametru typu. W przeciwnym razie skompilowałoby się:

std::forward(t) 

... ale nie zrobiłoby to dobrze.

Odnośnie problemu z wartościami l/rwal, proszę zauważyć, że istnieje two overloads of std::forward: jedna dla wartości l, druga dla wartości r.

W rzeczywistości, realizacja MyForward podana jest bardziej jak std::move: okazuje lwartościami do rvalues ​​(różnica jest taka, że ​​ruch akceptuje rvalues ​​również).

Answer 2

sprawdziłem definicję forward i identity w VS 2010. Jedyna różnica między MyForward i ich forward jest użyć parametru T& i używają parametru typename identity<T>::type&. I identity<T>::type to tylko T.

Najważniejszym (być może jedynym) efektem tej różnicy jest to, że aby użyć ich forward, argument szablonu musi być jawnie określony, podczas gdy twój argument szablonu MyForward może zostać wywnioskowany z połączenia.