很基础的内容,主要用于记录、记忆、回顾。
C++ 中智能指针的存在主要是为了解决内存管理的问题,老生常谈的 new 了一个对象后来忘记 delete 的问题。Rust 智能指针却是不同的设计需求,主要是为了实现堆上内存分配、多所有权等。因为 Rust 一般变量的所有权和引用借用机制就保证了内存管理的问题,但却牺牲了随意的在堆上分配内存、对同一个变量拥有多个所有权的能力。说回来,C++ 中智能指针实现的倒是 Rust 中基础的所有权那一套。
C++ 中智能指针主要有四种,都是类模板:
- auto_ptr:已被遗弃,不再推荐使用,被更好的 unique_ptr 代替
- shared_ptr:超级常用,实现的是引用技术的能力
- unique_ptr:实现的是所有权机制,即对一个变量的 unique_ptr 只能有一个
- weak_ptr:与 Rust 中的 Weak 类似,配合 shared_ptr 实现不导致内存泄漏的循环引用
C++ 智能指针用于管理 new 出来的堆内存,而且必须指向 new 出来的变量地址。因为智能指针最基本的能力就是在离开作用域时自主 delete 内存,如果这个内存是由栈或者其他机制管理的,到底由谁管理就冲突了。
右值 unique_ptr 可以赋值给另一个 unique_ptr。左值 unique_ptr 不可以,这样就违背了 unique_ptr 维护的单所有权模式,编译器不允许。右值 unique_ptr 在赋值后就消亡了,所以无所谓。对于 move(左值 unique_ptr)这种,编译器是允许的,原来的左值 unique_ptr 在赋与新值后还可以使用,责任由程序员承担,类似于 rust unsafe。