Tworzenie aliasu `std :: forward` - nieoczekiwane wyniki

Question

Utworzono alias, który powinien zachowywać się dokładnie tak, jak std::forward.

template<class T> 
constexpr decltype(auto) fwd(T mValue) noexcept 
{ 
    return std::forward<T>(mValue); 
} 

I wtedy zastąpione wszystkie wystąpienia std::forward<...> z fwd<...> w moim kodzie.

Zestawiono wszystkie projekty z g++ 4.9 - wszystkie testy zakończone, wszystko działało poprawnie.

Potem próbowałem kompilacji z clang++ 3.5. Niektóre testy zdawały się losowo zawieść, a powodem było fwd<...>. Zastąpienie go ponownie numerem std::forward<...> naprawiło awarię testów.

Próbowałem pisać fwd<...> ze składnią typu trailing powrotnej, jak myślałem decltype(auto) nie działa:

template<class T> 
constexpr auto fwd(T mValue) noexcept -> decltype(std::forward<T>(mValue)) 
{ 
    return std::forward<T>(mValue); 
} 

wyniki same: g++ prace, clang++ nie.

Potem spojrzał podpis std::forward na cppreference i realizowane mój alias takiego:

template<class T> 
constexpr T&& fwd(std::remove_reference_t<T>& t) { return std::forward<T>(t); } 

template<class T> 
constexpr T&& fwd(std::remove_reference_t<T>&& t) { return std::forward<T>(t); } 

To działa (wszystkie testy pass) zarówno na g++ i clang++.

Dlaczego nie działa wersja decltype(auto)? Nie powinien zwracać dokładnie tego samego typu zwrotu, co std::forward?

Answer 1

Zapomniałaś zadeklarować M-wartości jako odniesienie przenieść

template <typename T> 
constexpr decltype(auto) fwd(std::remove_reference_t<T> &&mValue) 
{ 
    return std::forward<T>(mValue); 
} 
template <typename T> 
constexpr decltype(auto) fwd(std::remove_reference_t<T> &mValue) 
{ 
    return std::forward<T>(mValue); 
}