1、源代码
std::move代码
std::forward代码
中间使用模板的源代码
由此可见,二者极其相似,稍有不同!原理都是通过static_cast<>静态转换为不同的引用类型,这里需要注意的是C++的左引用和右引用,左引用是可通过变量进行寻址的方式,右引用只能做常量使用无法寻址。
以上二者的不同在于返回值和参数的不同,正好相反,std::move的返回值类型是std::forward的参数类型,这里的主要区别就有了,可以看到remove_reference模板类的type不管任何时候,只返回原始类型,比如是int&&,返回的type仍然是int,所以std::move不管传入参数的变化,返回的永远是单纯的右值引用即type&&这样。
而std::forward则需要指定模板类型,不像std::move可以交给编译器推导类型,因为参数需要,而如果参数是左值引用,如std::forward<int>(a),这样会输出int&&也就是右值引用,如果是std::forward<int&>(a),则输出的是int&& &这样的,根据引用叠加的效果,此时输出的就只有int&,也就是右值引用再左值引用还是左值,需要注意叠加作用,左引用叠加左引用还是左引用,所以如果模板T被指定为int&,此时显示std::forward<T&>或者是std::forward<T&&>如果参数(x)是左引用,都会进左引用函数,而且输出的也都是左引用。所以上图原代码会注释可能会输出左值或者右值,std::forward会根据参数(不是参数模板)进行选择进哪个函数,而对于std::forward的右值引用方式,输出的就只有右值了,要么输入的是右值,要么是int&&这样,引用叠加后还是不变的。以上就是二者的区别之处,望指正!
总结如下:
std::move :输入左右引用,都会返回右值引用
std::forward:重载函数,普通左值输出右值引用,指定int&左值模板后输出左值,对于右值输出右值引用
建议:不懂的问题多看源代码,看不懂慢慢看,源代码会给你解释最准确的答案
附验证程序:
#include "stdafx.h"
#include <iostream>
#include <type_traits>
using namespace std;
void funcLR(const int& x) //左值
{
std::cout << "lvalue" << std::endl;
}
void funcLR(int&& x) //右值
{
std::cout << "rvalue" << std::endl;
}
template <class T> void func(T&& x)
{
funcLR(x);
funcLR(std::forward<T>(x)); //std::forward<int>(x) 会进左值引用
funcLR(std::forward<T&>(x));
//forward函数会根据参数进行选择对应的forward模板函数,左引用叠加左引用还是左引用
}
int main()
{
int i = 1;
int str = std::forward<int>(55);
funcLR(std::forward<int>(i)); //进右值引用函数 普通左值引用输出右值
funcLR(std::forward<int&>(i)); //进左值引用函数 指定int&输出左值引用
funcLR(std::forward<int&&>(i)); //进右值引用函数 右值引用输出右值引用
func(i); //编译器会将模板T指定为int& 左值引用
func(std::move(i)); //右值输出,x为普通变量
return 0;
}