c++的std::move 原理实现与用法总结

最新推荐文章于 2026-04-30 10:55:24 发布

原创最新推荐文章于 2026-04-30 10:55:24 发布 · 1.2k 阅读

3 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#c++的std::move 原理实现与用法总结

C++ 同时被 2 个专栏收录

37 篇文章

订阅专栏

C/C++编程

28 篇文章

订阅专栏

本文深入探讨C++11中的std::move，它是一个将左值引用转换为右值引用的工具。通过引用折叠规则，std::move在处理左右值时有不同的行为。理解std::move的关键在于了解引用折叠和模板参数推导。std::move并不移动数据，而是为资源重用提供便利。通过static_cast<T&&>(t)将表达式转换为右值引用，进一步利用右值引用特性。此外，std::remove_reference元函数用于去除引用。文章提供了详细的源码分析和相关链接以加深理解。

C++11中，std::move存在于<utility>中，std::move函数可以很方便的将左值引用转换为右值引用(左值、右值、左值引用、右值引用等相关介绍可以参看：https://blog.csdn.net/xiaomucgwlmx/article/details/101346463)。实际上，std::move并不可以移动任何东西，唯一的功能就是上边说的将一个左值强制转化为右值引用，然后通过右值引用使用该值。

std::move函数原型如下：

// TEMPLATE FUNCTION move
template<class _Ty> inline
	constexpr typename remove_reference<_Ty>::type&&
		move(_Ty&& _Arg) _NOEXCEPT
	{	// forward _Arg as movable
	return (static_cast<typename remove_reference<_Ty>::type&&>(_Arg));
	}

这里，函数参数T&&是一个指向模板类型参数的右值引用，通过引用折叠，此参数可以与任何类型的实参匹配（可以传递左值或右值，这是std::move主要使用的两种场景)。

1，引用折叠规则：
X& + & => X&
X&& + & => X&
X& + && => X&
X&& + && => X&&
2，函数模板参数推导规则（右值引用参数部分）：
当函数模板的模板参数为T而函数形参为T&&（右值引用）时适用本规则。
若实参为左值 U& ，则模板参数 T 应推导为引用类型 U& 。
（根据引用折叠规则， U& + && => U&，而T&& ≡ U&，故T ≡ U& ）
若实参为右值 U&& ，则模板参数 T 应推导为非引用类型 U 。
（根据引用折叠规则， U或U&& + && => U&&，而T&& ≡ U&&，故T ≡ U或U&&，这里强制规定T ≡ U ）
3，std::remove_reference为C++0x标准库中的元函数，其功能为去除类型中的引用。
std::remove_reference<U&>::type ≡ U
std::remove_reference<U&&>::type ≡ U
std::remove_reference<U>::type ≡ U
4，以下语法形式将把表达式 t 转换为T类型的右值（准确的说是无名右值引用，是右值的一种）
static_cast<T&&>(t)
5，无名的右值引用是右值
具名的右值引用是左值。

源码详细说明：

1，原型定义中的原理实现:
首先，函数参数T&&是一个指向模板类型参数的右值引用，通过引用折叠，此参数可以与任何类型的实参匹配（可以传递左值或右值，这是std::move主要使用的两种场景)。关于引用折叠如下：

公式一）X& &、X&& &、X& &&都折叠成X&，用于处理左值

string s("hello");
std::move(s) => std::move(string& &&) => 折叠后 std::move(string& )
此时：T的类型为string&
typename remove_reference<T>::type为string 
整个std::move被实例化如下
string&& move(string& t) //t为左值，移动后不能在使用t
{
    //通过static_cast将string&强制转换为string&&
    return static_cast<string&&>(t); 
}

公式二）X&& &&折叠成X&&，用于处理右值

std::move(string("hello")) => std::move(string&&)
//此时：T的类型为string 
//     remove_reference<T>::type为string 
//整个std::move被实例如下
string&& move(string&& t) //t为右值
{
    return static_cast<string&&>(t);  //返回一个右值引用
}

简单来说，右值经过T&&传递类型保持不变还是右值，而左值经过T&&变为普通的左值引用.

②对于static_cast<>的使用注意：任何具有明确定义的类型转换，只要不包含底层const,都可以使用static_cast。

double d = 1;
void* p = &d;
double *dp = static_cast<double*> p; //正确
 
const char *cp = "hello";
char *q = static_cast<char*>(cp); //错误：static不能去掉const性质
static_cast<string>(cp); //正确

③对于remove_reference是通过类模板的部分特例化进行实现的，其实现代码如下

//原始的，最通用的版本
template <typename T> struct remove_reference{
    typedef T type;  //定义T的类型别名为type
};
 
//部分版本特例化，将用于左值引用和右值引用
template <class T> struct remove_reference<T&> //左值引用
{ typedef T type; }
 
template <class T> struct remove_reference<T&&> //右值引用
{ typedef T type; }   
  
//举例如下,下列定义的a、b、c三个变量都是int类型
int i;
remove_refrence<decltype(42)>::type a;             //使用原版本，
remove_refrence<decltype(i)>::type  b;             //左值引用特例版本
remove_refrence<decltype(std::move(i))>::type  b;  //右值引用特例版本

参考链接：
https://blog.csdn.net/p942005405/article/details/84644069
https://blog.csdn.net/zwvista/article/details/6848582