C 關鍵字mutable和volatile

2021-08-07 13:04:29 字數 3527 閱讀 6364

很少遇到這兩個關鍵字,學嵌入式估計知道後者,深入研究 c++ 的估計知道前者。

(1)mutable

在 c++ 中,mutable 是為了突破 const 的限制而設定的。被 mutable 修飾的變數,將永遠處於可變的狀態,即使在乙個 const 函式中,甚至結構體變數或者類物件為 const,其 mutable 成員也可以被修改。

[cpp]view plain

copy

print

?

struct  st  

;  const st st=;  

st.a=11;//編譯錯誤

st.b=22;//允許

mutable 在類中只能夠修飾非靜態資料成員。mutable 資料成員的使用看上去像是騙術,因為它能夠使 const 函式修改物件的資料成員。然而,明智地使用 mutable 關鍵字可以提高**質量,因為它能夠讓你向使用者隱藏實現細節,而無須使用不確定的東西。我們知道,如果類的成員函式不會改變物件的狀態,那麼這個成員函式一般會宣告成 const 的。但是,有些時候,我們需要在 const 的函式裡面修改一些跟類狀態無關的資料成員,那麼這個資料成員就應該被 mutalbe 來修飾。

[cpp]view plain

copy

print

?

class  st  

;  st::show()    

const 承諾的是一旦某個變數被其修飾,那麼只要不使用強制轉換 (const_cast),在任何情況下該變數的值都不會被改變,無論有意還是無意,而被 const 修飾的函式也一樣,一旦某個函式被 const 修飾,那麼它便不能直接或間接改變任何函式體以外的變數的值,即使是呼叫乙個可能造成這種改變的函式都不行。這種承諾在語法上也作出嚴格的保證,任何可能違反這種承諾的行為都會被編譯器檢查出來。

mutable 的承諾是如果某個變數被其修飾,那麼這個變數將永遠處於可變的狀態,即使在乙個 const 函式中。這與 const 形成了乙個對稱的定義,乙個永遠不變,而另外乙個是永遠可變。

看乙個變數或函式是否應該是 const,只需看它是否應該是 constant 或 invariant,而看乙個變數是否應該是 mutable,也只需看它是否是 forever mutative。

這裡出現了令人糾結的 3 個問題:

1、為什麼要保護類的成員變數不被修改?

2、為什麼用 const 保護了成員變數,還要再定義乙個 mutable 關鍵字來突破 const 的封鎖線?

3、到底有沒有必要使用 const 和 mutable 這兩個關鍵字?

保護類的成員變數不在成員函式中被修改,是為了保證模型的邏輯正確,通過用 const 關鍵字來避免在函式中錯誤的修改了類物件的狀態。並且在所有使用該成員函式的地方都可以更準確的**到使用該成員函式的帶來的影響。而 mutable 則是為了能突破 const 的封鎖線,讓類的一些次要的或者是輔助性的成員變數隨時可以被更改。沒有使用 const 和 mutable 關鍵字當然沒有錯,const 和 mutable 關鍵字只是給了建模工具更多的設計約束和設計靈活性,而且程式設計師也可以把更多的邏輯檢查問題交給編譯器和建模工具去做,從而減輕程式設計師的負擔。

像 const 一樣,volatile 是乙個型別修飾符。volatile 修飾的資料,編譯器不可對其進行執行期寄存於暫存器的優化。這種特性,是為了滿足多執行緒同步、中斷、硬體程式設計等特殊需要。遇到這個關鍵字宣告的變數,編譯器對訪問該變數的**就不再進行優化,從而可以提供對特殊位址的直接訪問。

