C++ Const總結

轉自http://www.cnblogs.com/yedaoq/archive/2011/04/29/2032597.html一、const_cast

 

來自MSDN的說明：

一個指向對象或對象成員的指標可以顯式地轉換為帶有不同const、volatile或__unaligned屬性的同一類型。對於指標和引用，轉換結果引用的是原對象。對指向資料成員的指標，轉換結果指向原指標（轉換前）指向的對象。通過轉換得到的指標、引用及（指向資料成員的）指標來進行寫操作可以導致未定義的行為——取決於引用對象的類型。

const_cast會將一個null 指標轉換為一個目標類型的null 指標。

總結：

const_cast只能應用於指標或參考型別。似乎從語義上，const_cast只允許重新解釋原對象，而避免產生對象的副本。這很好理解：倘若我們要取消某個對象的const屬性，多半是為了更改它。如果const_cast產生副本，便人是物非一場空了。

return const_cast<TestConstReload>(*this).v;      //error C2440: 'const_cast' : cannot convert from 'const class xx' to 'class xx',對於內建類型同樣如此 
return const_cast<TestConstReload&>(*this).v;   //OK 
return const_cast<TestConstReload*>(this)->v;   //OK

 

二、const重載

對於成員函數，可以有相同參數列表，但函數本身的const屬性（非參數或傳回值的const屬性）不同的重載。例如：

classTestConstReload 
{ 
public: 
    int& val() const 
   { 
        cout<<"const"<<endl; 
        return const_cast<TestConstReload&>(*this).v; 
    } 

    int& val() 
    { 
        cout<<"non-const"<<endl; 
        returnv; 
    } 

private: 
    intv; 
};

 

成員函數具有const重載時，類的const對象將調用類的const版本成員函數，類的非const對象將調用非const版本成員函數。

如果只有const成員函數，類的非const對象也可以調用const成員函數。                          ——這個思路來描述很囧。下同。

如果只有非const成員函數，類的const對象…額，不能調用非const成員函數。                ——其實跟上一句的意思是一樣的：const對象只能調用它的const成員函數。

 

總的來說，就是當我們調用一個成員函數時，編譯器會先檢查函數是否有const重載，如果有，將根據對象的const屬性來決定應該調用哪一個函數。如果沒有const重載，只此一家，那當然就調用這一個了。這時編譯器亦要檢查函數是不是沒有const屬性而調用函數的對象又有const屬性，若如此，亦無法通過編譯。 

 

三、const屬性的繼承

這裡所說的繼承與類層次的繼承沒有關係，意思是指：當我們定義一個const對象時，對象中的資料成員也將具有const屬性（不論成員聲明是否有const修飾）。這個很好理解，就好比一個const int，其中4個字元都不可更改一樣，const對象中的所有資料也同樣不可更改。但我之前沒有意識到這一點，所以列在此。

在上面的樣本型別宣告中，int& val() const 之所以要在最後去掉對象的const屬性再返回，就是因為若不如此，則類const對象將無法調用此成員函數。

int& val() const    {         cout<<"const"<<endl;        return const_cast<TestConstReload&>(*this).v;    }    const TestConstReload obj;    obj.val();     //error : cannot convert from ‘const int’ to ‘int'

 四、const的編譯期最佳化

網上一篇文章描述了這樣一個樣本：

int main(){    const int a = 1;    int *p = const_cast<int*>(&a);    *p = 2;    cout << “°value a=”± << a << endl;    cout << “°value *p=”± << *p << endl;    cout << “°address a=”± << &a << endl;    cout << “°address p=”± << p << endl;    return 0;}//輸出value a=1value *p=2address a=0xbfe9efb4address p=0xbfe9efb4(depends on machine)

文中同樣有相關解釋：即使在記憶體中某個地方存放了a對象，編譯器也有可能在引用此變數的地方真的引用它。如果這個對象很小，並且它是常量，在編譯時間編譯器就已經知道它的值。那編譯器完全有可能在產生彙編的時候，用一個與它值相同的立即數來代替記憶體位址——這可以減少一次記憶體讀取操作。原文在此：慎用const_cast

 

五、託管C++中沒有const成員函數

如果在VC.NET中聲明一個託管C++類,那麼它的成員函數將不能應用const屬性。我沒有找到關於這一點的說明，大概是因為MISL方面的原因吧。如果哪位有關於託管C++中const的其它資料，請告訴我。