定位new表達式與顯式調用析構函數

来源:https://www.cnblogs.com/jerry-fuyi/archive/2020/04/20/12741310.html
-Advertisement-
Play Games

C++的核心理念之一是RAII,Resource Acquisition Is Initialization,資源獲取即初始化。資源有很多種,記憶體、互斥鎖、文件、套接字等;RAII可以用來實現一種與作用域綁定的資源管理方法(如 );這些都不在本文的討論範圍之內。 記憶體是一種資源。從字面上來看,“資源 ...


C++的核心理念之一是RAII,Resource Acquisition Is Initialization,資源獲取即初始化。資源有很多種,記憶體、互斥鎖、文件、套接字等;RAII可以用來實現一種與作用域綁定的資源管理方法(如std::lock_guard);這些都不在本文的討論範圍之內。

記憶體是一種資源。從字面上來看,“資源獲取”是指在棧或堆上開闢空間,“初始化”是指調用構造函數,“即”的意思是兩者是綁定起來的。對應地,資源銷毀即釋放。這種機制保證了任何函數訪問參數對象時不會訪問到非法地址,除了構造和析構函數以外的任何函數的參數都不會是未初始化的。

然而,C++作為能夠面向底層的語言,允許我們把記憶體獲取與初始化分開來:std::mallocstd::free用於分配和釋放記憶體,定位new表達式和析構函數的顯式調用用於初始化和銷毀對象。

malloc與free

std::malloc用於分配記憶體,std::free用於釋放記憶體,兩者都定義在<cstdlib>中:

void* malloc(std::size_t size);
void free(void* ptr);

比如,我想要分配一個int的動態記憶體,就應該給size填上sizeof(int),返回值就是指向那個int的指針。如果是數組,就給size乘上元素個數。註意在C++中,從void*T*的轉換不能是隱式的。

要回收它,把指針傳給free,不需要size

#include <iostream>
#include <cstdlib>

int main()
{
    auto p = static_cast<int*>(std::malloc(sizeof(int) * 10));
    p[0] = 1;
    p[1] = 2;
    std::cout << p[0] << ' ' << p[1] << std::endl;
    std::free(p);
}

如果std::malloc過程中發生了錯誤,比如記憶體不足,std::malloc會返回NULLnullptr的前身。實際使用時都應該考慮這種情況。

std::malloc得到的記憶體必須用free釋放。std::malloc/std::free的記憶體分配與new/delete不互通。

定位new表達式

std::malloc分配的記憶體是未經初始化的,對於int等內置類型可以直接使用,而類類型則未必,需要先初始化才能使用。

我們知道,類的非靜態成員函數都有一個隱式的this指針作為參數,構造函數也不例外,在未初始化的記憶體上構造對象,就是把這塊記憶體的指針作為this傳入構造函數。不幸的是,沒有顯式調用構造函數這種語法:

auto ptr = static_cast<A*>(std::malloc(sizeof(A)));
ptr->A("hello"); // error

(在MSVC中,ptr->A::A("hello");是合法的,但這是非標準的。)

我們需要定位new,它定義在<new>中,需要#include以後才能使用:

void* operator new(std::size_t, void*);

new運算符是可以重載的,new運算符的功能是為new表達式中的構造函數提供this指針。但是定位new不行,它總是忠實地返回它的第二個參數。

定位new表達式有以下形式:

new (ptr) Type;
new (ptr) Type(args);
new (ptr) Type[size];
new (ptr) Type[size]{list};

ptr為要當作this的指針,Type為要構造的類型,args為可能為空的參數列表,size為數組大小(可以動態),list為數組元素列表。

利用定位new,把ptr作為this的構造函數可以這樣調用:

#include <iostream>
#include <cstdlib>
#include <string>
#include <utility>

class A
{
public:
    A(std::string s) : string(std::move(s))
    {
        std::cout << "A::A(std::string)" << std::endl;
    }
    std::string& get()
    {
        return string;
    }
private:
    std::string string;
};

int main()
{
    auto ptr = static_cast<A*>(std::malloc(sizeof(A)));
//  std::cout << ptr->get() << std::endl; // disaster
//  ptr->A("hello");                      // error
    new (ptr) A("hello");
    std::cout << ptr->get() << std::endl;
//  delete ptr;                           // disaster
    // what's next?
}

不要因為ptr簡單就不加括弧,括弧不是為了什麼運算符優先順序,而是定位new表達式的一部分。

