std::move理解

本章所有内容均从C++ Primer摘录总结
1.为什么要使用std::move?
  常规情况下,我们不能将一个右值引用绑定到一个左值上。如下图所示:
int &&rr1 = 42;			//正确:字面常量的右值
int &&rr2 = rr1;		//错误:表达式rr1是左值
为了能避免这个错误,我们标准库引入了std::move,如下所示,使用了std::move后便可以进行,当然对于移动后的rr1我们可以销毁或赋予新值,但却不能够使用它
int &&rr2 = std::move(rr1);  //正确
2.std::move是如何实现的
  标准库对std::move是这样定义的
template <typename T>
typename remove_reference<T>::type&& move(T&& t)
{
	return static_case<typename remove_reference<T>::type&&>(t);
}   

      首先,函数参数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_case<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_case<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;  //右值引用特例版本 

总结:

std::move实现,首先,通过右值引用传递模板实现,利用引用折叠原理将右值经过T&&传递类型保持不变还是右值,而左值经过T&&变为普通的左值引用,以保证模板可以传递任意实参,且保持类型不变。然后我们通过static_cast<>进行强制类型转换返回T&&右值引用,而static_cast<T>之所以能使用类型转换,是通过remove_refrence<T>::type模板移除T&&,T&的引用,获取具体类型T









在C++中,`std::move` 和 `std::forward` 是两个与模板类型推导和引用折叠规则密切相关的工具,它们主要用于优化资源管理和泛型编程。 ### `std::move` 的用途 `std::move` 主要用于将一个对象转换为右引用,从而允许资源的移动而非复制。这在处理大型对象时尤其有用,因为它可以避免不必要的深拷贝操作,提高性能。例如,在使用 `std::shared_ptr` 时,可以通过 `std::make_shared` 来创建一个智能指针,这样可以减少内存分配次数并提高效率[^1]。 ```cpp std::shared_ptr<int> p3 = std::make_shared<int>(10); ``` ### `std::forward` 的用途 `std::forward` 用于完美转发,即在模板函数中将参数以原始类型的方式传递给另一个函数。这对于保持参数的或右特性非常重要,特别是在实现通用库函数时。完美转发通常与万能引用(universal references)一起使用,通过模板类型推导来保持参数的原始特性。 ```cpp template<typename T> void forward_example(T&& arg) { some_function(std::forward<T>(arg)); } ``` ### `std::move` 与 `std::forward` 的区别 - **用途不同**:`std::move` 主要用于移动语义,而 `std::forward` 用于完美转发。 - **作用对象不同**:`std::move` 通常作用于具名变量,将其转换为右引用;而 `std::forward` 通常用于模板参数,保持其或右特性。 - **实现机制不同**:`std::move` 实际上是静态_cast到T&&的简写,而 `std::forward` 则根据模板参数的类型来决定是进行引用还是右引用。 ### 示例代码 以下是一个简单的例子,展示了 `std::move` 和 `std::forward` 的使用: ```cpp #include <iostream> #include <utility> #include <vector> class MyClass { public: MyClass() { std::cout << "Constructor\n"; } MyClass(const MyClass&) { std::cout << "Copy Constructor\n"; } MyClass(MyClass&&) noexcept { std::cout << "Move Constructor\n"; } }; void useMyClass(MyClass mc) { // Do something with mc } int main() { MyClass mc; // Using std::move to invoke move constructor MyClass mc2 = std::move(mc); // Should print "Move Constructor" // Using std::forward in a generic context std::vector<MyClass> vec; MyClass mc3; vec.push_back(std::forward<MyClass>(mc3)); // Should print "Copy Constructor" return 0; } ``` 在这个例子中,`std::move` 被用来显式调用移动构造函数,而 `std::forward` 在 `push_back` 操作中被用来保持 `mc3` 的特性。 ### 总结 `std::move` 和 `std::forward` 都是C++11引入的重要特性,它们分别解决了资源移动和完美转发的问题。理解它们的区别和应用场景对于编写高效、现代的C++代码至关重要。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值