移动语义之我见

关注

原创最新推荐文章于 2025-04-12 16:40:34 发布 1.5k 阅读 AI 写同款· GEO 优化 ›

AI权益加码！Claude Code、Cursor等20+工具免费用！购周边限时加赠Coding Plan Lite，畅享主流AI工具！学习进阶更高效！阅读详情

C++11中最晦涩难懂的特性大约就是移动语义了。我最早看到的移动语义是和右值引用一起说的，更有甚者几乎把两者混为一谈。我并不是一个学院派，不敢在此深究二者定义上的区别，但我以为右值引用只是触发移动语义的必要条件而已。
首先谈一谈为什么引入了移动语义，移动语义较以前的拷贝有什么优点？我想先用两个例子来说明这个问题：

class Echo {
public:
    Echo() { std::cout << "new" << std::endl; }
    Echo(const Echo&) { std::cout << "new" << std::endl; }
};

int main(int argc, char** argv) {
    std::vector<Echo> v1, v2;
    v1.resize(5);
    std::cout << v1.size() << " "
              << v2.size() << std::endl;
    v2 = v1;
    std::cout << v1.size() << " "
              << v2.size() << std::endl;
    return 0;
}

运行结果如下：

new
new
new
new
new
5 0
new
new
new
new
new
5 5

main函数修改为如下之后

int main(int argc, char** argv) {
    std::vector<Echo> v1, v2;
    v1.resize(5);
    std::cout << v1.size() << " "
              << v2.size() << std::endl;
    v2 = std::move(v1);
    std::cout << v1.size() << " "
              << v2.size() << std::endl;
    return 0;
}

输出结果为：

new
new
new
new
new
5 0
0 5

不难看出，一段相同功能的代码，使用移动语义大大减少了vector的拷贝次数，从而提升了代码效率。而第二份代码拷贝次数的减少是建立在v1被清空的基础上。所以移动语义的本质其实就是将动态分配的内存的所有权从一个对象转移到另一个对象身上，原来的对象在失去所有权时往往需要将指针设置为空指针，对应到vector对象就意味着size为0。这个过程和auto_ptr的赋值和拷贝几乎一模一样。
明白这上面这点后就很容易理解该在什么时候使用移动语义了。首先一个对象被移动后会失去对动态内存的所有权，一定程度上意味着这个对象不可再用了，因此匿名变量就满足条件，因为匿名变量就是在C++代码中看不到的变量，无法在以后访问它。常见的匿名变量如函数返回值，表达式的值等。或者程序员确定某个有名对象后面不会被使用或者对象会被重置，则可以使用std::move显式地将其转换为右值引用。
或许说到这里依然有很多人对移动语义的作用持怀疑态度，因为我们最一开始给出的例子或许并不常见，又或者很多人都已经习惯了函数参数传引用、返回引用的设计方法，觉得移动语义带来的改变时微乎其微的。那么，请看下面的例子：

class Echo {
public:
    Echo() { std::cout << "new" << std::endl; }
    Echo(const Echo&) { std::cout << "new" << std::endl; }
    Echo& operator=(const Echo&) { std::cout << "=" << std::endl; }
    Echo(Echo&&) { std::cout << "move" << std::endl; }
    Echo& operator=(Echo&&) { std::cout << "move" << std::endl; }
};

int main(int argc, char** argv) {
    Echo a,b;
    std::swap(a, b);
    return 0;
}