“shared_ptr”是“共享式智能指针”。
即多个“shared_ptr”之间可以管理同一个裸指针。于是
O* o = new O; //一个裸指针
std::shared_ptr <O> p1(o); //交给p1管
std::shared_ptr <O> p2(o); //又交给p2管
出乎意料,以上代码仍然是可以通过编译但运行期将出错。“一女二嫁”永远是错误的,并且永远是编译器所不能检测的。
演示:“一女二嫁”
对比“unique_ptr”和“shared_ptr”,前者(独占式)认为女子可以改嫁,但应保持一夫一妻制;而后者(共享式)比较可怕,看实际代码
O* o = new o;//还是一个裸指针
std::shared_ptr <O> p1(o);//先交给p1
std::shared_ptr <O> p2 = p1;
003行的结果,是让p2和p1同指向。严格来讲是管理同一个裸指针,那么问题来了,p2和p1同时管理同一个裸指针,接着p1结束生命,自动释放该裸指针,再接着p2也结束生命,于是再次释放该裸指针,不就造成一个指针被释放两次的结果吗?不会的。“std::shared_ptr”采用了相当复杂的技术来保证,当存在多个智能指针共同管理某一裸指针,仅当最后一个智能指针结束生命时,才会真正释放所共享的裸指针。
具体方法称为“计数法”。将共享式智能指针A赋值给共享式智能指针B,B将与A管理同一个裸指针,并且在系统某处记录,当前有两个智能指针在管理某一裸指针,简称“计数为二”。而当B或A退出(结束生命周期)时,该记数减为一,直到另一个也退出,计数归零,此时才真正释放裸指针。
演示:多个shared_ptr共同管理一个裸指针
“std::shared_ptr”的使用方法和具体功能:
初始化:
std::shared_ptr <O> p1(new O());
也可以采用“列表式初始化”语法,即花括号:
std::shared_ptr <O> p1{new O()};
但是同样不能使用“=”将一个裸指针“赋值”给另一个智能指针:
std::shared_ptr <O> p1 = new O(); //ERROR
构造时没有提供裸指针,得到空指向的智能指针:
std::shared_ptr <O> p1; //p1是空指向
同样对nullptr做了特殊处理,允许直接赋值为nullptr;
p1 = nullptr; //p1变成空指向,原管理的裸指针被释放
或者调用无参版的“reset()”:
p1.reset(); //p1变成空指向,原管理的裸指针被释放
和“unique_ptr”一样,同样可以通过带参版“reset(...)”改变指向,代码略。
标准库还提供了“make_shared()”模板函数,用于更加高效地创建“shared_ptr”:
std::shard_ptr <O> p1 = std::make_shared <O> ();
如果所要构建的对象需要入参,则通过“make_shared()”函数传递:
std::shared_ptr <std::string> ps
= std::make_shared <std::string> ("Hello!");
cout << *ps << endl;
演示:make_shared()
课堂作业:正确令多个“shared_ptr”共享管理同一裸指针
多个裸指针可以指向同一份数据,因此可以将裸指针划分成“共享式”,只是裸指针无法自动释放。因为同属“共享式”,所以“std::share_ptr”使用起来更接近裸指针。比如裸指针和“shared_ptr”都支持加入到容器中管理,“unique_ptr”却“做不到”:
unique_ptr <int> p(new int);
list <unique_ptr<int>> l;
l.push_back(p);
编译至002行仍未出错,但一旦真要将某个独占式智能指针,加入到容器中,就会报错。
因为独占式指针对象不允许复制(只允许转移),而容器要存储、管理元素,躲不过复制操作。
【重要】杀鸡用什么刀
为什么有功能丰富的“shared_ptr”,还要有“unique_ptr”呢?原因在于存在大量无需“共享指向”的指针应用场景。
很多时候功能越丰富,越容易在使用上出错。裸指针本身就是个案例。相比裸指针,“unique_ptr”往“简化、易用”的方向设计。另一方面,为了可以共享指向,“shared_ptr”需要付出性能代价。
程序员必须习惯于做预分析,能使用“unique_ptr”解决问题就使用“unique_ptr”,莫因图强大和适用面广而上来就用“shared_ptr”。