主頁 > 後端開發 > c++智能指標的使用,shared_ptr,unique_ptr,weak_ptr

c++智能指標的使用,shared_ptr,unique_ptr,weak_ptr

2022-01-17 16:32:58 後端開發

c++智能指標的使用

官方參考

普通指標的煩惱:記憶體泄漏,多次釋放,提前釋放

智能指標 負責自動釋放所指向的物件,

三種智能指標 shared_ptr,unique_ptr,weak_ptr;

將shared_ptr存放在一個容器中,不再需要它的時候,要erase掉,

allocator負責封裝堆記憶體管理的物件,它們在整個標準庫中使用,特別是STL容器使用它們來管理容器內部的所有記憶體分配,大部份情況下,程式員不用理會,標準容器使用默認的分配器稱為std :: allocator,

shared_ptr

shared_ptr

多個指標指向相同的物件;

使用參考計數,參考計數是執行緒安全的,但是物件的讀寫需要加鎖,

不可以直接將指標直接賦值給一個智能指標,因為指標指標是一個類,

get獲取原始指標

最大的陷阱就是回圈參考,這會導致記憶體無法正確釋放,導致記憶體泄漏

#include <iostream>
#include <memory>
#include <thread>
#include <chrono>
#include <mutex>
 
struct Base
{
    Base() { std::cout << "  Base::Base()\n"; }
    // 注意:此處非虛解構式 OK
    ~Base() { std::cout << "  Base::~Base()\n"; }
};
 
struct Derived: public Base
{
    Derived() { std::cout << "  Derived::Derived()\n"; }
    ~Derived() { std::cout << "  Derived::~Derived()\n"; }
};
 
void thr(std::shared_ptr<Base> p)
{
    std::this_thread::sleep_for(std::chrono::seconds(1));
    std::shared_ptr<Base> lp = p; // 執行緒安全,雖然自增共享的 use_count
    {
        static std::mutex io_mutex;
        std::lock_guard<std::mutex> lk(io_mutex);
        std::cout << "local pointer in a thread:\n"
                  << "  lp.get() = " << lp.get()
                  << ", lp.use_count() = " << lp.use_count() << '\n';
    }
}
 
int main()
{
    std::shared_ptr<Base> p = std::make_shared<Derived>();
 
    std::cout << "Created a shared Derived (as a pointer to Base)\n"
              << "  p.get() = " << p.get()
              << ", p.use_count() = " << p.use_count() << '\n';
    std::thread t1(thr, p), t2(thr, p), t3(thr, p);
    p.reset(); // 從 main 釋放所有權
    std::cout << "Shared ownership between 3 threads and released\n"
              << "ownership from main:\n"
              << "  p.get() = " << p.get()
              << ", p.use_count() = " << p.use_count() << '\n';
    t1.join(); t2.join(); t3.join();
    std::cout << "All threads completed, the last one deleted Derived\n";
}

可能的輸出:

Base::Base()
  Derived::Derived()
Created a shared Derived (as a pointer to Base)
  p.get() = 0x2299b30, p.use_count() = 1
Shared ownership between 3 threads and released
ownership from main:
  p.get() = 0, p.use_count() = 0
local pointer in a thread:
  lp.get() = 0x2299b30, lp.use_count() = 5
local pointer in a thread:
  lp.get() = 0x2299b30, lp.use_count() = 3
local pointer in a thread:
  lp.get() = 0x2299b30, lp.use_count() = 2
  Derived::~Derived()
  Base::~Base()
All threads completed, the last one deleted Derived

weak_ptr

是為了配合shared_ptr而引入的一種智能指標,沒有多載operator*和->,它的最大作用在于協助shared_ptr作業,像旁觀者那樣觀測資源的使用情況,

weak_ptr可以從一個shared_ptr或者另一個weak_ptr物件構造,獲得資源的觀測權,但weak_ptr沒有共享資源,它的構造不會引起指標參考計數的增加,

成員函式expired()的功能等價于use_count()==0,

weak_ptr可以使用一個非常重要的成員函式lock()從被觀測的shared_ptr獲得一個可用的shared_ptr物件

#include <iostream>
#include <memory>
 
std::weak_ptr<int> gw;
 
void observe()
{
    std::cout << "use_count == " << gw.use_count() << ": ";
    if (auto spt = gw.lock()) { // 使用之前必須復制到 shared_ptr
	std::cout << *spt << "\n";
    }
    else {
        std::cout << "gw is expired\n";
    }
}
 
int main()
{
    {
        auto sp = std::make_shared<int>(42);
	gw = sp;
 
	observe();
    }
 
    observe();
}