剛纔不是說std::mallocnew不互通嗎?怎麼在std::malloc來的ptr上用定位new了呢?因為定位new根本不插手記憶體分配,和std::malloc是兩回事。

定位new不止可以用於std::malloc來的動態記憶體,甚至可以是局部變數:

char buffer[sizeof(A)];
auto ptr = new (buffer) A("hello");
std::cout << ptr->get() << std::endl;

與常規的new一樣,定位new表達式也返回一個指針,就是Type*類型的ptr

顯式調用析構函數

上面通過std::malloc得到的ptr,為什麼不能直接std::free呢?因為std::string裡面的資源還沒釋放,正確的做法是調用A的析構函數。

不能對一個對象調用構造函數,那麼析構函數呢?答案是肯定的。只是~在形式上有點怪,尤其是當你把模板參數T換成int後得到ptr->~int()時,後者直接寫是不合法的。

所以對於上面的ptr,要這樣才能釋放所有資源:

ptr->~A();
std::free(ptr);

顯式調用析構函數,就像在幫編譯器做事情一樣。編譯器會不會領情呢?寫個代碼測試一下吧:

#include <iostream>
#include <string>
#include <utility>

class A
{
public:
    A(std::string s) : string(std::move(s))
    {
        std::cout << "A::A(std::string)" << std::endl;
    }
    std::string& get()
    {
        std::cout << "A::get()" << std::endl;
        return string;
    }
    ~A()
    {
        std::cout << "A::~A()" << std::endl;
    }
private:
    std::string string;
};

int main()
{
    {
        A a("");
        a.~A();
    }
    std::cout << "I'm OK" << std::endl;
}

程式輸出:

A::A(std::string)
A::~A()
A::~A()
I'm OK

看來編譯器並不領情,即使我們調用了析構函數,變數離開作用域時還會再調用一次。儘管在MSVC和GCC中,I'm OK都成功輸出了,std::string都挺住了錯誤的析構,但是這個程式的行為仍然是未定義的。

因此,定位new語句與析構函數的顯式調用必須配對。


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

-Advertisement-
Play Games
更多相關文章
  • 前言 本文作為入門級的DEMO,完全按照官網實例演示; 項目目錄結構 Maven 依賴 前端頁面 home.html 前端頁面 login.html 前端頁面 hello.html 啟動程式 Application.java HomeController.java Web安全配置 WebSecuri ...
  • 生活中,我們需要掌控自己的時間,減少加班,提高效率;日常開發中,我們需要操作時間API,保證效率、安全、穩定。現在都2020年了,瞭解如何在JDK8及以後的版本中更好地操控時間就很有必要,尤其是一次線上BUG的發生,讓小明更是深有體會。 背景 在 Java8 以前,每每操控時間,我們經常使用的類庫就 ...
  • 最近遇到兩個編譯問題,著實費了一番功夫。 container_of 問題 我在一個地方,定義了container_of的巨集,卻屢次出現編譯錯誤 巨集定義如下: 報錯如下: 一開始谷歌連不上,用百度查出來的資料都是說.h文件包含有問題,不過我仔細檢查了我的文件包含,並沒有問題。 後來谷歌可以了,搜索後在 ...
  • max-http-header-size設置 server.max-http-header-size=999999999 //953m JVM參數配置 -Xms800m -Xmx800m 寫一個rest api @RestController("action") public class HttpH ...
  • 版權申明:本文為博主窗戶(Colin Cai)原創,歡迎轉帖。如要轉貼,必須註明原文網址 http://www.cnblogs.com/Colin-Cai/p/12741423.html 作者:窗戶 QQ/微信:6679072 E-mail:[email protected] 有的時候,我們在寫Pytho ...
  • 在讀取txt文件時遇到IndexError: list index out of range如下圖: 加入如下代碼,檢查原因: 已經知道rows一共有20662行,往下翻結果,還是報錯了: 意味著在讀取rows的第9411行時出錯了,這意味在9411可能存在list[index]的index超出範圍 ...
  • 題目:用*號輸出字母C的圖案。 程式分析:可先用'*'號在紙上寫出字母C,再分行輸出。 程式源代碼: 1 #include "stdio.h" 2 int main() 3 { 4 printf("用 * 號輸出字母 C!\n"); 5 printf(" ****\n"); 6 printf(" * ...
  • datetime.date()方法 用法:targetDay = datetime.date(year, month, day),傳入年月日,返回一個date類型的時間 date類型的對象的方法 1. targetDay.year # 返回targetDay年份 2. targetDay.month ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...