Совершенная пересылка для классов-оболочек

Question

у меня есть, например, класс-оболочка:

template <typename T> 
struct Wrapper { 
    T t; 
}; 

и некоторые прокси-класс, который принимает что-то делает с T:

template <typename T> 
struct Proxy { 
    T t; 
    void operator()() const {/* .... */} 
} 

Теперь есть для удобства метод, который создает прокси, и я написал перегруженный его для ссылки на l- и r-значение:

template <typename T> 
Proxy<const T &> createProxy(const Wrapper<T> &w) {return {w.t};} 

template <typename T> 
Proxy<T> createProxy(Wrapper<T> &&w) {return {std::move(w.t)};} 

Это, конечно, только урезанный код, который я хотел использовать, но, чтобы сделать все более удобным для чтения, я хочу использовать некоторую идеальные пересылки магию, что приводит к меньшему количеству коды делает все немного более удобное для чтения:

template <typename Wrapper> 
Proxy</* ??? */> createProxy(Wrapper &&w) { /* ??? */ } 

Так вопрос в том, как я могу вычесть тип l- или r-значения члена типа l- или r-значения?

Answer 1

std::forward<Wrapper>(w).t имеет ту же категорию стоимости как w, поэтому все, что вам нужно сделать, это возвращать Proxy с && вырезаны из decltype((std::forward<Wrapper>(w).t)):

template <typename T> 
struct remove_rvalue_reference { 
    using type = T; 
}; 

template <typename T> 
struct remove_rvalue_reference<T&&> { 
    using type = T; 
}; 

template <typename T> 
using remove_rvalue_reference_t = typename remove_rvalue_reference<T>::type; 

template <typename Wrapper> 
auto createProxy(Wrapper&& w) -> 
    Proxy<remove_rvalue_reference_t<decltype((std::forward<Wrapper>(w).t))>> { 
    return {std::forward<Wrapper>(w).t}; 
} 

Demo at Coliru