輸出:

use_count == 1: 42
use_count == 0: gw is expired

unique_ptr

unique_ptr

唯一擁有物件

通過reset方法重新指定

通過release方法釋放所有權

#include <iostream>
#include <vector>
#include <memory>
#include <cstdio>
#include <fstream>
#include <cassert>
#include <functional>
 
struct B {
  virtual void bar() { std::cout << "B::bar\n"; }
  virtual ~B() = default;//父類的解構式需要定義為虛函式,防止記憶體泄漏
};
struct D : B
{
    D() { std::cout << "D::D\n";  }
    ~D() { std::cout << "D::~D\n";  }
    void bar() override { std::cout << "D::bar\n";  }
};
 
// 消費 unique_ptr 的函式能以值或以右值參考接收它
std::unique_ptr<D> pass_through(std::unique_ptr<D> p)
{
    p->bar();
    return p;
}
 
void close_file(std::FILE* fp) { std::fclose(fp); }
 
int main()
{
  std::cout << "unique ownership semantics demo\n";
  {
      auto p = std::make_unique<D>(); // p 是占有 D 的 unique_ptr
      auto q = pass_through(std::move(p)); 
      assert(!p); // 現在 p 不占有任何內容并保有空指標
      q->bar();   // 而 q 占有 D 物件
  } // ~D 呼叫于此
 
  std::cout << "Runtime polymorphism demo\n";
  {
    std::unique_ptr<B> p = std::make_unique<D>(); // p 是占有 D 的 unique_ptr
                                                  // 作為指向基類的指標
    p->bar(); // 虛派發
 
    std::vector<std::unique_ptr<B>> v;  // unique_ptr 能存盤于容器
    v.push_back(std::make_unique<D>());
    v.push_back(std::move(p));
    v.emplace_back(new D);
    for(auto& p: v) p->bar(); // 虛派發
  } // ~D called 3 times
 
  std::cout << "Custom deleter demo\n";
  std::ofstream("demo.txt") << 'x'; // 準備要讀的檔案
  {
      std::unique_ptr<std::FILE, void (*)(std::FILE*) > fp(std::fopen("demo.txt", "r"),
                                                           close_file);
      if(fp) // fopen 可以打開失敗;該情況下 fp 保有空指標
        std::cout << (char)std::fgetc(fp.get()) << '\n';
  } // fclose() 呼叫于此,但僅若 FILE* 不是空指標
    // (即 fopen 成功)
 
  std::cout << "Custom lambda-expression deleter demo\n";
  {
    std::unique_ptr<D, std::function<void(D*)>> p(new D, [](D* ptr)
        {
            std::cout << "destroying from a custom deleter...\n";
            delete ptr;
        });  // p 占有 D
    p->bar();
  } // 呼叫上述 lambda 并銷毀 D
 
  std::cout << "Array form of unique_ptr demo\n";
  {
      std::unique_ptr<D[]> p{new D[3]};
  } // 呼叫 ~D 3 次
}

輸出:

unique ownership semantics demo
D::D
D::bar
D::bar
D::~D
Runtime polymorphism demo
D::D
D::bar
D::D
D::D
D::bar
D::bar
D::bar
D::~D
D::~D
D::~D
Custom deleter demo
x
Custom lambda-expression deleter demo
D::D
D::bar
destroying from a custom deleter...
D::~D
Array form of unique_ptr demo
D::D
D::D
D::D
D::~D
D::~D
D::~D

shared_ptr回圈參考的記憶體泄漏問題

如下物件建模——家長與子女:a Parent has a Child, a Child knowshis/her Parent,

從程式的運行中可以看到最終資源沒有得到釋放,

一個智能指標在創建一個物件的時候初始化參考計數為 1,并把自己的指標指向創建的物件,但這個參考計數在何處?在智能指標內部?非也,這個計數是一個單獨的物件來實作的,如圖1,當另外一個智能指標指向這個物件的時候,便找到與這個物件對應的計數物件,并加一個參考,即 use_count++,這樣多個智能指標物件便可以使用相同的參考計數,

下面程式中,當指標p釋放時,由于指標c->ParentPtr還在參考著new Child,所以這時(new Child)的use_count從2減為1,同理當指標c釋放時,由于p->ChildPtr還在參考著new Parent,所以這時(new Parent)的use_count從2減為1,最終,記憶體沒有被釋放完全,

class Child;
class Parent;

class Parent {
private:
    std::shared_ptr<Child> ChildPtr;
public:
    void setChild(std::shared_ptr<Child> child) {
        this->ChildPtr = child;
    }

