【重學C++】02 脫離指針陷阱:深入淺出 C++ 智能指針

来源:https://www.cnblogs.com/huiwancode/archive/2023/05/21/17417709.html
-Advertisement-
Play Games

## 文章首發 [【重學C++】02 脫離指針陷阱:深入淺出 C++ 智能指針](https://mp.weixin.qq.com/s/McD-kfsiQ7hW1UnsAriC1g) ## 前言 大家好,今天是【重學C++】系列的第二講,我們來聊聊C++的智能指針。 ## 為什麼需要智能指針 在上一 ...


文章首發

【重學C++】02 脫離指針陷阱:深入淺出 C++ 智能指針

前言

大家好,今天是【重學C++】系列的第二講,我們來聊聊C++的智能指針。

為什麼需要智能指針

在上一講《01 C++如何進行記憶體資源管理》中,提到了對於堆上的記憶體資源,需要我們手動分配和釋放。管理這些資源是個技術活,一不小心,就會導致記憶體泄漏。

我們再給兩段代碼,切身體驗下原生指針管理記憶體的噩夢。

void foo(int n) {
    int* ptr = new int(42);
    ...
    if (n > 5) {
	    return;
    }
    ...
    delete ptr;
}


void other_fn(int* ptr) {
	...
};
void bar() {
    int* ptr = new int(42);
    other_fn(ptr);
    // ptr == ?
}

foo函數中,如果入參n > 5, 則會導致指針ptr的記憶體未被正確釋放,從而導致記憶體泄漏。

bar函數中,我們將指針ptr傳遞給了另外一個函數other_fn,我們無法確定other_fn有沒有釋放ptr記憶體,如果被釋放了,那ptr將成為一個懸空指針,bar在後續還繼續訪問它,會引發未定義行為,可能導致程式崩潰。

上面由於原生指針使用不當導致的記憶體泄漏、懸空指針問題都可以通過智能指針來輕鬆避免。

C++智能指針是一種用於管理動態分配記憶體的指針類。基於RAII設計理念,通過封裝原生指針實現的。可以在資源(原生指針對應的對象)生命周期結束時自動釋放記憶體。

C++標準庫中,提供了兩種最常見的智能指針類型,分別是std::unique_ptrstd::shared_ptr
接下來我們分別詳細展開介紹。

吃獨食的unique_ptr

std::unique_ptr 是 C++11 引入的智能指針,用於管理動態分配的記憶體。每個 std::unique_ptr 實例都擁有對其所包含對象的唯一所有權,併在其生命周期結束時自動釋放對象。

創建unique_ptr對象

我們可以std::unique_ptr的構造函數或std::make_unique函數(C++14支持)來創建一個unique_ptr對象,在超出作用域時,會自動釋放所管理的對象記憶體。示例代碼如下:

#include <memory>
#include <iostream>
class MyClass {
public:
    MyClass() {
        std::cout << "MyClass constructed" << std::endl;
    }

    ~MyClass() {
        std::cout << "MyClass destroyed" << std::endl;
    }
};
int main() {
	std::unique_ptr<MyClass> ptr1(new MyClass);
	// C++14開始支持std::make_unique
    std::unique_ptr<int> ptr2 = std::make_unique<int>(10);
    return 0;
}

代碼輸出:

MyClass constructed
MyClass destroyed

訪問所管理的對象

我們可以像使用原生指針的方式一樣,訪問unique_ptr所指向的對象。也可以通過get函數獲取到原生指針。

MyClass* naked_ptr = ptr1.get();
std::cout << *ptr2 << std::endl; // 輸出 10

釋放/重置所管理的對象

