C++中的左值，右值和移动语义详解

左值，右值与移动语义

左值表示了一个占据内存中某个可识别位置的对象。右值是无法寻址的临时对象或表达式的值。左值可以隐式地转换为右值，而右值不可。右值可以显式地赋值给左值。
赋值运算符、取地址符、内置解引用运算符、下标运算符、内置类型和迭代器的递增递减运算符，都需要左值。
右值引用与移动语义是C++11中引入的两个重要概念，它们旨在提高代码的性能，尤其是在涉及到资源管理和对象转移的场景中。

右值引用：

右值引用是对临时对象（即右值）的引用，它允许开发者安全地获取临时对象的资源。右值引用使用两个&&符号表示，例如int&&。它与左值引用（使用单个&符号，例如int&）不同，左值引用只能绑定到持久性对象上。右值引用使得编译器能够区分哪些对象是临时的，从而可以安全地转移其资源。

移动语义：

移动语义允许对象的资源（如动态分配的内存）被转移而非复制。这通常通过实现移动构造函数和移动赋值运算符来实现。当一个对象被移动时，它的资源被转移到新对象中，原对象则处于一个有效但不确定的状态，通常被设置为一个不再持有资源的状态。这意味着移动操作通常比复制操作更快，因为它避免了不必要的资源复制。以下例子来自于：

#include <iostream>
#include <utility>  // for std::swapusing std::cout;class Intvec
{
public:explicit Intvec(size_t num = 0): m_size(num), m_data(new int[m_size]){log("constructor");}~Intvec(){log("destructor");delete[] m_data;}Intvec(const Intvec& other): m_size(other.m_size), m_data(new int[m_size]){log("copy constructor");for (size_t i = 0; i < m_size; ++i)m_data[i] = other.m_data[i];}Intvec(Intvec&& other): m_size(0), m_data(nullptr){log("move constructor");// swap the members of this class with the members of otherstd::swap(m_size, other.m_size);std::swap(m_data, other.m_data);}Intvec& operator=(const Intvec& other){log("copy assignment operator");Intvec tmp(other);std::swap(m_size, tmp.m_size);std::swap(m_data, tmp.m_data);return *this;}Intvec& operator=(Intvec&& other){log("move assignment operator");std::swap(m_size, other.m_size);std::swap(m_data, other.m_data);return *this;}private:void log(const char* msg){cout << "[" << this << "] " << msg << "\n";}size_t m_size;int* m_data;
};int main(){Intvec v1(20);Intvec v2;cout << "assigning lvalue...\n";v2 = v1;cout << "ended assigning lvalue...\n";cout << "assigning rvalue...\n";v2 = Intvec(33);cout << "ended assigning rvalue...\n";return 0;
}

运行结果：

[0x61ff00] constructor
[0x61fef8] constructor
assigning lvalue...
[0x61fef8] copy assignment operator
[0x61fec8] copy constructor
[0x61fec8] destructor
ended assigning lvalue...
assigning rvalue...
[0x61ff08] constructor
[0x61fef8] move assignment operator
[0x61ff08] destructor
ended assigning rvalue...
[0x61fef8] destructor
[0x61ff00] destructor

在main函数中，首先创建了一个Intvec对象v1，然后创建了另一个空的Intvec对象v2。接下来，执行了两次赋值操作：

v2 = v1;：这是一个左值赋值，因为v1是一个左值。因此，调用了拷贝赋值运算符，创建了v1的一个副本给v2。
v2 = Intvec(33);是一个右值赋值，因为Intvec(33)是一个临时对象，即一个右值。如果实现了移动赋值运算符，编译器会选择这个运算符来进行赋值，从而转移临时对象的资源给v2。如果没有实现移动赋值运算符，编译器会回退到使用拷贝赋值运算符，且v2
=Intvec(33);的运行结果如下：

assigning rvalue...
[0x61ff08] constructor
[0x61fef8] copy assignment operator
[0x61fec8] copy constructor
[0x61fec8] destructor
[0x61ff08] destructor
ended assigning rvalue...