    void doSomething() {
        if (this->ChildPtr.use_count()) {
        }
    }

    ~Parent() {}
};

class Child {
private:
    std::shared_ptr<Parent> ParentPtr;
public:
    void setPartent(std::shared_ptr<Parent> parent) {
        this->ParentPtr = parent;
    }
    void doSomething() {
        if (this->ParentPtr.use_count()) {
        }
    }
    ~Child() {}
};

int main() {
    std::weak_ptr<Parent> wpp;
    std::weak_ptr<Child> wpc;
    {
        std::shared_ptr<Parent> p(new Parent);
        std::shared_ptr<Child> c(new Child);
        std::cout << "p.use_count() = " << p.use_count() << std::endl; 
        std::cout << "c.use_count() = " << c.use_count() << std::endl;
        p->setChild(c);
        c->setPartent(p);
        std::cout << "p.use_count() = " << p.use_count() << std::endl; 
        std::cout << "c.use_count() = " << c.use_count() << std::endl;
        wpp = p;
        wpc = c;

        std::cout << "p.use_count() = " << p.use_count() << std::endl; // 2
        std::cout << "c.use_count() = " << c.use_count() << std::endl; // 2
        cout<<endl;

    }
        std::cout << "p.use_count() = " << wpp.use_count() << std::endl;  // 1
        std::cout << "c.use_count() = " << wpc.use_count() << std::endl;  // 1
    return 0;
}

運行結果

p.use_count() = 1
c.use_count() = 1
p.use_count() = 2
c.use_count() = 2
p.use_count() = 2
c.use_count() = 2

p.use_count() = 1
c.use_count() = 1

shared_ptr回圈參考的記憶體泄漏問題解決

如下,在兩個需要互相參考的類的內部,使用weak_ptr智能指標參考對方,來避免回圈參考導致的記憶體泄漏問題,

#include <iostream>
#include <memory>

class Child;
class Parent;

class Parent {
private:
    //std::shared_ptr<Child> ChildPtr;
    std::weak_ptr<Child> ChildPtr;
public:
    void setChild(std::shared_ptr<Child> child) {
        this->ChildPtr = child;
    }

    void doSomething() {
        //new shared_ptr
        if (this->ChildPtr.lock()) {

        }
    }

    ~Parent() {
    }
};

class Child {
private:
    std::shared_ptr<Parent> ParentPtr;
public:
    void setPartent(std::shared_ptr<Parent> parent) {
        this->ParentPtr = parent;
    }
    void doSomething() {
        if (this->ParentPtr.use_count()) {

        }
    }
    ~Child() {
    }
};

int main() {
    std::weak_ptr<Parent> wpp;
    std::weak_ptr<Child> wpc;
    {
        std::shared_ptr<Parent> p(new Parent);
        std::shared_ptr<Child> c(new Child);
        p->setChild(c);
        c->setPartent(p);
        wpp = p;
        wpc = c;
        std::cout << p.use_count() << std::endl; // 2
        std::cout << c.use_count() << std::endl; // 1
    }
    std::cout << wpp.use_count() << std::endl;  // 0
    std::cout << wpc.use_count() << std::endl;  // 0
    return 0;
}

運行結果

2100

更多編程資料詳見公眾號 xutopia77

轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/412828.html

標籤:C++

上一篇:番外-->資料在計算機的存盤

下一篇:返回列表

標籤雲
其他(135044) Python(24150) JavaScript(15057) Java(14639) C(11116) 區塊鏈(8180) AI(6829) 基礎類(6313) MySQL(5210) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4189) Linux(4108) PHP(3814) C#(3716) 爪哇(3561) html(3374) C語言(3288) C++語言(3117) sql(3024) R(2776) 熊猫(2774) Java相關(2746) 数组(2739) 疑難問題(2699) 反应(2482) 單片機工控(2479) css(2105) 数据框(1968) Web開發(1951) 节点.js(1938) VBA(1919) 網絡通信(1793) 蟒蛇-3.x(1774) 數據庫相關(1767) VB基礎類(1755) .NETCore(1664) ASP.NET(1648) 開發(1646) 系統維護與使用區(1617) 列表(1581) 基礎和管理(1579) C++(1574) json(1568) JavaEE(1566) 安卓(1523) 專題技術討論區(1515) HtmlCss(1500) Windows客戶端使用(1484) 扑(1469) iOS(1430) 查询(1408) 打字稿(1376) .NET技术(1366) Unity3D(1366) VCL組件開發及應用(1353) sql-server(1287) Qt(1283) 细绳(1226) HTML(CSS)(1220)

