C++11中的完美转发

在讨论引用折叠这个话题之前，先回顾一下C++11中的引用，

在C++11中引用有4种：非常量左值引用、非常量右值引用、常量左值引用、常量右值引用。其中常量右值引用没有应用价值,所以我们不考虑。

非常量左值引用只能绑定非常量左值
非常量右值引用只能绑定非常量右值
常量左值引用又称万能引用,他能绑定所有值,但是不能修改被绑定的值
常量右值引用能绑定右值,但是不能修改被绑定的值(没有实用价值)

我们在模板中经常会调用另一个模板函数或者函数,我们希望我们能够在传参时,减少临时对象的产生,即我们总是希望按照引用传参,这时我们就提出了完美转发的概念。

template <class T>
void foo(T t)
{run(t);
}

1.引用折叠

typedef const int T;
typedef T& TR;
typedef TR&& TRRR;
TRRR&& a=1;

上面这段代码在C++98中是无法编译的, 而在C++11中却是可以通过的,TRRR &&的类型会被推导为const int &。

下面给出具体的折叠规则:

typedef T& TR;
TR v;//T&
TR &v;//T&
TR && v;//T&typedef T&& TR;
TR v;//T&&
TR & v;//T&
TR && v;//T&&

即左值引用和右值引用在折叠的时候,优先折叠为左值引用

2.完美转发

#include<iostream>
using namespace std;
void run(int &&m)
{cout<<"rvalue reference\n";
}
void run(int &m)
{cout<<"lvalue reference\n";
}void run(const int &m)
{cout<<"const lvalue reference\n";
}
void run(const int &&m)
{cout<<"const rvalue reference\n";
}template <class T>
void foo( T &&t)
{run(static_cast<T&&>(t));
}
int main()
{int a;foo(a);foo(move(a));const int b=1;foo(b);foo(move(b));}

lvalue reference
rvalue reference
const lvalue reference
const rvalue reference

我们看一下,这个模板函数foo中实现的就是完美转发

template <class T>
void foo( T &&t)
{run(static_cast<T&&>(t));
}

如果a是个X类型的左值,那么T会被推导为X&,则模板实例化为

void foo( X& && t)
{run(static_cast<X& &&>(t));
}

根据引用折叠理论,上面就会变成左值引用

而如果a是个右值,那么T就会被推导为X,则模板实例化为

void foo( X&& t)
{run(static_cast<X&&>(t));
}

所以不管我们传递的是左值还是右值,run中都是按照引用传递的,这就是完美转发。实际上,真正奏效的是static_cast<T &&>()函数,它根本解决的是右值引用本身是个左值,所以得把他转化成右值这件事,
我们会发现,它做的事情和std::move()是一样的事情,但是为了后续区分,我们一般实用forward<T>()函数来代替static_cast<T&&>。
注意,move()和forward<T>()的区别在于,move是无条件转化为右值,而forward是当且仅当它是右值引用变成的,而且我们要提供模板参数T,用以告知参数的原来类型。

完美转发的应用在于包装函数

#include<iostream>
using namespace std;void func1(int &&)
{cout<<"func1"<<endl;
}
void func2(int &&)
{cout<<"func2"<<endl;
}template <class T,class U>
void foo( T &&t, U& func)
{func(forward<T>(t));
}
int main()
{foo(1,func1);foo(2,func2);
}