一篇文章帶你了解C++智能指針詳解
為什么要有智能指針？
因為普通的指針存在以下幾個問題：
- 資源泄露
- 野指針
- 未初始化
- 多個指針指向同一塊內(nèi)存，某個指針將內(nèi)存釋放，別的指針不知道
- 異常安全問題
- 如果在 malloc和free 或者 new和delete 之間如果存在拋異常，那么也會導(dǎo)致內(nèi)存泄漏。
資源泄漏示例代碼：
int main(){
int *p = new int;
*p = 1;
p = new int; // 未釋放之前申請的資源，導(dǎo)致內(nèi)存泄漏
delete p;
return 0;
}
野指針示例代碼：
int main(){
int *p1 = new int;
int *p2 = p1;
delete p1;
*p2 = 1; // 申請的內(nèi)存已經(jīng)被釋放掉了，
return 0;
}
int main(){
int *p;
*p = 1; // 程序直接報錯， 使用了未初始化的變量
return 0;
}
解決方法：智能指針
智能指針的使用及原理
- 具有RALL 特性
- 重載了 operator* 和 operator ->,使其具有了指針一樣的行為
RALL
RALL（Resource Acquistion Is Initialization）是一種利用對象生命周期來控制程序資源（如內(nèi)存，文件句柄，網(wǎng)絡(luò)連接，互斥量等）的簡單技術(shù)。
在對象構(gòu)造時獲取資源，接著控制對資源的訪問使之在對象的生命周期內(nèi)始終保持有效，最后在對象析構(gòu)的時候釋放資源。相當(dāng)于利用 對象 管理了一份資源。這樣的優(yōu)勢在于
1.不需要顯式的釋放資源（對象析構(gòu)時，自動釋放資源）
2.采用這種方式，對象所需的資源在其生命周期內(nèi)始終保持有效。
智能指針就是一個實例出來的對象
C++98版本的庫中就提供了auto_ptr的智能指針。但是 auto_ptr存在當(dāng)對象拷貝或者賦值之后，前面的對象就懸空了。
C++11 提供更靠譜的并且支持拷貝的 shared_ptr
shared_ptr :
通過引用計數(shù)的方式實現(xiàn)多個shared_ptr 對象之間共享資源。
shared_ptr在其內(nèi)部，給每個資源都維護(hù)了著一份計數(shù)，用來記錄該份資源被幾個對象共享。在對象被銷毀時(也就是析構(gòu)函數(shù)調(diào)用)，就說明自己不使用該資源了，對象的引用計數(shù)減一。如果引用計數(shù)是0，就說明自己是最后一個使用該資源的對象，必須釋放該資源；如果不是0，就說明除了自己還有其他對象在使用該份資源，不能釋放該資源，否則其他對象就成野指針了
unique_ptr ：
確保一個對象同一時刻只能被一個智能指針引用，可以轉(zhuǎn)移所有權(quán)（可以從一個智能指針轉(zhuǎn)移到另一個智能指針）
auto_ptr ：
C++11 已棄用， 與unique_ptr 類似
使用時，需包含頭文件
#include <memory>
shared_ptr的使用注意事項
創(chuàng)建
1.
shared_ptr<int> ptr{new int(3)};
2.
shared_ptr<int> ptr;
ptr.reset(new int(3));
3.
shared_ptr<int> ptr = make_shared<int>(3);
shared_ptr 支持使用比較運算符，使用時，會調(diào)用共享指針內(nèi)部封裝的原始指針的比較運算符。
支持
==、!=、<、<=、>、>=
使用 比較運算符 的前提 必須是 同類型
示例：
shared_ptr<int> p1 = make_shared<int>(1); shared_ptr<int> p2 = make_shared<int>(2); shared_ptr<int> p3; shared_ptr<double> p4 = make_shared<double>(1); bool b1 = p1 < p2; // true bool b2 = p1 > p3; // true， 非NULL 指針與 NULL 指針相比 ，都是大于 bool b3 = p3 == p3; // true bool b4 = p4 < p2 // 編譯失敗，類型不一致
shared_ptr 可以使用強制類型轉(zhuǎn)換，但是不能使用普通的強制類型轉(zhuǎn)換符
1.shared_ptr 強制類型轉(zhuǎn)換符 允許將其中包含的指針強制轉(zhuǎn)換為其它類型
2.不能使用普通的強制類型轉(zhuǎn)換運算符，否則會導(dǎo)致未定義行為
3.shared_ptr 的強制類型轉(zhuǎn)換運算符包括
static_pointer_cast
dynamic_pointer_cast
const_pointer_cast
示例：
shared_ptr<void> p(new int); // 內(nèi)部保留 void* 指針 static_pointer_cast<int*>(p); // 正確的 強制類型轉(zhuǎn)換方式 shared_ptr<int> p1(static_cast<int*>(p.get())); // 錯誤的強制類型轉(zhuǎn)換方式，未定義錯誤
多個 shared_ptr 不能擁有同一個對象
利用代碼理解
示例：
class Mytest{
public:
Mytest(const string& str)
:_str(str){}
~Mytest(){
std::cout << _str << "destory" << std::endl;
}
private:
string _str;
};
int main(){
Mytest* p = new Mytest("shared_test");
shared_ptr<Mytest> p1(p); // 該對象可以正常析構(gòu)
shared_ptr<Mytest> p2(p); // 對象銷毀時，錯誤，讀取位置 0xDDDDDDDD 時發(fā)生訪問沖突。
return 0;
}
上述代碼， 共享指針 p1 對象在程序 結(jié)束時，調(diào)用析構(gòu)，釋放了p 所指向的空間， 當(dāng) p2 進(jìn)行析構(gòu)的時候，又釋放p所指向的空間， 但是由于已經(jīng)釋放過了， 重復(fù)釋放已經(jīng)釋放過的內(nèi)存，導(dǎo)致段錯誤。
可以使用 shared_from_this 避免這種問題
改進(jìn)代碼：
class Mytest:public enable_shared_from_this<Mytest> {
public:
Mytest(const string& str)
:_str(str) {}
~Mytest() {
std::cout << _str << "destory" << std::endl;
}
shared_ptr<Mytest> GetSharedptr() {
return shared_from_this();
}
private:
string _str;
};
int main() {
Mytest* p = new Mytest("shared_test");
shared_ptr<Mytest> p1(p);
shared_ptr<Mytest> p2 = p->GetSharedptr(); // 正確做法
return 0;
}
shared_ptr 的銷毀
shared_ptr 在初始化的時候，可以定義刪除器，刪除器可以定義為 普通函數(shù)、匿名函數(shù)、函數(shù)指針等符合要求的可調(diào)用對象
示例代碼：
void delFun(string* p) {
std::cout << "Fun delete " << *p << endl;
delete p;
}
int main() {
std::cout << "begin" << std::endl;
shared_ptr<string> p1;
{
shared_ptr<string> p2(new string("p1"), [](string* p) {
std::cout << "Lamda delete " << *p << std::endl;
delete p;
});
p1 = p2;
shared_ptr<string> p3(new string("p3"), delFun);
}
std::cout << "end" << std::endl;
return 0;
}
執(zhí)行結(jié)果：
begin
Fun delete p3
end
Lamda deletep1
分析結(jié)果：
首先 ，p3在{ }作用域內(nèi) ，生命周期最先結(jié)束，調(diào)用delFun作為刪除器
其次，p2 也在{ } 作用域內(nèi)，生命周期也結(jié)束了，但是因為 p1 和 p2 指向了同一個對象，所以p2 銷毀只是將其 對象 引用計數(shù) -1。
最后，程序運行結(jié)束，p1銷毀，其對象引用計數(shù)-1 變?yōu)?，調(diào)用 刪除器，銷毀對象。
shared_ptr<char> p(new char[10]); // 編譯能夠通過，但是會造成資源泄漏
// 正確做法
shared_ptr<char> p(new char[10], [](char* p){
delete p[];
});
// 正確做法
shared_ptr<char> p(new char[10], default_delete<char[]>());
- 可以為數(shù)組創(chuàng)建一個shared_ptr ，但是這樣會造成資源泄露。因為 shared_ptr 提供默認(rèn)的刪除調(diào)用的是 delete，而不是 delete[]
- 可以使用自定義刪除器，刪除器中使用 delete[]
- 可以使用 default_delete 作為刪除器，因為它使用 delete[]
shared_ptr 存在的問題：
1.循環(huán)引用
不同對象相互引用，形成環(huán)路
2.想要共享但是不想擁有對象
shared_ptr 的線程安全問題
1. shared_ptr 對象中引用計數(shù)是多個shared_ptr對象共享的，兩個線程中shared_ptr的引用計數(shù)同時++或–，這個操作不是原子的，引用計數(shù)原來是1，++了兩次，可能還是2 這樣引用計數(shù)就錯亂了。會導(dǎo)致資源未釋放或者程序崩潰的問題。所以只能指針中引用計數(shù)++、–是需要加鎖的，也就是說引用計數(shù)的操作是線程安全的。
2.shared_ptr 管理的對象存放在堆上，兩個線程中同時去訪問，會導(dǎo)致線程安全問題。
// 1.因為線程安全問題是偶現(xiàn)性問題，main函數(shù)的n改大一些概率就變大了，就
容易出現(xiàn)了。
void SharePtrFunc(shared_ptr<Date>& sp, size_t n)
{
cout << sp.Get() << endl;
for (size_t i = 0; i < n; ++i)
{
// 這里智能指針拷貝會++計數(shù)，智能指針析構(gòu)會--計數(shù)，這里是線程安全的。
shared_ptr<Date> copy(sp);
// 這里智能指針訪問管理的資源，不是線程安全的。所以我們看看這些值兩個線程++了2n次，但是最終看到的結(jié)果，并一定是加了2n
copy->_year++;
copy->_month++;
copy->_day++;
}
}
int main()
{
shared_ptr<Date> p(new Date);
cout << p.Get() << endl;
const size_t n = 100;
thread t1(SharePtrFunc, p, n);
thread t2(SharePtrFunc, p, n);
t1.join();
t2.join();
cout << p->_year << endl;
cout << p->_month << endl;
cout << p->_day << endl;
return 0;
}
shared_ptr 的循環(huán)引用
struct ListNode
{
int _data;
shared_ptr<ListNode> _prev;
shared_ptr<ListNode> _next;
~ListNode(){ cout << "~ListNode()" << endl; }
};
int main()
{
shared_ptr<ListNode> node1(new ListNode);
shared_ptr<ListNode> node2(new ListNode);
cout << node1.use_count() << endl;
cout << node2.use_count() << endl;
node1->_next = node2;
node2->_prev = node1;
cout << node1.use_count() << endl;
cout << node2.use_count() << endl;
return 0;
}
循環(huán)引用代碼分析：
node1和node2兩個智能指針對象指向兩個節(jié)點，引用計數(shù)變成1，不需要手動delete。
node1的_next指向node2，node2的_prev指向node1，引用計數(shù)變成2。
node1和node2析構(gòu)，引用計數(shù)減到1，但是_next還指向下一個節(jié)點。但是_prev還指向上一個節(jié)點。
也就是說_next析構(gòu)了，node2就釋放了。
也就是說_prev析構(gòu)了，node1就釋放了。
但是_next屬于node的成員，node1釋放了，_next才會析構(gòu)，而node1由_prev管理，_prev屬于node2成員，所以這就叫循環(huán)引用，誰也不會釋放。
解決方案：在引用計數(shù)的場景下，把節(jié)點中的_prev和_next改成weak_ptr就可以了
原理：
node1->_next = node2;和node2->_prev = node1;時weak_ptr的_next和_prev不會增加
node1和node2的引用計數(shù)。
struct ListNode
{
int _data;
weak_ptr<ListNode> _prev;
weak_ptr<ListNode> _next;
~ListNode(){ cout << "~ListNode()" << endl; }
};
int main()
{
shared_ptr<ListNode> node1(new ListNode);
shared_ptr<ListNode> node2(new ListNode);
cout << node1.use_count() << endl;
cout << node2.use_count() << endl;
node1->_next = node2;
node2->_prev = node1;
cout << node1.use_count() << endl;
cout << node2.use_count() << endl;
return 0;
}
unique_ptr
- 同一個對象，只能有唯一的一個 unique_ptr 指向它
- 繼承了自動指針 auto_ptr，
- 有助于避免發(fā)生異常時導(dǎo)致的資源泄漏
unique_ptr的使用
unique_ptr 定義了*、-> 運算符，沒有定義 ++ 之類的指針?biāo)惴?/p>
unique_ptr 不允許使用賦值語法進(jìn)行初始化，必須使用普通指針直接初始化
unique_ptr 可以為 空
unique_ptr 不能使用普通的復(fù)制語義賦值， 可以使用 C++11 的 move() 函數(shù)
unique_ptr 獲得新對象時，會銷毀之前的對象
unique_ptr 防止拷貝的原理：
// C++98防拷貝的方式：只聲明不實現(xiàn)+聲明成私有 UniquePtr(UniquePtr<T> const &); UniquePtr & operator=(UniquePtr<T> const &); // C++11防拷貝的方式：delete UniquePtr(UniquePtr<T> const &) = delete; UniquePtr & operator=(UniquePtr<T> const &) = delete;
總結(jié)
本篇文章就到這里了，希望能給你帶來幫助，也希望您能夠多多關(guān)注腳本之家的更多內(nèi)容！
相關(guān)文章
這篇文章主要給大家介紹了關(guān)于如何使用C語言計算長方體的表面積和體積的相關(guān)資料,在C語言中,我們可以使用乘法運算符(*)來進(jìn)行乘法運算,并將結(jié)果保存在一個變量中,需要的朋友可以參考下2023-10-10
在C語言中,邏輯或運算符（||）是一種常用的邏輯運算符,用于組合多個條件表達(dá)式,C語言中的邏輯或運算符具有短路機(jī)制,這是一種非常重要的概念,本文將深入解釋C語言中的||短路機(jī)制以及其在編程中的應(yīng)用,感興趣的朋友跟隨小編一起看看吧2024-01-01
這篇文章主要為大家詳細(xì)介紹了C++字符串類的封裝，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價值，感興趣的小伙伴們可以參考一下，希望能夠給你帶來幫助2022-02-02
C++ 虛函數(shù)和純虛函數(shù)的區(qū)別分析
這篇文章主要介紹了C++ 虛函數(shù)和純虛函數(shù)的區(qū)別，幫助大家更好的理解和學(xué)習(xí)c++的相關(guān)知識，感興趣的朋友可以了解下2020-10-10
C語言數(shù)據(jù)結(jié)構(gòu)不掛科指南之棧&隊列&數(shù)組詳解
自考重點、期末考試必過指南，這篇文章讓你理解什么是棧、什么是隊列、什么是數(shù)組。文中的示例代碼講解詳細(xì)，感興趣的小伙伴可以了解一下2022-09-09
C/C++判斷傳入的UTC時間是否當(dāng)天的實現(xiàn)方法
在項目中經(jīng)常會顯示一個時間，如果這個時間在今日內(nèi)就顯示為時分秒，否則顯示為年月日，有需要的朋友可以參考一下2014-01-01
這篇文章主要介紹了如何利用Matlab制作出工地海報的特效，文中的示例代碼講解詳細(xì)，對我們學(xué)習(xí)Matlab有一定幫助，需要的可以參考一下2022-03-03
這篇文章主要為大家詳細(xì)介紹了C++實現(xiàn)掃雷游戲，控制臺版的掃雷游戲，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價值，感興趣的小伙伴們可以參考一下2020-03-03
這篇文章主要介紹了VSCode同時更改所有相同的變量名或類名，本文通過圖文并茂的形式給大家介紹的非常詳細(xì)，對大家的學(xué)習(xí)或工作具有一定的參考借鑒價值,需要的朋友可以參考下2020-05-05
本文主要介紹了HLSL實現(xiàn)簡單的圖像處理功能的方法，具有很好的參考價值，下面跟著小編一起來看下吧2017-02-02