唐吉訶德

mutable關鍵字

    關鍵字mutable是C＋＋中一個不常用的關鍵字,他只能用于類的非靜態和非常量數據成員我們知道一個對象的狀態由該對象的非靜態數據成員決定,所以隨著數據成員的改變,對像的狀態也會隨之發生變化!

如果一個類的成員函數被聲明為const類型,表示該函數不會改變對象的狀態,也就是該函數不會修改類的非靜態數據成員.但是有些時候需要在該類函數中對類的數據成員進行賦值.這個時候就需要用到mutable關鍵字了

例如:

編譯上面的代碼會出現 error C2166: l-value specifies const object的錯誤說明在const類型的函數中改變了類的非靜態數據成員.這個時候需要使用mutable來修飾一下要在const成員函數中改變的非靜態數據成員

m_nAccess,代碼如下:

這樣再重新編譯的時候就不會出現錯誤了!

volatile關鍵字

volatile是c/c＋＋中一個鮮為人知的關鍵字,該關鍵字告訴編譯器不要持有變量的臨時拷貝,它可以適用于基礎類型

如：int,char,long......也適用于C的結構和C＋＋的類。當對結構或者類對象使用volatile修飾的時候，結構或者類的所有成員都會被視為volatile.使用volatile并不會否定對CRITICAL_SECTION,Mutex,Event等同步對象的需要

例如：

無論如何，總是會有一小段時間，i會被放在一個寄存器中，因為算術運算只能在寄存器中進行。一般來說，volatitle關鍵字適用于行與行之間，而不是放在行內。

我們先來實現一個簡單的函數，來觀察一下由編譯器產生出來的匯編代碼中的不足之處，并觀察volatile關鍵字如何修正這個不足之處。在這個函數體內存在一個busy loop(所謂busy loop也叫做busy waits,是一種高度浪費CPU時間的循環方法)

當你在VC開發環境中將最優化選項都關閉之后，編譯這個程序，將獲得以下結果(匯編代碼)

這段沒有優化的代碼不斷的載入適當的地址，載入地址中的內容，測試結果。效率相當的低，但是結果非常準確現在我們再來看看將編譯器的所有最優化選項開關都打開以后，重新編譯程序，生成的匯編代碼，和上面的代碼

比較一下有什么不同

從代碼的長度就可以看出來，比沒有優化的情況要短的多。需要注意的是編譯器把MOV指令放到了循環之外。這在單線程中是一個非常好的優化，但是，在多線程應用程序中，如果另一個線程改變了變量的值，則循環永遠不會結束。被測試的值永遠被放在寄存器中，所以該段代碼在多線程的情況下，存在一個巨大的BUG。解決方法是重新

寫一次getKey函數，并把參數pch聲明為volatile,代碼如下：

這次的修改對于非最優化的版本沒有任何影響，下面請看最優化后的結果：

這次的修改結果比較完美，地址不會改變，所以地址聲明被移動到循環之外。地址內容是volatile,所以每次循環之中它不斷的被重新檢查。把一個const volatile變量作為參數傳遞給函數是合法的。如此的聲明意味著函數不能改變變量的值，但是變量的值卻可以被另一個線程在任何時間改變掉。

volatile關鍵字是一種類型修飾符，用它聲明的類型變量表示可以被某些編譯器未知的因素更改，比如：操作系統、硬件或者其它線程等。遇到這個關鍵字聲明的變量，編譯器對訪問該變量的代碼就不再進行優化，從而可以提供對特殊地址的穩定訪問。

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

int volatile nVint;

　　當要求使用volatile 聲明的變量的值的時候，系統總是重新從它所在的內存讀取數據，即使它前面的指令剛剛從該處讀取過數據。而且讀取的數據立刻被保存。

例如：

volatile int i=10;
int a = i;
...
//其他代碼，并未明確告訴編譯器，對i進行過操作

int b = i;

