标签：std const invoke 右值 CPP11 引用 &&
右值引用是cpp11引入的很重要的特性，是为了支持一下两个特性而引入的：
- 去除不必要的对象内存拷贝，极大提高了程序运行效率
- 在泛型中支持完美转发（Perfect Forwarding），提升编程效率
说在前面：一下所有代码均在g++编译器上进行编译并验证过的
右值引用
我们先来看看它和左值引用的区别
- 左值：
int a = 1;其中a就是左值，那种非临时的对象即有分配内存且有名字的对象就是左值 - 右值：
A a = A(100);其中A(100)就是右值，那种临时对象且之作用于单条语句的对象就是右值。右值也可以称之为“将亡值”即即将销毁的对象
总的来说，一个是临时对象，一个是非临时对象。cpp11引入了这个特性为了做好左值和右值的区分。那做好区分了之后呢？有什么作用呢？这个就需要讲到移动语义了
移动语义
移动语义也叫转移语义，移动语义可以将对象内的内存资源管理权转移到另外一个对象中。移动语义和拷贝语义是相对应的，这两者的区别跟拷贝和剪切的区别一样。因此，移动语义的效率要高于拷贝语义。
为了方便理解，我们可以将移动拷贝构造对应浅拷贝，拷贝构造对应深拷贝。
#include <iostream>
using namespace std;
class A
{
public:
A() { cout << "A()" << endl; }
A(const A&) { cout << "A(const A&)" << endl; } // 拷贝构造
A(A&&) { cout << "A(A&&)" << endl; } // 移动拷贝构造
A self() { return *this; }
};
int main()
{
A a;
A a1(a);
A a2(a.self());
getchar();
return 0;
}
编译执行，输出如下
A()
A(const A&)
A(const A&)
发现输出不符合预期，没有调用移动拷贝构造函数。是因为编译器进行了返回值优化（RVO），需要加上编译参数-fno-elide-constructors来关闭RVO。注意：visual studio无法关闭返回值优化，测试可使用g++编译器
加上-fno-elide-constructors参数后编译执行，输出如下
A()
A(const A&)
A(const A&)
A(A&&)
看了上面的例子，很容易会发现一个很别扭的写法。为什么要这样A a2(a.self());通过调用A::self获取a对象而不直接使用a进行传参？这不是多此一举了？当然这是为了演示使用临时对象（将亡值）构造A对象而取了巧哈哈哈。那有什么方式可以不需要这么麻烦呢？
其实cpp11提供了std::move函数来解决这个问题！调用这个函数并没有任何移动，内部实现只是做了一个类型转化，使其可以将左值引用转化为右值引用。最终a2对象的构造可以改为A a2(std::move(a));
std::move的实现如下
// FUNCTION TEMPLATE std::move
template<class _Ty> _NODISCARD constexpr remove_reference_t<_Ty>&& move(_Ty&& _Arg) noexcept
{ // forward _Arg as movable
return (static_cast<remove_reference_t<_Ty>&&>(_Arg));
}
但是要注意的是执行A a2(std::move(a));后，对象a的内存就托管给a2，所以对象a成为了无效对象。 在往后的编程中要注意没有必要则不要滥用std::move，例如对于一些临时对象就没有必要使用std::move。
完美转发（Perfect Forwarding）
我们先来看看完美转发的使用场景，在讲具体场景前我们先来看看下面代码：
#include <iostream>
using namespace std;
void sum(int a, int b)
{
cout << a + b << endl;
}
void concat(const string& a, const string& b)
{
cout << (a + b).c_str() << endl;
}
template <typename FUNC, typename A, typename B>
void invoke(FUNC f, const A& a, const B& b)
{
f(a, b);
}
int main()
{
invoke(sum, 10, 10);
invoke(concat, "Hello ", "world");
return 0;
}
执行结果如下：
20
Hello world
一切正常，完美~但是如果这时我们需要增加一个方法，那问题就来了
void increase(int a, int & b)
{
b = ++a;
}
然后用同样的方法进行调用
int b = 0;
invoke(increase, a, b);
cout << b << endl;
会发现g++编译报错error: binding reference of type ‘int&’ to ‘const int’ discards qualifiers。注：vs2017是编译通过并且结果是符合预期，还未深究是否是编译器进行了优化还是cpp17的特性。
如果在没有完美转发（Perfect Forwarding）特性之前我们是如何解决这个问题的呢？很简单，针对这种情况再重载一个方法就可以了
template <typename FUNC, typename A, typename B>
void invoke(FUNC f, const A& a, B& b)
{
f(a, b);
}
但是如果我们还需要支持&, const &, &, &类型的参数呢？我们来看看重载后的效果~
template <typename FUNC, typename A, typename B>
void invoke(FUNC f, const A& a, const B& b)
{
f(a, b);
}
template <typename FUNC, typename A, typename B>
void invoke(FUNC f, A& a, const B& b)
{
f(a, b);
}
template <typename FUNC, typename A, typename B>
void invoke(FUNC f, const A& a, B& b)
{
f(a, b);
}
template <typename FUNC, typename A, typename B>
void invoke(FUNC f, A& a, B& b)
{
f(a, b);
}
相信你已经意识到问题在哪了~如果我们到支持N个参数，就需要重载2^N个方法，这对于开发人员来说就是噩梦！！
这时完美转发（Perfect Forwarding）就应运而生了哈哈，那我们来看看该如何改造
template <typename FUNC, typename A, typename B>
void invoke(FUNC f, A&& a, B&& b)
{
f(a, b);
}
改造之后可以正常运行，且代码明显精简很多了哈哈，但实际上，上面改造还存在问题！！
首先我们来回顾一个知识点，请问：void invoke(FUNC f, A&& a, B&& b)中的a是左值引用还是右值引用？
相信大部分同学会脱口而出右值引用，因为类型是A&&。很好~可惜回答错误，a是一个左值引用!
我在再来看看左值引用的定义：
非临时的对象即有分配内存且有名字的对象就是左值
因此，如果我们需要转发一个右值引用时，上面的改造显然是不够的，这时候我们就需要引入一个转发的重量级方法std::forward
最终改造如下：
template <typename FUNC, typename A, typename B>
void invoke(FUNC f, A&& a, B&& b)
{
f(std::forward<A>(a), std::forward<B>(b));
}
我们来看看std::forwark的定义
template<class _Ty>
_NODISCARD constexpr _Ty&& forward(remove_reference_t<_Ty>&& _Arg) noexcept
{ // forward an rvalue as an rvalue
static_assert(!is_lvalue_reference_v<_Ty>, "bad forward call");
return (static_cast<_Ty&&>(_Arg));
}
std::forward也只是做了类型转换，为什么A&&可以实现完美转发呢？这里面就涉及到两个概念万能引用和引用折叠
万能引用
T&&就是一个万能引用，即可以接受任何类型的参数，T为模板类型T。我们都知道T是一个类型占位符，因此T可以是&&、&、const &等。进而可以知道会推导成T&& &&、T& &&、const T& &&。我们都知道cpp编译器是不允许构建引用的引用这个类型的，那这些T&& &&、T& &&、const T& &&是什么呢？这就是我们下面要介绍的引用折叠的内容
引用折叠
这些“引用的引用”就是cpp11编译器在推导万能引用的具体类型时的中间状态，具体推导规则如下
| 中间状态 | 推导类型 |
|---|---|
| T& && | T& |
| T&& & | T& |
| T& & | T& |
| T&& && | T&& |
有了以上的推导规则构成完美转发的基础
参考文章
标签：std,const,invoke,右值,CPP11,引用,&& 来源： https://www.cnblogs.com/jesonwoo/p/15893353.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。