本文为第八部分,目录请参阅概述部分:http://www.cnblogs.com/harrywong/p/cpp-rvalue-references-explained-introduction.html。
Perfect Forwarding(完美转发):解决方案
对右值引用的两个规则中的第一个也同样影响了旧式的左值引用。回想在pre-11 C++时,对一个引用取引用是是不被允许的,比如A& &会导致一个编译器错误。相比之下,在C++11中,引入了如下所示的引用折叠规则(reference collapsing rules):
- A& &变成A&
- A& &&变成A&
- A&& &变成A&
- A&& &&变成A&&
第二条,有一个对应于函数模板中模板参数的特殊的演绎规则,当其模板参数为右值引用类型的时候:
template<typename T>
void foo(T&&);
下面,这些规则会生效:
- 当foo被一个类型为A的左值调用时,T会被转化为A&,因此根据上面的引用折叠规则,这个参数类型实际上会变成A&。
- 当foo被一个类型为A的右值调用是,T会被转化成A,因此这个参数类型实际上会变成A&&。
根据这些规则,我们现在可以使用右值引用来解决如前所述的完美转发的问题了。这就是解决方案长的样子:
template<typename T, typename Arg>
shared_ptr<T> factory(Arg&& arg)
{
return shared_ptr<T>(new T(std::forward<Arg>(arg)));
}
std::forward
的定义如下所示:
template<class S>
S&& forward(typename remove_reference<S>::type& a) noexcept
{
return static_cast<S&&>(a);
}
暂时还不用关注noexcept
关键字。它就是让编译器知道,为了一些特定的优化目的,这些函数永远不会抛出异常。我们将会在第九部分探讨它。为了看清上面的代码是如何实现完美转发的,我们需要分别讨论当factory函数被左值和右值调用时发生了什么。给出A和x的类型。首先假设factory<A>被一个类型为x的左值所调用:
X x;
factory<A>(x);
然后,根据上面所讲的特殊的模板参数演绎规则,factory的模板类型Arg为转化为X&。因此,编译器将会实例化如下的factory和std::forward:
shared_ptr<A> factory(X& && arg)
{
return shared_ptr<A>(new A(std::forward<X&>(arg)));
} X& && forward(remove_reference<X&>::type& a) noexcept
{
return static_cast<X& &&>(a);
}
这对于左值而言的确是完美转发:factory函数的arg参数通过两层被间接地传递到了A的构造器中去,均是通过旧式的左值引用。
接下来,假设factory<A>被一个类型为x的右值所调用:
X foo();
factory<A>(foo());
那么,同样的根据特殊的模板参数演绎规则,factory的模板类型会被转化为X。因此现在编译器会产生如下函数模板实例:
shared_ptr<A> factory(X&& arg)
{
return shared_ptr<A>(new A(std::forward<X>(arg)));
} X&& forward(X& a) noexcept
{
return static_cast<X&&>(a);
}
这也确实是对右值的完美转发:factory函数的参数通过两层被间接地传递到了A的构造器中,都是通过引用。进一步来说,A的构造器看待它的参数就是一个被声明为右值引用的表达式,并且还没有名字。根据「没有名字规则」,它就是一个右值。因此,A的构造器被一个右值调用。这就说明了这次转发保留了move语义,就像factory的包装并不存在一样。
在这个上下文中,保留move语义是std::forward唯一的目的,这看上去可能并没什么价值。即使不使用std::forward,一切也会运作正常,除了A的构造器将总是会将他的参数看做一个有名字的,也就是左值。换另一种说法也就是std::forward的目的就是将左值还是右值的信息传递出去。
如果你想再深入一些,问你如下问题:为什么再std::forward的定义中remove_reference是需要的呢?答案便是:它根本并不需要。如果你在std::forward的定义中,使用S&来替换remove_reference<S>::type&,你依然可以发现完美转发依然运作正常。然后它运作正常是建立在我们明确的标志出Arg作为std::forward的函数模板参数而言的。在std::forward的定义中,使用remove_reference的目的便是强制我们如此去做。
值得庆祝,我们基本上已经完成了。就只剩下需要看一下std::move的实现了。需要记住,std::move的目的是为了将它的参数通过通过引用传递出去,并且把它绑定看起来像一个右值。下面便是实现:
template<class T>
typename remove_reference<T>::type&&
std::move(T&& a) noexcept
{
typedef typename remove_reference<T>::type&& RvalRef;
return static_cast<RvalRef>(a);
}
假设我们使用一个类型为x的左值调用它:
X x;
std::move(x);
根据新的模板演绎规则,模板参数T将会变成x&。因此,编译器最后实例化的是:
typename remove_reference<X&>::type&&
std::move(X& && a) noexcept
{
typedef typename remove_reference<X&>::type&& RvalRef;
return static_cast<RvalRef>(a);
}
然后评评估完remove_reference并且应用了新的引用折叠规则,这就变成:
X&& std::move(X& a) noexcept
{
return static_cast<X&&>(a);
}
它做了如下工作:我们的左值x绑定到了左值引用,也就是函数的参数类型。并且std::move函数将它直接传递,把它变成了一个无名的右值引用。
我把std::move在被右值调用时依然运作良好的证明留给你。但是你也许想要跳过这个:为什么有人想要用右值来调用std::move,当它唯一的目的就是将东西变成右值?并且,你也许现在还会注意到,除了
std::move(x);
我们还可以写
static_cast<X&&>(x);
然而,std::move是被强烈推荐的,因为它更具有表达性。