使用reset函數可以釋放unique_ptr所管理的對象,並將其指針重置為nullptr或指定的新指針。reset`大概實現原理如下

template<class T> 
void unique_ptr<T>::reset(pointer ptr = pointer()) noexcept { 
	// 釋放指針指向的對象
	delete ptr_; 
	// 重置指針
	ptr_ = ptr;
}

該函數主要完成兩件事:

  1. 釋放 std::unique_ptr 所管理的對象,以避免記憶體泄漏。
  2. std::unique_ptr 重置為nullptr或管理另一個對象。

code show time:

#include <iostream>
#include <memory>

class MyClass {
public:
    MyClass() {
        std::cout << "MyClass constructed" << std::endl;
    }

    ~MyClass() {
        std::cout << "MyClass destroyed" << std::endl;
    }
};

int main() {
    // 創建一個 std::unique_ptr 對象,指向一個 MyClass 對象
    std::unique_ptr<MyClass> ptr(new MyClass);

    // 調用 reset,將 std::unique_ptr 重置為管理另一個 MyClass 對象
    ptr.reset(new MyClass);
    return;
}

移動所有權

一個對象資源只能同時被一個unique_ptr管理。當嘗試把一個unique_ptr直接賦值給另外一個unique_ptr會編譯報錯。

#include <memory>
int main() {
    std::unique_ptr<int> p1 = std::make_unique<int>(42);
    std::unique_ptr<int> p2 = p1; // 編譯報錯
    return 0;
}

為了把一個 std::unique_ptr 對象的所有權移動到另一個對象中,我們必須配合std::move移動函數。

#include <memory>
#include <iostream>
int main() {
    std::unique_ptr<int> p1 = std::make_unique<int>(42);
    std::unique_ptr<int> p2 = std::move(p1); // ok
    std::cout << *p2 << std::endl; // 42
    std::cout << (p1.get() == nullptr) << std::endl; // true
    return 0;
}

這個例子中, 我們把p1通過std::move將其管理對象的所有權轉移給了p2, 此時p2接管了對象,而p1不再擁有管理對象的所有權,即無法再操作到該對象了。

樂於分享的shared_ptr

shared_ptr是C++11提供的另外一種常見的智能指針,與unique_ptr獨占對象方式不同,shared_ptr是一種共用式智能指針,允許多個shared_ptr指針共同擁有同一個對象,採用引用計數的方式來管理對象的生命周期。當所有的 shared_ptr 對象都銷毀時,才會自動釋放所管理的對象。

創建shared_ptr對象

同樣的,C++也提供了std::shared_ptr構造函數和std::make_shared函數來創建std::shared_ptr對象。

#include <memory>
int main() {
	std::shared_ptr<int> p1(new int(10));
	std::shared_ptr<int> p2 = std::make_shared<int>(20);
	return;
}

多個shared_ptr共用一個對象

可以通過賦值操作實現多個shared_ptr共用一個資源對象,例如

std::shared_ptr<int>p3 = p2;

shared_ptr採用引用計數的方式管理資源對象的生命周期,通過分配一個額外記憶體當計數器。

當一個新的shared_ptr被創建時,它對應的計數器被初始化為1。每當賦值給另外一個shared_ptr共用同一個對象時,計數器值會加1。當某個shared_ptr被銷毀時,計數值會減1,當計數值變為0時,說明沒有任何shared_ptr引用這個對象,會將對象進行回收。
image.png

C++提供了use_count函數來獲取std::shared_ptr所管理對象的引用計數,例如

std::cout << "p1 use count: " << p1.use_count() << std::endl;

釋放/重置所管理的對象

可以使用reset函數來釋放/重置shared_ptr所管理的對象。大概實現原理如下(不考慮併發場景)

void reset(T* ptr = nullptr) {
	if (ref_count != nullptr) { 
		(*ref_count)--;
		if (*ref_count == 0) { 
			delete data; 
			delete ref_count; 
		} 
	} 
	data = ptr; 
	ref_count = (data == nullptr) ? nullptr : new size_t(1); 
}

data指針來存儲管理的資源,指針ref_count 來存儲計數器的值。

在 reset 方法中,需要減少計數器的值,如果計數器減少後為 0,則需要釋放管理的資源,如果減少後不為0,則不會釋放之前的資源對象。

如果reset指定了新的資源指針,則需要重新設置 data 和 ref_count,並將計數器初始化為 1。否則,將計數器指針置為nullptr

shared_ptr使用註意事項

避免迴圈引用

由於 shared_ptr 具有共用同一個資源對象的能力,因此容易出現迴圈引用的情況。例如:

struct Node { 
	std::shared_ptr<Node> next; 
};

int main() {
	std::shared_ptr<Node> node1(new Node);
	std::shared_ptr<Node> node2(new Node); 
	node1->next = node2; 
	node2->next = node1;
}

在上述代碼中,node1node2 互相引用,在析構時會發現計數器的值不為0,不會釋放所管理的對象,產生記憶體泄漏。

為了避免迴圈引用,可以將其中一個指針改為 weak_ptr 類型。weak_ptr也是一種智能指針,通常配合shared_ptr一起使用。

weak_ptr是一種弱引用,不對所指向的對象進行計數引用,也就是說,不增加所指對象的引用計數。當所有的shared_ptr都析構了,不再指向該資源時,該資源會被銷毀,同時對應的所有weak_ptr都會變成nullptr,這時我們就可以利用expired()方法來判斷這個weak_ptr是否已經失效。

我們可以通過weak_ptrlock()方法來獲得一個指向共用對象的shared_ptr。如果weak_ptr已經失效,lock()方法將返回一個空的shared_ptr

下麵是weak_ptr的基本使用示例:

#include <iostream>
#include <memory>

int main() {
    std::shared_ptr<int> sp = std::make_shared<int>(42);
    // 創建shared_ptr對應的weak_ptr指針
    std::weak_ptr<int> wp(sp);

	// 通過lock創建一個對應的shared_ptr
    if (auto p = wp.lock()) {
        std::cout << "shared_ptr value: " << *p << std::endl;
        std::cout << "shared_ptr use_count: " << p.use_count() << std::endl;
    } else {
        std::cout << "wp is expired" << std::endl;
    }

	// 釋放shared_ptr指向的資源,此時weak_ptr失效
    sp.reset();
    std::cout << "wp is expired: " <<  wp.expired() << std::endl;
    return 0;
}

代碼輸出如下

shared_ptr value: 42
shared_ptr use_count: 2
wp is expired: 1

回到shared_ptr的迴圈引用問題,利用weak_ptr不會增加shared_ptr的引用計數的特點,我們將Node.next的類型改為weak_ptr, 避免node1和node2互相迴圈引用。修改後代碼如下

```cpp
struct Node { 
	std::weak_ptr<Node> next; 
};