　 　volatile 指出 i是隨時可能發生變化的，每次使用它的時候必須從i的地址中讀取，因而編譯器生成的匯編代碼會重新從i的地址讀取數據放在b中。而優化做法是，由于編譯器 發現兩次從i讀數據的代碼之間的代碼沒有對i進行過操作，它會自動把上次讀的數據放在b中。而不是重新從i里面讀。這樣以來，如果i是一個寄存器變量或者 表示一個端口數據就容易出錯，所以說volatile可以保證對特殊地址的穩定訪問。
　　注意，在vc6中，一般調試模式沒有進行代碼優化，所以這個關鍵字的作用看不出來。下面通過插入匯編代碼，測試有無volatile關鍵字，對程序最終代碼的影響：
　　首先，用classwizard建一個win32 console工程，插入一個voltest.cpp文件，輸入下面的代碼：
　

#include <stdio.h>
void main()
{
	int i=10;
	int a = i;
	
	printf("i= %d\n",a);
	//下面匯編語句的作用就是改變內存中i的值，但是又不讓編譯器知道
	__asm {
		mov dword ptr [ebp-4], 20h
	}
	
	int b = i;
	printf("i= %d\n",b);
}      

然后，在調試版本模式運行程序，輸出結果如下：

i = 10
i = 32

然后，在release版本模式運行程序，輸出結果如下：

i = 10
i = 10

輸出的結果明顯表明，release模式下，編譯器對代碼進行了優化，第二次沒有輸出正確的i值。下面，我們把 i的聲明加上volatile關鍵字，看看有什么變化：

#include <stdio.h>
void main()
{
	volatile int i=10;
	int a = i;
	
	printf("i= %d\n",a);
	__asm {
		mov dword ptr [ebp-4], 20h
	}
	
	int b = i;
	printf("i= %d\n",b);
}      

分別在調試版本和release版本運行程序，輸出都是：

i = 10
i = 32

這說明這個關鍵字發揮了它的作用！

explicit關鍵字

我們在編寫應用程序的時候explicit關鍵字基本上是很少使用,它的作用是"禁止單參數構造函數"被用于自動型別轉換,其中比較典型的例子就是容器類型,在這種類型的構造函數中你可以將初始長度作為參數傳遞給構造函數.

例如:

你可以聲明這樣一個構造函數

在這里explicit關鍵字起著至關重要的作用,如果沒有這個關鍵字的話,這個構造函數有能力將int轉換成Array.一旦這種情況發生,你可以給Array支派一個整數值而不會引起任何的問題,比如:

此時,C＋＋的自動型別轉換會把40轉換成擁有40個元素的Array,并且指派給arr變量,這個結果根本就不是我們想要的結果.如果我們將構造函數聲明為explicit,上面的賦值操作就會導致編譯器報錯,使我們可以及時發現錯誤.需要注意的是:explicit同樣也能阻止"以賦值語法進行帶有轉型操作的初始化";

例如:

看一下以下兩種操作:

另一種

這兩種操作存在一個小小的差別,第一種方式式通過顯式類型轉換,根據型別x產生了型別Y的新對象;第二種方式通過隱式轉換產生了一個型別Y的新對象.explicit關鍵字的應用主要就是上面所說的構造函數定義種,參考該關鍵字的應用可以看看STL源代碼,其中大量使用了該關鍵字

    __based關鍵字

該關鍵字主要用來解決一些和共享內存有關的問題,它允許指針被定義為從某一點開始算的32位偏移值,而不是內存種的絕對位置

舉個例子:

    上面的例子聲明了一個指針lpDemo,內部儲存的是從lpShare開始的偏移值,也就是lpHead是以lpShare為基準的偏移值.

上面的例子種的DEMOSTRUCT只是隨便定義的一個結構,用來代表任意的結構.

雖然__based指針使用起來非常容易,但是,你必須在效率上付出一定的代價.每當你用__based指針處理數據,CPU都必須為它加上基地址,才能指向真正的位置.