c++的std::move 和std::forward

标签：ios   实现   stl   template   back   static   mic   class   根据   

其实对于 std::move来说，只做了一件事。可以初步的理解为 (不过当然是错误的)

template<typename T>
T&& move(T& val)
{
return static_cast<T&&>(val);
}
1
2
3
4
5
move 只是纯粹的将一个左值转化为了一个右值，STL实现基本都已经实现了移动语义，相当于对于 vector<T>::push_back()有两个版本的实现，简单写如下：

template<typename T>
class Vector
{
void push_back(T& lval);
void push_back(T&& rval);
};
1
2
3
4
5
6
而对应的类型 T 也实现了移动拷贝，如下：

class T
{
T(T& other)
{
// copy constructor
}

T(T&& other)
{
// move constructor
}
};
1
2
3
4
5
6
7
8
9
10
11
12
代码有性能提升

完美转发 std::forward()
当我们将一个右值引用传入函数时，他在实参中有了命名，所以继续往下传或者调用其他函数时，根据C++ 标准的定义，这个参数变成了一个左值。那么他永远不会调用接下来函数的右值版本，这可能在一些情况下造成拷贝。为了解决这个问题 C++ 11引入了完美转发，根据右值判断的推倒，调用forward 传出的值，若原来是一个右值，那么他转出来就是一个右值，否则为一个左值。
这样的处理就完美的转发了原有参数的左右值属性，不会造成一些不必要的拷贝。代码如下：

#include <iostream>
#include <vector>
#include <string>

using namespace std;

int main()
{
string A("abc");
string&& Rval = std::move(A);
string B(Rval); // this is a copy , not move.
cout << A << endl; // output "abc"
string C(std::forward<string>(Rval)); // move.
cout << A << endl; /* output "" */
return 0;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
std::forward
右值引用类型是独立于值的，一个右值引用参数作为函数的形参，在函数内部再转发该参数的时候它已经变成一个左值，并不是他原来的类型。

如果我们需要一种方法能够按照参数原来的类型转发到另一个函数，这种转发类型称为完美转发。

template<typename T>
void print(T& t){
cout << "lvalue" << endl;
}
template<typename T>
void print(T&& t){
cout << "rvalue" << endl;
}

template<typename T>
void TestForward(T && v){
print(v);
print(std::forward<T>(v));
print(std::move(v));
}

int main(){
TestForward(1);
int x = 1;
TestForward(x);
TestForward(std::forward<int>(x));
return 0;
}

c++的std::move 和std::forward

标签：ios   实现   stl   template   back   static   mic   class   根据   

原文地址：https://www.cnblogs.com/xietianjiao/p/12870725.html