解决什么问题
在介绍完美转发之前,我们先来看下面的一段代码。
void foo(const shape&)
{
puts("foo(const shape&)");
}
void foo(shape&&)
{
puts("foo(shape&&)");
}
void bar(const shape& s)
{
puts("bar(const shape&)");
foo(s);
}
void bar(shape&& s)
{
puts("bar(shape&&)");
foo(s);
}
int main()
{
bar(circle());
}
我们猜下,上面会输出什么。
===============================留你思考=================================
circle()会生成一个右值,所以会调用bar(shape&&)
,这个时候参数s
变为了左值,所以会调用foo(const shape&)
,所以以上的输出是:
bar(shape&&)
foo(const shape&)
如果我们希望保持bar函数收到的右值引用,我们就要变为下面的调用方式:
void bar(shape&& s)
{
puts("bar(shape&&)");
foo(std::move(s));
}
可以看到了,bar函数为了保证在转发参数的过程中,保持参数的值类别:左值的仍然是左值,右值的仍然是右值,不得不重载两个bar函数,那有什么简单的方法能够实现呢?
这就有了c++标准库中的std::forward
,即转发引用(forwarding reference),也叫做万能引用(universal reference),具体到实现上来说就是:
template<typename T>
void bar(T &&s) {
foo(std::forward<T>(s));
}
此时再看下面的输出:
circle temp;
bar(temp);
bar(circle());
大家应该能够很容易回答上来了。
总结
本文介绍了c++中转发引用的使用场景:保证在转发参数的过程中,保持参数的值类别:左值的仍然是左值,右值的仍然是右值。
最后一段代码的输出,欢迎留言的。