熱門瀏覽
  • 【C++】Microsoft C++、C 和匯編程式檔案

    ......

    uj5u.com 2020-09-10 00:57:23 more
  • 例外宣告

    相比于斷言適用于排除邏輯上不可能存在的狀態,例外通常是用于邏輯上可能發生的錯誤。 例外宣告 Item 1:當函式不可能拋出例外或不能接受拋出例外時,使用noexcept 理由 如果不打算拋出例外的話,程式就會認為無法處理這種錯誤,并且應當盡早終止,如此可以有效地阻止例外的傳播與擴散。 示例 //不可 ......

    uj5u.com 2020-09-10 00:57:27 more
  • Codeforces 1400E Clear the Multiset(貪心 + 分治)

    鏈接:https://codeforces.com/problemset/problem/1400/E 來源:Codeforces 思路:給你一個陣列,現在你可以進行兩種操作,操作1:將一段沒有 0 的區間進行減一的操作,操作2:將 i 位置上的元素歸零。最終問:將這個陣列的全部元素歸零后操作的最少 ......

    uj5u.com 2020-09-10 00:57:30 more
  • UVA11610 【Reverse Prime】

    本人看到此題沒有翻譯,就附帶了一個自己的翻譯版本 思考 這一題,它的第一個要求是找出所有 $7$ 位反向質數及其質因數的個數。 我們應該需要質數篩篩選1~$10^{7}$的所有數,這里就不慢慢介紹了。但是,重讀題,我們突然發現反向質數都是 $7$ 位,而將它反過來后的數字卻是 $6$ 位數,這就說明 ......

    uj5u.com 2020-09-10 00:57:36 more
  • 統計區間素數數量

    1 #pragma GCC optimize(2) 2 #include <bits/stdc++.h> 3 using namespace std; 4 bool isprime[1000000010]; 5 vector<int> prime; 6 inline int getlist(int ......

    uj5u.com 2020-09-10 00:57:47 more
  • C/C++編程筆記:C++中的 const 變數詳解,教你正確認識const用法

    1、C中的const 1、區域const變數存放在堆疊區中,會分配記憶體(也就是說可以通過地址間接修改變數的值)。測驗代碼如下: 運行結果: 2、全域const變數存放在只讀資料段(不能通過地址修改,會發生寫入錯誤), 默認為外部聯編,可以給其他源檔案使用(需要用extern關鍵字修飾) 運行結果: ......

    uj5u.com 2020-09-10 00:58:04 more
  • 【C++犯錯記錄】VS2019 MFC添加資源不懂如何修改資源宏ID

    1. 首先在資源視圖中,添加資源 2. 點擊新添加的資源,復制自動生成的ID 3. 在解決方案資源管理器中找到Resource.h檔案,編輯,使用整個專案搜索和替換的方式快速替換 宏宣告 4. Ctrl+Shift+F 全域搜索,點擊查找全部,然后逐個替換 5. 為什么使用搜索替換而不使用屬性視窗直 ......

    uj5u.com 2020-09-10 00:59:11 more
  • 【C++犯錯記錄】VS2019 MFC不懂的批量添加資源

    1. 打開資源頭檔案Resource.h,在其中預先定義好宏 ID(不清楚其實ID值應該設定多少,可以先新建一個相同的資源項,再在這個資源的ID值的基礎上遞增即可) 2. 在資源視圖中選中專案資源,按F7編輯資源檔案,按 ID 型別 相對路徑的形式添加 資源。(別忘了先把檔案拷貝到專案中的res檔案 ......

    uj5u.com 2020-09-10 01:00:19 more
  • C/C++編程筆記:關于C++的參考型別,專供新手入門使用

    今天要講的是C++中我最喜歡的一個用法——參考,也叫別名。 參考就是給一個變數名取一個變數名,方便我們間接地使用這個變數。我們可以給一個變數創建N個參考,這N + 1個變數共享了同一塊記憶體區域。(參考型別的變數會占用記憶體空間,占用的記憶體空間的大小和指標型別的大小是相同的。雖然參考是一個物件的別名,但 ......

    uj5u.com 2020-09-10 01:00:22 more
  • 【C/C++編程筆記】從頭開始學習C ++:初學者完整指南

    眾所周知,C ++的學習曲線陡峭,但是花時間學習這種語言將為您的職業帶來奇跡,并使您與其他開發人員區分開。您會更輕松地學習新語言,形成真正的解決問題的技能,并在編程的基礎上打下堅實的基礎。 C ++將幫助您養成良好的編程習慣(即清晰一致的編碼風格,在撰寫代碼時注釋代碼,并限制類內部的可見性),并且由 ......

    uj5u.com 2020-09-10 01:00:41 more
最新发布
  • c++智能指標的使用,shared_ptr,unique_ptr,weak_ptr

    c++智能指標的使用 官方參考 普通指標的煩惱:記憶體泄漏,多次釋放,提前釋放 智能指標 負責自動釋放所指向的物件。 三種智能指標 shared_ptr,unique_ptr,weak_ptr; 將shared_ptr存放在一個容器中,不再需要它的時候,要erase掉。 allocator負責封裝堆內 ......

    uj5u.com 2022-01-17 16:32:58 more
  • 番外-->資料在計算機的存盤

    型別,不光出現在定義變數的時候,還有使用變數的時候。 型別決定了開辟空間的大小 存的角度,定義變數時使用何種型別就代表分配給變數多大的記憶體空間,這個變數最大能擁有多少空間。 如:int a就分配給了a變數4個位元組的空間,char就是1個位元組。 看待記憶體空間的方式 取的角度,以什么樣的方式去看待空間里 ......

    uj5u.com 2022-01-17 16:32:51 more
  • c++的左值(lvalue),右值(rvalue),移動語意(move),完美轉發(forward)

    c++的左值(lvalue),右值(rvalue),移動語意(move),完美轉發(forward) c++的左值,右值 精辟總結 當一個物件被用作右值的時候,使用的是物件的值(內容);當物件被用作左值的時候,用的是物件的身份(在記憶體中的位置)左值右值,完美轉發參考檔案。 左值持久,右值短暫;mov ......

    uj5u.com 2022-01-17 16:32:10 more
  • 《C++自學入門》3.基本資料型別-3

    1.C++算術運算子 1.1 基本運算子 讀者可能還對學校里的算術練習記憶猶新,在計算機上也能夠獲得同樣的樂趣,C++使用運算子來運算。它提供了幾種運算子來完成五種基本的算術運算:加法、減法、乘法、除法以及求模。每種運算子都使用兩個值來計算結果。運算子及其運算元構成了運算式,例如:int wheel ......

    uj5u.com 2022-01-17 16:32:06 more
  • C++高并發場景下讀多寫少的優化方案

    C++高并發場景下讀多寫少的優化方案 概述 一談到高并發的優化方案,往往能想到模塊水平拆分、資料庫讀寫分離、分庫分表,加快取、加mq等,這些都是從系統架構上解決。單模塊作為系統的組成單元,其性能好壞也能很大的影響整體性能,本文從單模塊下讀多寫少的場景出發,探討其解決方案,以其更好的實作高并發。 不同 ......

    uj5u.com 2022-01-17 16:32:00 more
  • GoogleApps腳本-獲取一系列單元格而不是一個單元格

    我昨天開始使用 Google Apps 腳本,當我嘗試獲取一系列單元格而不是一個單元格時,我正在努力成功運行代碼。這是完整的代碼,如果條件為真,它將顯示一個彈出訊息:function CheckPla...

    uj5u.com 2022-01-17 12:55:30 more
  • 使用Google表格中的陣列以html格式創建資料串列,該串列可提供給Go

    幾天來,我一直在努力為我的同事構建一個簡單的界面來記錄每一次客戶互動。他們將輸入以下內容:客戶姓名(自動完成功能,來自電子表格列中所有姓名的超集)互動日期互動總結前景(熱、...

    uj5u.com 2022-01-17 12:54:16 more
  • 用于將范圍復制到另一張作業表的Google表格腳本

    我正在嘗試將一個范圍剪切并粘貼到另一張紙上以跟蹤價格歷史。我想要 B2:D2、B3:D3 等的“記錄”范圍;復制到“歷史”A3:C3、D3:F3 等。到目前為止,我想出了:function moveValu...

    uj5u.com 2022-01-17 12:50:32 more
  • text-align:center不適用于AppsScriptHTML側邊欄

    所以我正在使用 Apps 腳本在 Google 表格中制作一個 HTML 側邊欄。我也在使用 Skeleton CSS 框架。所以我希望這里的提交按鈕居中:我已經嘗試過:在 CSS 中創建一個對齊類,然后...

    uj5u.com 2022-01-17 12:49:14 more
  • TypeError:calendar.getName不是函式

    為什么我嘗試使用getname(),控制臺給我一個錯誤?var cList = CalendarApp.getAllCalendars();for (calendar in cList) { calendarList.push(calendar.getName());}
    uj5u.com...

    uj5u.com 2022-01-17 12:48:19 more