volatile 原意是「易變的」,但這種解釋簡直有點誤導人,應該解釋為 「直接訪問原始記憶體位址」 比較合適。「易變」 是相對與普通變數而言其值存在編譯器(優化功能)未知的改變情況(即不是通過執行**賦值改變其值的情況),而是因外在因素引起的,如多執行緒,中斷等。編譯器進行優化時,它有時會取一些值的時候,直接從暫存器裡進行訪問,而不是從記憶體中獲取,這種優化在單執行緒的程式中沒有問題,但到了多執行緒程式中,由於多個執行緒是併發執行的,就有可能乙個執行緒把某個公共的變數已經改變了,這時其餘執行緒中暫存器的值已經過時,但這個執行緒本身還不知道,以為沒有改變,仍從暫存器裡獲取,就導致程式執行會出現未定義的行為。並不是因為用 volatile 修飾了的變數就是「易變」了,假如沒有外因,即使用 volatile 定義,它也不會變化。而加了 volatile 修飾的變數,編譯器將不對其相關**執行優化,而是生成對應**直接訪問原始記憶體位址。

一般說來,volatile 用在如下的幾個地方:

1、中斷服務程式中修改的供其它程式檢測的變數需要加 volatile;

2、多工環境下各任務間共享的標誌應該加 volatile;

3、儲存器對映的硬體暫存器通常也要加 volatile 說明,因為每次對它的讀寫都可能有不同意義;

使用該關鍵字的例子如下:

[cpp]view plain

copy

print

?

volatile

int i=10;  

int a = i;  

…  //其他**,並未明確告訴編譯器,對i進行過操作

int b = i;  

volatile 指出 i 是隨時可能發生變化的,每次使用它的時候必須從i的位址中讀取,因而編譯器生成的彙編**會重新從 i 的位址讀取資料放在 b 中。而優化做法是,由於編譯器發現兩次從 i 讀資料的**之間的**沒有對 i 進行過操作,它會自動把上次讀的資料(即10)放在 b 中,而不是重新從 i 裡面讀。這樣以來,如果 i 是乙個暫存器變數或者表示乙個埠資料就容易出錯,所以說 volatile 可以保證對特殊位址的直接訪問。

[html]view plain

copy

print

?

//addr為volatile變數  

addr=0x57;   

addr=0x58;  

如果上述兩條語句是對外部硬體執行不同的操作,那麼編譯器就不能像對待普通的程式那樣對上述語句進行優化只認為 「addr=0x58;」 而忽略第一條語句(即只產生一條機器**),此時編譯器會逐一的進行編譯並產生相應的機器**(兩條)。

volatile 總是與優化有關,編譯器有一種技術叫做資料流分析,分析程式中的變數在**賦值、在**使用、在**失效,分析結果可以用於常量合併,常量傳播等優化,進一步可以死**消除。但有時這些優化不是程式所需要的,這時可以用 volatile 關鍵字禁止做這些優化,它有下面的作用:

1、不會在兩個操作之間把 volatile 變數快取在暫存器中。在多工、中斷等環境下,變數可能被其他的程式改變,編譯器自己無法知道,volatile 就是告訴編譯器這種情況。

2、不做常量合併、常量傳播等優化,所以像下面的**,if的條件不會當作無條件真。 

[cpp]view plain

copy

print

?

volatile

int i = 1;   

if (i > 0)  

…   

[1] 《c/c++要點全掌握(五)——mutable、volatile》

c 中mutable關鍵字

mutalbe的中文意思是 可變的,易變的 跟constant 既c 中的const 是反義詞。在c 中,mutable也是為了突破const的限制而設定的。被mutable修飾的變數,將永遠處於可變的狀態,即使在乙個const函式中。我們知道,如果類的成員函式不會改變物件的狀態,那麼這個成員函式一...

c 關鍵字mutable作用

在 c 中,mutable 是為了突破 const 的限制而設定的。被 mutable 修飾的變數,將永遠處於可變的狀態,即使在乙個 const 函式中,甚至結構體變數或者類物件為 const,其 mutable 成員也可以被修改。struct test const struct test test...

C 中關鍵字mutable

c 中的關鍵字mutable翻譯出來是 易變的。其可以看做是const的反義詞,作用也是反向於const的。當用const修飾類物件時 常物件 代表著其值是不能修改的。但我們也許會在某些時刻需要一種可以在常物件內可修改的變數。這時我們就需要了關鍵字mutable。型如 mutable 變數型別 變數...