某日二师兄参加XXX科技公司的C++工程师开发岗位第19面:
面试官:什么是智能指针?
二师兄:智能指针是C++11引入的类模板,用于管理资源,行为类似于指针,但不需要手动申请、释放资源,所以称为智能指针。
面试官:C++11引入了哪些智能指针?
二师兄:三种,分别是shared_ptr
、unique_ptr
、和weak_ptr
。
面试官:说一说三种指针的特征及用途。
二师兄:好的。shared_ptr
使用了引用计数(use count
)技术,当复制个shared_ptr
对象时,被管理的资源并没有被复制,而是增加了引用计数。当析构一个shared_ptr
对象时,也不会直接释放被管理的的资源,而是将引用计数减一。当引用计数为0时,才会真正的释放资源。shared_ptr
可以方便的共享资源而不必创建多个资源。
二师兄:unique_ptr
则不同。unique_ptr
独占资源,不能拷贝,只能移动。移动过后的unique_ptr
实例不再占有资源。当unique_ptr
被析构时,会释放所持有的资源。
二师兄:weak_ptr
可以解决shared_ptr
所持有的资源循环引用问题。weak_ptr
在指向shared_ptr
时,并不会增加shared_ptr
的引用计数。所以weak_ptr
并不知道shared_ptr
所持有的资源是否已经被释放。这就要求在使用weak_ptr
获取shared_ptr
时需要判断shared_ptr
是否有效。
struct Boo; struct Foo{ std::shared_ptr<Boo> boo; }; struct Boo{ std::shared_ptr<Foo> foo; };
二师兄:Foo中有一个智能指针指向Goo,而Goo中也有一根智能指针指向Foo,这就是循环引用,我们可以使用weak_ptr来解决这个文通。
Boo boo; auto foo = boo.foo.lock(); if(foo) { //这里通过获取到了foo,可以使用 }else { //这里没有获取到,不能使用 }
面试官:好的。智能指针是线程安全的吗?
二师兄:是的。抛开类型T,智能指针是类型安全的。
面试官:为什么?
二师兄:因为智能指针底层使用的引用计数是atomic
的原子变量,原子变量在自增自减时是线程安全的,这保证了多线程读写智能指针时是安全的。
面试官:好的。为什么尽量不要使用裸指针初始化智能指针?
二师兄:因为可能存在同一个裸指针初始了多个智能指针,在智能指针析构时会造成资源的多次释放。
面试官:为什么不要从智能指针中返回裸指针呢?
二师兄:是因为如果返回的裸指针被释放了,智能指针持有的资源也失效了,对智能指针的操作是未定义的行为。
面试官:智能指针能够持有数组吗?
二师兄:shread_ptr
和unique_ptr
都可以持有数组。
面试官:那你知道在释放资源的时候两者有什么不同吗?
二师兄:这个暂时还不清楚。。
面试官:可以使用静态对象初始化智能指针吗?
二师兄:让我想想。。不可以,因为静态对象的生命周期和进程一样长,而智能指针的析构的时候会导致静态资源被释放。这会导致未定义的行为。
面试官:如果需要在一个类中实现一个方法,这个方法返回这个类的shread_ptr
实例,需要注意哪些东西?
二师兄:需要继承std::enable_shared_from_this
类,方法返回shared_from_this()
。
struct Foo : public std::enable_shared_from_this<Foo> { std::shared_ptr<Foo> get_foo() { return shared_from_this(); } };
面试官:为什么不直接返回this指针?
二师兄:额。。。不太清楚,但是这应该是个范式。
面试官:好的,今天的面试结束了,请回去等通知吧。
今天二师兄的表现不错,让我们看看一些回答的不太理想的地方吧。
智能指针是线程安全的吗?
很遗憾,使用不当的时候并不是。
#include <iostream> #include <memory> #include <thread> #include <chrono> struct Foo { Foo(int i):i_(i){} void print() {std::cout << i_ << std::endl;} int i_; }; int main(int argc, char const *argv[]) { { auto shptr = std::make_shared<Foo>(42); std::thread([&shptr](){ std::this_thread::sleep_for(std::chrono::seconds(1)); shptr->print(); }).detach(); } std::this_thread::sleep_for(std::chrono::seconds(2)); return 0; } // g++ test.cpp -o test -lpthread // ./test // Segmentation fault
当我们向另一个线程传递智能指针的引用时,由于use count
并没有加1
,在shptr
析构时直接销毁了管理的Foo
实例,所以在线程中执行shptr->print()
会引发coredump
。
修改起来也很简单,把std::thread([&shptr]()
改成std::thread([shptr]()
即可。记住,智能指针尽量不要传引用。
知道在释放资源的时候shread_ptr
和unique_ptr
有什么不同吗?
这里需要在shared_ptr
构造时传入deleter
,用来销毁持有的数组,而unique_ptr
无需此操作,因为unique_ptr
重载了unique_ptr(T[])
。
get_foo()
方法为什么不直接返回this
指针?
参考 ”为什么尽量不要使用裸指针初始化智能指针“。聪明的小伙伴,想想如果多次调用get_foo()
会发生什么?