c++ - 在 C++11 之前移动语义是如何解决的？

Question

我最近一直在阅读移动语义以及它是如何被引入到 C++11 中的。主要要点是，通过“窃取”指向临时对象的指针来创建对象，程序可以变得更有效率。这比深拷贝临时对象来创建新对象要高效得多。

在 C++11(及更高版本)中，这是通过使用右值引用来实现的。所有临时对象(在程序内存中没有已知位置的对象)都被视为右值。具体来说，现在可以重载类构造函数以接受右值引用。

所以我很好奇，在 C++11 之前，这个“昂贵的临时对象拷贝”问题是如何解决的？

Answer 1

完成此操作的主要方式是通过 std::swap。 std::swap 可以重载/专门用于可以比默认的“通过临时变量交换”更有效地执行的类型，而不是执行浅交换。

通常数据类型会提供一个 swap() 成员函数，此重载可以使用它来访问数据类型的私有(private)内部结构。 (例如；参见 std::vector::swap)

例如；要将元素“移动”到 vector 中，可以使用以下代码:

class MyListOfVectors {
    private:
    //using `std::vector<int>` as an example of a "movable" type.
    std::vector<std::vector<int>> list;
    public:
    void emplace_back(std::vector<int> &n) {
        using std::swap;
        list.push_back(std::vector<int>());
        swap(list.back(), n);
        //(possibly add something to rollback the `push`
        // in case swap fails; to provide the strong
        // exception guarantee)
    }
};

要通过“移动”返回一个元素，可以使用以下代码:

std::vector<int> MyListOfVectors::pop_back() {
    using std::swap;
    std::vector<int> r;
    swap(list.back(), r);
    list.pop_back();
    return r; //Trust in copy elision to avoid any actual copies.
}

我没有这方面的引用资料，但我相信允许/鼓励标准算法为此目的使用 std::swap。

另外，如果你觉得你想用 C++11 的方式做事，你也可以使用 boost::move ，它提供了 C++03 中 C++11 移动语义的仿真(尽管它在技术上违反了严格的别名，因此具有未定义的行为)。