例如,我有一个包装器类:
template <typename T>
struct Wrapper {
T t;
};
某些代理类使用
T
做一些事情:template <typename T>
struct Proxy {
T t;
void operator()() const {/* .... */}
}
为方便起见,现在有一个创建代理的方法,我已经写了重载以供左和右值引用:
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值类型?
最佳答案
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
关于c++ - 包装类的完美转发,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/26330018/