int main() {
	std::shared_ptr<Node> node1(new Node);
	std::shared_ptr<Node> node2(new Node); 
	node1->next = std::weak_ptr<Node>(node2); 
	node2->next = std::weak_ptr<Node>(node1); ;
}

避免裸指針與shared_ptr混用

先看看以下代碼

int* q = new int(9);
{
	std::shared_ptr<int> p(new int(10));
	...
	q = p.get();
}
std::cout << *q << std::endl;

get函數返回 std::shared_ptr 所持有的指針,但是不會增加引用計數。所以在shared_ptr析構時,將該指針指向的對象給釋放掉了,導致指針q變成一個懸空指針。

避免一個原始指針初始化多個shared_ptr

int* p = new int(10);
std::shared_ptr<int> ptr1(p);
// error: 兩個shared_ptr指向同一個資源,會導致重覆釋放
std::shared_ptr<int> ptr2(p);

總結

避免手動管理記憶體帶來的繁瑣和容易出錯的問題。我們今天介紹了三種智能指針:unique_ptrshared_ptrweak_ptr
每種智能指針都有各自的使用場景。unique_ptr用於管理獨占式所有權的對象,它不能拷貝但可以移動,是最輕量級和最快的智能指針。shared_ptr用於管理多個對象共用所有權的情況,它可以拷貝和移動。weak_ptr則是用來解決shared_ptr迴圈引用的問題。

下一節,我們將自己動手,從零實現一個C++智能指針。敬請期待


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 在上一篇博客中,我們介紹了用Python對來實現一個Scheme求值器。然而,我們跳過了部分特殊形式(special forms)和基本過程(primitive procedures)實現的介紹,如特殊形式中的delay、cons-stream,基本過程中的force、streawn-car、str... ...
  • ## 1.自定義starter的作用 在我們的日常開發工作中,經常會有一些獨立於業務之外的配置模塊,比如阿裡雲oss存儲的時候,我們需要一個工具類進行文件上傳。我們經常將其放到一個特定的包下,然後如果另一個工程需要復用這塊功能的時候,需要將代碼硬拷貝到另一個工程,重新集成一遍,這樣會非常麻煩。如果我 ...
  • # 使用 Async Rust 構建簡單的 P2P 節點 ### P2P 簡介 - P2P:peer-to-peer - P2P 是一種網路技術,可以在不同的電腦之間共用各種計算資源,如 CPU、網路帶寬和存儲。 - P2P 是當今用戶線上共用文件(如音樂、圖像和其他數字媒體)的一種非常常用的方法 ...
  • ## 1.1 為什麼要學 Qt Qt是一個跨平臺的 C++ 圖形用戶界面應用程式框架 Qt 為應用程式開發者提供建立藝術級圖形界面所需的所有功能 Qt 是完全面向對象的,很容易擴展,並且允許真正的組件編程 (1)Qt 發展史 在講解學習 Qt 的必要性之前, 先來瞭解下 Qt 的發展歷史: 1991 ...
  • 用go設計開發一個自己的輕量級登錄庫/框架吧(拓展篇),給自己的庫/框架拓展一下吧,主庫:https://github.com/weloe/token-go ...
  • ### 1.0 匿名對象的基本知識 * 匿名對象 顧名思義,匿名對象指的就是沒有名字的對象,在使用中理解為實例化一個類對象,但是並不把它賦給一個對應的類變數,而是直接使用。在理解匿名對象前,我們先創建一個類便於後面的使用。 * 匿名對象具有以下特征: 語法上:只創建對象,但不用變數來接收,例如:假設 ...
  • Groovy是一種基於Java平臺的動態編程語言,它結合了Python、Ruby和Smalltalk等語言的特性,同時與Java無縫集成。 ...
  • 從 JDK7 開始,引入了表示非同步通道的 `AsynchronousSockerChannel` 類和 `AsynchronousServerSocketChannel` 類,這兩個類的作用與 `SocketChannel` 類和 `ServerSockelChannel` 相似,區別在於非同步通道的 ...
