【C++11】新特性 - 右值引用详解

STD容器使用右值引用场景

移动语义在容器中的使用主要体现在两个方面：移动构造函数和移动赋值运算符。

1. 移动构造函数：容器在插入元素时，通常需要进行内存分配和对象构造操作。如果元素类型具有移动构造函数，容器就可以使用移动构造函数来构造元素，避免不必要的拷贝和销毁操作，提高程序的性能和效率。

例如，下面的代码中，使用了移动构造函数来构造 std::vector 容器中的元素：

#include 
#include 
#include 

int main() {
    std::vector v;
    std::string s = "hello";
    v.push_back(std::move(s)); // 使用移动构造函数构造元素
    std::cout << s << std::endl; // 输出空字符串
    return 0;
}

在这个示例中，我们定义了一个 std::vector 容器和一个字符串对象 s，并使用 push_back 函数将 s 移动到容器中。由于使用了移动构造函数，s 的资源所有权被转移到容器中，s 变成了一个空字符串。

2. 移动赋值运算符：容器在进行元素赋值时，通常需要进行对象销毁和对象构造操作。如果元素类型具有移动赋值运算符，容器就可以使用移动赋值运算符来赋值元素，避免不必要的拷贝和销毁操作，提高程序的性能和效率。

例如，下面的代码中，使用了移动赋值运算符来赋值 std::vector 容器中的元素：

#include 
#include 
#include 

int main() {
    std::vector v;
    std::string s1 = "hello";
    std::string s2 = "world";
    v.push_back(s1);
    v[0] = std::move(s2); // 使用移动赋值运算符赋值元素
    std::cout << s2 << std::endl; // 输出空字符串
    return 0;
}

在这个示例中，我们定义了一个 std::vector 容器和两个字符串对象 s1 和 s2，并使用 push_back 函数将 s1 插入到容器中。然后，我们使用移动赋值运算符将 s2 赋值给容器中的元素。由于使用了移动赋值运算符，s2 的资源所有权被转移到容器中，s2 变成了一个空字符串。

需要注意的是，移动语义只对右值有效，对左值无效。因此，在使用移动语义时，需要注意对象的值类别。

移动语义只对右值有效，对左值无效原因

移动语义的本质是将一个对象的资源所有权从一个对象转移到另一个对象，避免不必要的复制和销毁操作，提高程序的性能和效率。对于右值对象，由于其不再被使用，因此可以将其资源所有权转移到另一个对象，避免了不必要的拷贝和销毁操作。

而对于左值对象，由于其可能还会被使用，因此不能将其资源所有权转移到另一个对象，否则会导致程序出错。例如，如果将一个左值对象的资源所有权转移到另一个对象，那么原对象就不能再被使用，这可能会导致程序出现未定义行为。

实例：
当一个对象是左值时，它通常是一个具有名称的变量或对象，它在程序中可能还会被使用。例如：

std::string s1 = "hello";
std::string s2 = s1; // 拷贝构造函数，将 s1 的值拷贝给 s2

在这个示例中，s1 是一个左值对象，它是一个具有名称的字符串变量。当我们将 s1 的值赋给 s2 时，会调用拷贝构造函数，将 s1 的值拷贝给 s2，这是因为 s1 是一个左值对象，不能将其资源所有权转移到另一个对象。 若转移了所有权，

而当一个对象是右值时，它通常是一个临时对象或表达式的结果，它在程序中不再被使用。例如：

std::string s1 = "hello";
std::string s2 = std::move(s1);  // 移动构造函数，将 s1 的值转移到 s2

在这个示例中，s1 是一个右值对象，它是一个临时对象或表达式的结果。当我们将 s1 的值转移到 s2 时，会调用移动构造函数，将 s1 的值转移到 s2，这是因为 s1 是一个右值对象，可以将其资源所有权转移到另一个对象。由于 s1 不再被使用，因此可以将其资源所有权转移到 s2，避免了不必要的拷贝和销毁操作。

因此，移动语义只对右值对象有效，对左值对象无效。在使用移动语义时，需要注意对象的值类别，避免出现不必要的错误和问题。