現(xiàn)代C++之手寫智能指針
0.回顧
所有代碼還是放在倉庫里面，歡迎star!
https://github.com/Light-City/CPlusPlusThings
前面一節(jié)編寫了一個RAII的例子：
class shape_wrapper {
public:
explicit shape_wrapper(
shape* ptr = nullptr)
: ptr_(ptr) {}
~shape_wrapper()
{
delete ptr_;
}
shape* get() const { return ptr_; }
private:
shape* ptr_;
};
這個類可以完成智能指針的最基本的功能：對超出作用域的對象進行釋放。但它缺了點東 西：
-
這個類只適用于 shape 類 -
該類對象的行為不夠像指針 -
拷貝該類對象會引發(fā)程序行為
1.手寫auto_ptr與scope_ptr
針對"這個類只適用于 shape 類"，我們想到了模板，于是改造為：
template <typename T>
class smater_ptr {
public:
explicit smater_ptr(
T* ptr = nullptr)
: ptr_(ptr) {}
~smater_ptr()
{
delete ptr_;
}
T* get() const { return ptr_; }
private:
T* ptr_;
};
針對"該類對象的行為不夠像指針",我們想到了指針的基本操作有*,->,布爾表達式。
于是添加三個成員函數(shù)：
template <typename T>
class smater_ptr {
public:
...
T& operator*() const { return *ptr_; }
T* operator->() const { return ptr_; }
operator bool() const { return ptr_; }
...
private:
T* ptr_;
};
針對"拷貝該類對象會引發(fā)程序行為"，我們想到了拷貝構(gòu)造和賦值。
現(xiàn)考慮如下調(diào)用：
smart_ptr ptr1{create_shape(shape_type::circle)};
smart_ptr ptr2{ptr1};
對于第二行，究竟應(yīng)當(dāng)讓編譯時發(fā)生錯誤，還是可以有一個更合理的行為？我們來逐一檢查 一下各種可能性。最簡單的情況顯然是禁止拷貝。我們可以使用下面的代碼：
template <typename T>
class smart_ptr {
…
smart_ptr(const smart_ptr&)
= delete;
smart_ptr& operator=(const smart_ptr&)
= delete;
…
};
當(dāng)然，也可以設(shè)為private。
禁用這兩個函數(shù)非常簡單，但卻解決了一種可能出錯的情況。否則，smart_ptr 在編譯時不會出錯，但在運行時卻會有未定義行為——由于會對同一內(nèi)存釋放兩次，通常情況下會導(dǎo)致程序崩潰。
我們是不是可以考慮在拷貝智能指針時把對象拷貝一份？不行，通常人們不會這么用，因為使用智能指針的目的就是要減少對象的拷貝啊。何況，雖然我們的指針類型是 shape，但實際指向的卻應(yīng)該是 circle 或 triangle 之類的對象。在 C++ 里沒有像 Java 的clone 方法這樣的約定；一般而言，并沒有通用的方法可以通過基類的指針來構(gòu)造出一個子類的對象來。
那關(guān)鍵點就來了，所有權(quán)！，我們可以拷貝時轉(zhuǎn)移指針的所有權(quán)！下面實現(xiàn)便是auto_ptr的核心實現(xiàn)：
template<typename T>
class auto_ptr {
public:
explicit auto_ptr(
T *ptr = nullptr) noexcept
: ptr_(ptr) {}
~auto_ptr() noexcept {
delete ptr_;
}
// 返回值為T&，允許*ptr=10操作
T &operator*() const noexcept { return *ptr_; }
T *operator->() const noexcept { return ptr_; }
operator bool() const noexcept { return ptr_; }
T *get() const noexcept { return ptr_; }
// 拷貝構(gòu)造,被復(fù)制放釋放原來指針的所有權(quán),交給復(fù)制方
auto_ptr(auto_ptr &other) noexcept {
ptr_ = other.release();
}
// copy and swap
auto_ptr &operator=(auto_ptr &rhs) noexcept {
// auto_ptr tmp(rhs.release());
// tmp.swap(*this);
// s上述兩行等價于下面一行
auto_ptr(rhs.release()).swap(*this);
return *this;
}
// 原來的指針釋放所有權(quán)
T *release() noexcept {
T *ptr = ptr_;
ptr_ = nullptr;
return ptr;
}
void swap(auto_ptr &rhs) noexcept {
using std::swap;
swap(ptr_, rhs.ptr_); // 轉(zhuǎn)移指針?biāo)袡?quán)
}
private:
T *ptr_;
};
template<typename T>
void swap(auto_ptr &lhs, auto_ptr &rhs) noexcept {
lhs.swap(rhs);
}
int main() {
auto_ptr ptr1{create_shape(shape_type::circle)};
auto_ptr ptr2{ptr1};
if (ptr1.get() == nullptr && ptr2.get())
cout << "拷貝構(gòu)造：ptr1釋放了所有權(quán),ptr2獲得了所有權(quán)" << endl;
ptr1 = ptr1;
auto_ptr ptr3{create_shape(shape_type::rectangle)};
ptr1 = ptr3;
if (ptr3.get() == nullptr && ptr1.get())
cout << "賦值操作：始終只有一個對象管理一個區(qū)塊!ptr3釋放了所有權(quán),ptr1獲得了所有權(quán)" << endl;
}
上述通過copy-swap技術(shù)完成了避免自我賦值與保證了強異常安全！
如果你覺得這個實現(xiàn)還不錯的話，那恭喜你，你達到了 C++ 委員會在 1998 年時的水平：上面給出的語義本質(zhì)上就是 C++98 的 auto_ptr 的定義。如果你覺得這個實現(xiàn)很別扭的話，也恭喜你，因為 C++ 委員會也是這么覺得的：auto_ptr 在 C++17 時已經(jīng)被正式從C++ 標(biāo)準(zhǔn)里刪除了。
上面會導(dǎo)致什么問題呢？
看一下輸出結(jié)果：
shape
circle
拷貝構(gòu)造：ptr1釋放了所有權(quán),ptr2獲得了所有權(quán)
shape
rectangle
賦值操作：始終只有一個對象管理一個區(qū)塊!ptr3釋放了所有權(quán),ptr1獲得了所有權(quán)
shape與circle實在create_shape時候輸出的，我們重點關(guān)注最后一句話，發(fā)現(xiàn)了一個很大的問題：它的行為會讓程序員非常容易犯錯。一不小心把它傳遞給另外一個 auto_ptr，你就不再擁有這個對象了。
上述拷貝構(gòu)造與拷貝賦值分別如下面兩張圖所示：
圖1
圖2
針對這個問題，在C++11標(biāo)準(zhǔn)出來之前，C++98標(biāo)準(zhǔn)中都一直只有一個智能指針auto_ptr，我們知道，這是一個失敗的設(shè)計。它的本質(zhì)是管理權(quán)的轉(zhuǎn)移，這有許多問題。而這時就有一群人開始擴展C++標(biāo)準(zhǔn)庫的關(guān)于智能指針的部分，他們組成了boost社區(qū)，他們負責(zé)boost庫的開發(fā)和維護。其目的是為C++程序員提供免費的、同行審查的、可移植的程序庫。boost庫可以和C++標(biāo)準(zhǔn)庫完美的共同工作，并且為其提供擴展功能?，F(xiàn)在的C++11標(biāo)準(zhǔn)庫的智能指針很大程度上“借鑒”了boost庫。
boost::scoped_ptr 屬于 boost 庫，定義在 namespace boost 中，包含頭文件#include可以使用。scoped_ptr 跟 auto_ptr 一樣，可以方便的管理單個堆內(nèi)存對象，特別的是，scoped_ptr 獨享所有權(quán)，避免了auto_ptr惱人的幾個問題。
scoped_ptr是一種簡單粗暴的設(shè)計，它本質(zhì)就是防拷貝，避免出現(xiàn)管理權(quán)的轉(zhuǎn)移。這是它的最大特點，所以他的拷貝構(gòu)造函數(shù)和賦值運算符重載函數(shù)都只是聲明而不定義，而且為了防止有的人在類外定義，所以將函數(shù)聲明為private。但這也是它最大的問題所在，就是不能賦值拷貝，也就是說功能不全。但是這種設(shè)計比較高效、簡潔。沒有 release() 函數(shù)，不會導(dǎo)致先前的內(nèi)存泄露問題。下面我也將模擬實現(xiàn)scoped_ptr的管理機制(實際上就是前面提到的禁止拷貝)：
template<class T>
class scoped_ptr // noncopyable
{
public:
explicit scoped_ptr(T *ptr = 0) noexcept : ptr_(ptr) {
}
~scoped_ptr() noexcept {
delete ptr_;
}
void reset(T *p = 0) noexcept {
scoped_ptr(p).swap(*this);
}
T &operator*() const noexcept {
return *ptr_;
}
T *operator->() const noexcept {
return ptr_;
}
T *get() const noexcept {
return ptr_;
}
void swap(scoped_ptr &rhs) noexcept {
using std::swap;
swap(ptr_, rhs.ptr_);
}
private:
T *ptr_;
scoped_ptr(scoped_ptr const &);
scoped_ptr &operator=(scoped_ptr const &);
};
template<typename T>
void swap(scoped_ptr &lhs, scoped_ptr &rhs) noexcept {
lhs.swap(rhs);
}
scoped_ptr特點總結(jié)：
1）與auto_ptr類似，采用棧上的指針去管理堆上的內(nèi)容，從而使得堆上的對象隨著棧上對象銷毀時自動刪除；
2）scoped_ptr有著更嚴(yán)格的使用限制——不能拷貝，這也意味著scoped_ptr不能轉(zhuǎn)換其所有權(quán)，所以它管理的對象不能作為函數(shù)的返回值，對象生命周期僅僅局限于一定區(qū)間（該指針?biāo)诘膡}區(qū)間，而std::auto_ptr可以）；
3）由于防拷貝的特性，使其管理的對象不能共享所有權(quán)，這與std::auto_ptr類似，這一特點使該指針簡單易用，但也造成了功能的薄弱。
2.手寫unique_ptr之子類向基類轉(zhuǎn)換
在上述auto_ptr基礎(chǔ)上，我們把拷貝構(gòu)造與拷貝賦值，改為移動構(gòu)造與移動賦值。
template<typename T>
class unique_ptr {
public:
explicit unique_ptr(
T *ptr = nullptr) noexcept
: ptr_(ptr) {}
~unique_ptr() noexcept {
delete ptr_;
}
T &operator*() const noexcept { return *ptr_; }
T *operator->() const noexcept { return ptr_; }
operator bool() const noexcept { return ptr_; }
T *get() const noexcept { return ptr_; }
unique_ptr(unique_ptr &&other) noexcept {
ptr_ = other.release();
}
// copy and swap 始終只有一個對象有管理這塊空間的權(quán)限
unique_ptr &operator=(unique_ptr rhs) noexcept {
rhs.swap(*this);
return *this;
}
// 原來的指針釋放所有權(quán)
T *release() noexcept {
T *ptr = ptr_;
ptr_ = nullptr;
return ptr;
}
void swap(unique_ptr &rhs) noexcept {
using std::swap;
swap(ptr_, rhs.ptr_); // 轉(zhuǎn)移指針?biāo)袡?quán)
}
private:
T *ptr_;
};
template<typename T>
void swap(unique_ptr &lhs, unique_ptr &rhs) {
lhs.swap(rhs);
}
調(diào)用：
int main() {
unique_ptr ptr1{create_shape(shape_type::circle)};
// unique_ptr ptr2{ptr1}; // error
unique_ptr ptr2{std::move(ptr1)}; // ok
unique_ptr ptr3{create_shape(shape_type::rectangle)};
// ptr1 = ptr3; // error
ptr3 = std::move(ptr1); // ok
}
把拷貝構(gòu)造函數(shù)中的參數(shù)類型 unique_ptr& 改成了 unique_ptr&&；現(xiàn)在它成了移動構(gòu)造函數(shù)。把賦值函數(shù)中的參數(shù)類型 unique_ptr& 改成了 unique_ptr，在構(gòu)造參數(shù)時直接生成新的智能指針，從而不再需要在函數(shù)體中構(gòu)造臨時對象。現(xiàn)在賦值函數(shù)的行為是移動還是拷貝，完全依賴于構(gòu)造參數(shù)時走的是移動構(gòu)造還是拷貝構(gòu)造。
最后，一個circle* 是可以隱式轉(zhuǎn)換成 shape*的，但上面的 unique_ptr 卻無法自動轉(zhuǎn)換成 unique_ptr。
現(xiàn)在我們考慮兩種情況：
（1）第一種：當(dāng)我們只是在原先的移動構(gòu)造上面添加template ，此時情況是移動構(gòu)造變?yōu)閹０宓囊苿訕?gòu)造，可以進行子類向基類轉(zhuǎn)換，但是與移動構(gòu)造相關(guān)的，則調(diào)用的是默認(rèn)移動構(gòu)造，除非是子類向基類轉(zhuǎn)換，才調(diào)用帶模板的移動構(gòu)造。
template <typename U>
unique_ptr(unique_ptr &&other) noexcept {
ptr_ = other.release();
}
六個特殊的成員函數(shù)其生成規(guī)則如下：
-
默認(rèn)構(gòu)造函數(shù)，生成規(guī)則和C++98一樣，在用戶沒有聲明自定義的構(gòu)造函數(shù)的時候并且編譯期需要的時候生成。 -
析構(gòu)函數(shù)，生成規(guī)則和C++98一樣，在C++11中有點不同的是，析構(gòu)函數(shù)默認(rèn)是noexcept。 -
拷貝構(gòu)造函數(shù)，用戶自定義了移動操作會導(dǎo)致不生成默認(rèn)的拷貝構(gòu)造函數(shù)，其它和C++98的行為一致。 -
拷貝賦值操作符，用戶自定義了移動操作會導(dǎo)致不生成默認(rèn)的拷貝賦值操作，其它和C++98的行為一致。 -
移動構(gòu)造函數(shù)和移動賦值操作符，僅僅在沒有用戶自定義的拷貝操作，移動操作和析構(gòu)操作的時候才會生成。
根據(jù)《Effective Modern C++》Item17 P115頁提到，當(dāng)類中含有特殊成員函數(shù)變?yōu)槟０逄厥獬蓡T函數(shù)的時候,此時不滿足上述生成規(guī)則，也就是針對當(dāng)前例子來說，編譯器會默認(rèn)生成拷貝構(gòu)造，所以此時上述main調(diào)用里面為error的都可以正常運行！
int main() {
unique_ptr ptr1{create_shape(shape_type::circle)};
unique_ptr ptr2{ptr1}; // 由于帶模板的移動構(gòu)造函數(shù)引發(fā)編譯器會默認(rèn)生成拷貝構(gòu)造
if (ptr1.get() != nullptr) // bitwise copy 此時ptr1不為NULL
ptr2.get()->print();
unique_ptr ptr2_2{std::move(ptr1)}; // 調(diào)用的是默認(rèn)的移動構(gòu)造,而不是帶模板的移動構(gòu)造 bitwise move
if (ptr2_2.get() != nullptr && ptr1.get() != nullptr) // ptr1 不為空
ptr2_2.get()->print();
unique_ptr ptr3{create_shape(shape_type::rectangle)};
ptr1 = ptr3; // ok 根據(jù)形參先調(diào)用默認(rèn)拷貝,再調(diào)用拷貝賦值
ptr3 = std::move(ptr1); // ok 根據(jù)形參先調(diào)用默認(rèn)移動構(gòu)造，而不是帶參數(shù)的移動構(gòu)造,再調(diào)用移動賦值
unique_ptr ptr4(std::move(new circle)); // ok 調(diào)用帶模板的移動構(gòu)造
}
調(diào)用與結(jié)果如上代碼所示。
（2）第二種：移動構(gòu)造與帶模板的移動構(gòu)造同時存在，可以完成子類向基類的轉(zhuǎn)換，此時是滿足上述生成規(guī)則，此時不會生成拷貝函數(shù)！
int main() {
unique_ptr ptr1{create_shape(shape_type::circle)};
// unique_ptr ptr2{ptr1}; // error
unique_ptr ptr2_2{std::move(ptr1)}; // ok
if (ptr2_2.get() != nullptr && ptr1.get() == nullptr)
ptr2_2.get()->print();
unique_ptr ptr3{create_shape(shape_type::rectangle)};
// ptr1 = ptr3; // error
ptr3 = std::move(ptr1); // ok
// unique_ptr cl{create_shape(shape_type::circle)}; // error 因為create_shape返回的是shape 不能基類轉(zhuǎn)子類
unique_ptr cl{new circle()};
unique_ptr ptr5(std::move(cl)); // ok unique轉(zhuǎn)unique
}
小結(jié)：
（1）我們需要了解子類向基類的隱式轉(zhuǎn)換，通過將移動構(gòu)造函數(shù)變?yōu)閹０宓囊苿訕?gòu)造函數(shù)，要明白兩者共存情況與只有帶模板的移動或者其他構(gòu)造函數(shù)對編譯器生成規(guī)則的影響！上述代碼，此時還不能完成基類向子類的轉(zhuǎn)換！例如:unique_ptr轉(zhuǎn)unique_ptr。
（2）auto_ptr與unique_tr都是獨占所有權(quán)，每次只能被單個對象所擁有，unique_ptr與auto_ptr不同的是使用移動語義來顯示的編寫。auto_ptr是可以說你隨便賦值,但賦值完了之后原來的對象就不知不覺的報廢.搞得你莫名其妙。而unique_ptr就干脆不讓你可以隨便去復(fù)制,賦值.如果實在想傳個值就哪里,顯式的說明內(nèi)存轉(zhuǎn)移std:move一下。然后這樣傳值完了之后,之前的對象也同樣報廢了.只不過整個move你讓明顯的知道這樣操作后會導(dǎo)致之前的unique_ptr對象失效。scope_ptr則是直接不允許拷貝。由于防拷貝的特性，使其管理的對象不能共享所有權(quán)。
3.shared_ptr之引用計數(shù)
unique_ptr 算是一種較為安全的智能指針了。但是，一個對象只能被單個 unique_ptr所擁有，這顯然不能滿足所有使用場合的需求。一種常見的情況是，多個智能指針同時擁有一個對象；當(dāng)它們?nèi)慷际r，這個對象也同時會被刪除。這也就是 shared_ptr 了。
兩者區(qū)別如下：
多個shared_ptr不僅共享一個對象，同時還得共享同一個計數(shù)。當(dāng)最后一個指向?qū)ο?和共享計數(shù))的shared_ptr析構(gòu)時，它需要刪除對象和共享計數(shù)。
首先需要一個共享計數(shù)的實現(xiàn)：
class shared_count {
public:
shared_count() : count_(1) {
}
// 增加計數(shù)
void add_count() {
++count_;
}
// 減少計數(shù)
long reduce_count() {
return --count_;
}
// 獲取當(dāng)前計數(shù)
long get_count() const {
return count_;
}
private:
long count_;
};
接下來實現(xiàn)引用計數(shù)智能指針：
構(gòu)造與析構(gòu)、swap實現(xiàn)如下所示：
template<typename T>
class shared_ptr {
public:
explicit shared_ptr(
T *ptr = nullptr) noexcept
: ptr_(ptr) {
if (ptr) {
shared_count_ = new shared_count();
}
}
~shared_ptr() noexcept {
// 最后一個shared_ptr再去刪除對象與共享計數(shù)
// ptr_不為空且此時共享計數(shù)減為0的時候,再去刪除
if(ptr_&&!shared_count_->reduce_count()) {
delete ptr_;
delete shared_count_;
}
}
void swap(shared_ptr &rhs) noexcept {
using std::swap;
swap(ptr_, rhs.ptr_);
swap(shared_count_,rhs.shared_count_);
}
private:
T *ptr_;
shared_count *shared_count_;
};
template<typename T>
void swap(shared_ptr &lhs, shared_ptr &rhs) noexcept {
lhs.swap(rhs);
}
之前的賦值函數(shù)，編譯器可以根據(jù)調(diào)用來決定是調(diào)拷貝構(gòu)造還是移動構(gòu)函數(shù)，所以不變：
// copy and swap 始終只有一個對象有管理這塊空間的權(quán)限
shared_ptr &operator=(shared_ptr rhs) noexcept {
rhs.swap(*this);
return *this;
}
拷貝構(gòu)造與移動構(gòu)造需要改變：
除復(fù)制指針之外，對于拷貝構(gòu)造的情況，我們需要在指針非空時把引用數(shù)加一，并復(fù)制共享 計數(shù)的指針。對于移動構(gòu)造的情況，我們不需要調(diào)整引用數(shù)，直接把 other.ptr_ 置為 空，認(rèn)為 other 不再指向該共享對象即可
實現(xiàn)如下所示：
template<typename U>
shared_ptr(const shared_ptr &other) noexcept {
ptr_ = other.ptr_;
if (ptr_) {
other.shared_count_->add_count();
shared_count_ = other.shared_count_;
}
}
template<typename U>
shared_ptr(shared_ptr &&other) noexcept {
ptr_ = other.ptr_;
if (ptr_) {
shared_count_ = other.shared_count_;
other.shared_count_ = nullptr;
}
}
當(dāng)運行的時候，報錯：
‘circle* shared_ptr::ptr_’ is private
錯誤原因是模板的各個實例間并不天然就有 friend 關(guān)系，因而不能互訪私有成員 ptr_和shared_count_。我們需要在 smart_ptr 的定義中顯式聲明：
template<typename U>
friend class shared_ptr;
此外，在當(dāng)前引用計數(shù)實現(xiàn)中，我們應(yīng)該刪除release釋放所有權(quán)函數(shù)，編寫一個返回引用計數(shù)值的函數(shù)。
long use_count() const noexcept {
if (ptr_) {
return shared_count_->get_count();
} else {
return 0;
}
}
調(diào)用：
shared_ptr ptr1(new circle());
cout << "use count of ptr1 is " << ptr1.use_count() << endl;
shared_ptr ptr2, ptr3;
cout << "use count of ptr2 was " << ptr2.use_count() << endl;
ptr2 = ptr1; // shared_ptr隱式轉(zhuǎn)換shared_ptr 調(diào)用帶模板的拷貝構(gòu)造
// cout<<"======="<
// ptr3 = ptr2; // 調(diào)用的是編譯器生成的默認(rèn)拷貝構(gòu)造 所以引用計數(shù)不會增加 ptr3=ptr2
// cout<<"======="<
ptr3 = ptr1;
cout << "此時3個shared_ptr指向同一個資源" << endl;
cout << "use count of ptr1 is now " << ptr1.use_count() << endl;
cout << "use count of ptr2 is now " << ptr2.use_count() << endl;
cout << "use count of ptr3 is now " << ptr3.use_count() << endl;
if (ptr1)
cout << "ptr1 is not empty" << endl;
// 會先調(diào)用賦值函數(shù),由編譯器決定調(diào)用的是拷貝構(gòu)造還是移動構(gòu)造,造出一個新的臨時對象出來,臨時對象會在跳出作用域后被析構(gòu)掉。
// 在析構(gòu)函數(shù)中,會先判斷該臨時對象的是否指向資源,如果沒有,析構(gòu)結(jié)束。否則,對引用計數(shù)減1,判斷引用計數(shù)是否為0,如果為0,刪除共享引用計數(shù)指針,否則不操作。
cout << "此時2個shared_ptr指向同一個資源" << endl;
ptr2 = std::move(ptr1);
if (!ptr1 && ptr2) { // 調(diào)用的是bool重載操作符
cout << "ptr1 move to ptr2" << endl;
cout << "use count of ptr1 is now " << ptr1.use_count() << endl;
cout << "use count of ptr2 is now " << ptr2.use_count() << endl;
cout << "use count of ptr3 is now " << ptr3.use_count() << endl;
}
輸出：
shape
circle
use count of ptr1 is 1
use count of ptr2 was 0
此時3個shared_ptr指向同一個資源
use count of ptr1 is now 3
use count of ptr2 is now 3
use count of ptr3 is now 3
ptr1 is not empty
此時2個shared_ptr指向同一個資源
ptr1 move to ptr2
use count of ptr1 is now 0
use count of ptr2 is now 2
use count of ptr3 is now 2
~circle
~shape
有幾點注意事項：
-
上述代碼沒有考慮線程安全性，這里只是簡化版
-
=賦值重載函數(shù)不加
&，編譯器決定調(diào)用拷貝構(gòu)造還是移動構(gòu)造，來造出一個臨時對象出來。 -
根據(jù)前面提到的，當(dāng)類中特殊函數(shù)變?yōu)閹０宓暮瘮?shù)，編譯器仍然會生成默認(rèn)拷貝構(gòu)造與默認(rèn)移動構(gòu)造。
針對第一點：例如：ptr2 = std::move(ptr1);
會先調(diào)用賦值函數(shù),由編譯器決定調(diào)用的是拷貝構(gòu)造還是移動構(gòu)造,造出一個新的臨時對象出來,臨時對象會在跳出作用域后被析構(gòu)掉。在析構(gòu)函數(shù)中,會先判斷該臨時對象的是否指向資源,如果沒有,析構(gòu)結(jié)束。否則,對引用計數(shù)減1,判斷引用計數(shù)是否為0,如果為0,刪除共享引用計數(shù)指針,否則不操作。
針對第二點：
shared_ptr ptr2, ptr3;
ptr3 = ptr2; // 調(diào)用的是編譯器生成的默認(rèn)拷貝構(gòu)造 所以引用計數(shù)不會增加
兩者都是一種類型，所以在調(diào)用賦值操作后，不會調(diào)用帶模板的拷貝構(gòu)造來創(chuàng)建臨時變量，而是調(diào)用編譯器生成的默認(rèn)拷貝構(gòu)造，所以此時引用計數(shù)不會增加。
4.指針類型轉(zhuǎn)換
對應(yīng)于 C++ 里的不同的類型強制轉(zhuǎn)：
-
dynamic_cast -
static_cast -
const_cast -
reinterpret_cast
4.1 dynamic_cast
在上述unique_ptr處實現(xiàn)了子類向基類的轉(zhuǎn)換，但是卻沒有實現(xiàn)基類向子類的轉(zhuǎn)換，例如：:unique_ptr轉(zhuǎn)unique_ptr。
實現(xiàn)這種，需要使用dynamic_cast，實現(xiàn)如下：
首先為了實現(xiàn)這些轉(zhuǎn)換，我們需要添加構(gòu)造函數(shù)，允許在對智能指針內(nèi)部的指針對象賦值時，使用一個現(xiàn)有的智能指針的共享計數(shù)。
// 實現(xiàn)強制類型轉(zhuǎn)換需要的構(gòu)造函數(shù)
template<typename U>
shared_ptr(const shared_ptr &other, T *ptr) noexcept {
ptr_ = ptr;
if (ptr_) {
other.shared_count_->add_count();
shared_count_ = other.shared_count_;
}
}
其次，就是實現(xiàn)轉(zhuǎn)換函數(shù)：
template<typename T, typename U>
shared_ptr dynamic_pointer_cast(const shared_ptr &other) noexcept {
T *ptr = dynamic_cast(other.get());
return shared_ptr(other, ptr);
}
調(diào)用：
// shape* -> circle* 使用dynamic_cast轉(zhuǎn)換后,指針為空.此時資源還是被dptr2擁有,dptr1為0
shared_ptr dptr2(new shape);
shared_ptr dptr1 = dynamic_pointer_cast(dptr2); // 基類轉(zhuǎn)子類
cout << "use count of dptr1 is now " << dptr1.use_count() << endl; // 0
cout << "use count of dptr2 is now " << dptr2.use_count() << endl; // 1
// circle* -> circle* 使用dynamic_cast轉(zhuǎn)換后,指針不為空,此時資源被兩者共同使用,引用計數(shù)為2
shared_ptr dptr3(new circle);
// shared_ptr dptr3(new circle); // 上面或者當(dāng)前行,后面輸出一樣！
shared_ptr dptr1_1 = dynamic_pointer_cast(dptr3); // 基類轉(zhuǎn)子類
cout << "use count of dptr1_1 is now " << dptr1_1.use_count() << endl; // 2
cout << "use count of dptr3 is now " << dptr3.use_count() << endl; // 2
// circle* -> circle* 使用dynamic_cast轉(zhuǎn)換后,指針不為空,此時資源被兩者共同使用,引用計數(shù)為2
shared_ptr dptr3_1(new circle);
shared_ptr dptr2_1 = dynamic_pointer_cast(dptr3_1); // 子類轉(zhuǎn)基類 上行轉(zhuǎn)換,安全！
cout << "use count of dptr2_1 is now " << dptr2_1.use_count() << endl; // 2
cout << "use count of dptr3_1 is now " << dptr3_1.use_count() << endl; // 2
dynamic_cast主要用于類層次間的上行轉(zhuǎn)換和下行轉(zhuǎn)換，還可以用于類之間的交叉轉(zhuǎn)換。在類層次間進行上行轉(zhuǎn)換時，dynamic_cast和static_cast的效果是一樣的；在進行下行轉(zhuǎn)換時，dynamic_cast具有類型檢查的功能，比static_cast更安全。在多態(tài)類型之間的轉(zhuǎn)換主要使用dynamic_cast，因為類型提供了運行時信息。
（1）下行轉(zhuǎn)換，基類轉(zhuǎn)換為子類，例如：智能指針轉(zhuǎn)換類似于shape* 轉(zhuǎn)換為circle* 使用dynamic_cast轉(zhuǎn)換后,指針為空.此時資源還是被dptr2擁有,dptr1為0。比static_cast安全。
（2）平行轉(zhuǎn)換，指向一致的相互轉(zhuǎn)換，例如：智能指針轉(zhuǎn)換類似于circle*轉(zhuǎn)換為circle*。此時引用計數(shù)為兩者共享。
（3）上行轉(zhuǎn)換，子類轉(zhuǎn)基類，例如：智能指針轉(zhuǎn)換類似于circle*轉(zhuǎn)換為shape*，此時引用技術(shù)為兩者共享。等價于static_cast。
4.2 static_cast
同樣，編寫如下：
template<typename T, typename U>
shared_ptr static_pointer_cast(const shared_ptr &other) noexcept {
T *ptr = static_cast(other.get());
return shared_ptr(other, ptr);
}
調(diào)用：
// shape* -> circle* 使用static_cast轉(zhuǎn)換后,指針為空 與dynamic_cast相比,不安全
shared_ptr sptr2(new shape);
shared_ptr sptr1 = static_pointer_cast(sptr2); // 基類轉(zhuǎn)子類
cout << "use count of sptr1 is now " << dptr1.use_count() << endl; // 0
cout << "use count of sptr2 is now " << dptr2.use_count() << endl; // 1
// circle* -> circle* 使用dynamic_cast轉(zhuǎn)換后,指針不為空,此時資源被兩者共同使用,引用計數(shù)為2
shared_ptr sptr3(new circle);
// shared_ptr sptr3(new circle); // 上面或者當(dāng)前行,后面輸出一樣！
shared_ptr sptr1_1 = static_pointer_cast(sptr3); // 基類轉(zhuǎn)子類
cout << "use count of sptr1_1 is now " << sptr1_1.use_count() << endl; // 2
cout << "use count of sptr3 is now " << sptr3.use_count() << endl; // 2
// circle* -> circle* 使用static_cast轉(zhuǎn)換后,指針不為空,此時資源被兩者共同使用,引用計數(shù)為2 等價于dynamic_cast
shared_ptr sptr3_1(new circle);
shared_ptr sptr2_1 = static_pointer_cast(sptr3_1); // 子類轉(zhuǎn)基類 上行轉(zhuǎn)換,安全！
cout << "use count of sptr2_1 is now " << sptr2_1.use_count() << endl; // 2
cout << "use count of sptr3_1 is now " << sptr3_1.use_count() << endl; // 2
輸出結(jié)果同上dynamic_cast，不同之處，在下行轉(zhuǎn)換的時候(基類轉(zhuǎn)子類)，是不安全的！
4.3 const_cast
去掉const屬性：
template<typename T, typename U>
shared_ptr const_pointer_cast(
const shared_ptr &other) noexcept {
T *ptr = const_cast(other.get());
return shared_ptr(other, ptr);
}
調(diào)用：
shared_ptr s = const_pointer_cast(shared_ptr<const circle>(new circle));
4.4 reinterpret_cast
例如：想把一個指針轉(zhuǎn)為整數(shù)，就可以用reinterpret_cast。
template<typename T, typename U>
shared_ptr reinterpret_pointer_cast(
const shared_ptr &other) noexcept {
T *ptr = reinterpret_cast(other.get());
return shared_ptr(other, ptr);
}
調(diào)用：
int a = reinterpret_pointer_cast<int>(s);
參考自吳老師的《現(xiàn)代C++實戰(zhàn)30講》第二講。
免責(zé)聲明：本文內(nèi)容由21ic獲得授權(quán)后發(fā)布，版權(quán)歸原作者所有，本平臺僅提供信息存儲服務(wù)。文章僅代表作者個人觀點，不代表本平臺立場，如有問題，請聯(lián)系我們，謝謝！
下載文檔