一周排行
    -Advertisement-
    Play Games
  • Timer是什麼 Timer 是一種用於創建定期粒度行為的機制。 與標準的 .NET System.Threading.Timer 類相似,Orleans 的 Timer 允許在一段時間後執行特定的操作,或者在特定的時間間隔內重覆執行操作。 它在分散式系統中具有重要作用,特別是在處理需要周期性執行的 ...
  • 前言 相信很多做WPF開發的小伙伴都遇到過表格類的需求,雖然現有的Grid控制項也能實現,但是使用起來的體驗感並不好,比如要實現一個Excel中的表格效果,估計你能想到的第一個方法就是套Border控制項,用這種方法你需要控制每個Border的邊框,並且在一堆Bordr中找到Grid.Row,Grid. ...
  • .NET C#程式啟動閃退,目錄導致的問題 這是第2次踩這個坑了,很小的編程細節,容易忽略,所以寫個博客,分享給大家。 1.第一次坑:是windows 系統把程式運行成服務,找不到配置文件,原因是以服務運行它的工作目錄是在C:\Windows\System32 2.本次坑:WPF桌面程式通過註冊表設 ...
  • 在分散式系統中,數據的持久化是至關重要的一環。 Orleans 7 引入了強大的持久化功能,使得在分散式環境下管理數據變得更加輕鬆和可靠。 本文將介紹什麼是 Orleans 7 的持久化,如何設置它以及相應的代碼示例。 什麼是 Orleans 7 的持久化? Orleans 7 的持久化是指將 Or ...
  • 前言 .NET Feature Management 是一個用於管理應用程式功能的庫,它可以幫助開發人員在應用程式中輕鬆地添加、移除和管理功能。使用 Feature Management,開發人員可以根據不同用戶、環境或其他條件來動態地控制應用程式中的功能。這使得開發人員可以更靈活地管理應用程式的功 ...
  • 在 WPF 應用程式中,拖放操作是實現用戶交互的重要組成部分。通過拖放操作,用戶可以輕鬆地將數據從一個位置移動到另一個位置,或者將控制項從一個容器移動到另一個容器。然而,WPF 中預設的拖放操作可能並不是那麼好用。為瞭解決這個問題,我們可以自定義一個 Panel 來實現更簡單的拖拽操作。 自定義 Pa ...
  • 在實際使用中,由於涉及到不同編程語言之間互相調用,導致C++ 中的OpenCV與C#中的OpenCvSharp 圖像數據在不同編程語言之間難以有效傳遞。在本文中我們將結合OpenCvSharp源碼實現原理,探究兩種數據之間的通信方式。 ...
  • 一、前言 這是一篇搭建許可權管理系統的系列文章。 隨著網路的發展,信息安全對應任何企業來說都越發的重要,而本系列文章將和大家一起一步一步搭建一個全新的許可權管理系統。 說明:由於搭建一個全新的項目過於繁瑣,所有作者將挑選核心代碼和核心思路進行分享。 二、技術選擇 三、開始設計 1、自主搭建vue前端和. ...
  • Csharper中的表達式樹 這節課來瞭解一下表示式樹是什麼? 在C#中,表達式樹是一種數據結構,它可以表示一些代碼塊,如Lambda表達式或查詢表達式。表達式樹使你能夠查看和操作數據,就像你可以查看和操作代碼一樣。它們通常用於創建動態查詢和解析表達式。 一、認識表達式樹 為什麼要這樣說?它和委托有 ...
  • 在使用Django等框架來操作MySQL時,實際上底層還是通過Python來操作的,首先需要安裝一個驅動程式,在Python3中,驅動程式有多種選擇,比如有pymysql以及mysqlclient等。使用pip命令安裝mysqlclient失敗應如何解決? 安裝的python版本說明 機器同時安裝了 ...