C++中常量成员函数的含义
本文內容來源:《C++必知必會》
使用常量成員函數可以改變對象的邏輯狀態,雖然對象的物理狀態沒有發生改變。考慮如下代碼,它定義了一個類X:
class X{public:
X():buffer_(0),isComputed_(false){}
//...
void setBuffer(){
int *tmp = new int[MAX];
delete [] buffer_;
buffer_ = tmp;
}//setBuffer
void modifyBuffer(int index, int value) const{
buffer_[index] = value; //Valid but not suggested!
}//end of modifyBuffer
int getValue() const{
if( !isComputed_){
computedValue = expensiveOperation(); //Error!
isComputed_ =true; // Error!
}
return computedValue_;
}//end of getValue
private:
static int expensiveOperation();
int *buffer_;
bool isComputed_;
int computeValue_;
}
setBuffer函數必須是非常量的,因為它要修改其所屬的X對象的一個數據成員。然而,modifyBuffer可以被合法地被標為常量,因為它沒有修改X對象,它只是修改X的buffer_成員所指向的一些數據。這種做法是合法的,但是很不道德。
有時一個被聲明為常量的成員函數必須要修改其對象,這常見于利用"lazy evaluation"機制來計算一個值時,換句話說,只有當第一次提出請求,才計算值,目的在于在該請求根本沒有發出的其余情形下,讓程序運行得更快。在這種情況下會有一個進行轉型犯錯的誘惑,為的是能夠讓事情變得更好,即將該成員函數聲明為常量。
int getValue() const{
int (!isComputed_){
X *const aThis = const_cast<X *const>(this);
aThis->computedValue = expensiveOperation();
aThis->isComputed_ = true;
}
return computedValue_;
}
千萬抵制住這個誘惑!處理這種情形的正確方式是將有關數據成員聲明為mutable:
class X{
public:
//...
int getValue() const{
int (!isComputed_){
computedValue = expensiveOperation();
isComputed_ = true;
}
return computedValue_;
}
private:
mutable bool isComputed_; //現在可以修改了。
mutable int computedValue_; //現在可以修改了。
}
類的非靜態數據成員可以聲明為mutable,這將允許它們的值可以被該類的常量成員函數(當然也包括非常量成員函數)修改,從而允許一個“邏輯上為常量”的成員函數被聲明為常量,雖然其實現需要修改該對象。
以下例子可以解釋函數重載解析是如何區分一個成員函數的常量和非常量版本的。
class X{
public:
//...
int &operator[] (int index);
cost int &operator[](int index) const;
};
int i = 12;
X a;
a[7] = i;// this 是 X *const,因為a是非常量
const X b;
i = b[i]; // this 是 const X *const, 因為b 是常量
考慮如下具有兩個常量參數的非成員二元操作符
X operator+(const X &, const X &);
如果決定聲明一個與此重載操作符對應的成員形式的對應物,應該將其聲明為常量成員函數,此目的是為了保持左實參的常量性質。
class X{
public:
//...
X operator+(const X &rightArg); // 左邊的參數是非常量
X operator+(const X &rightArg) const; //左邊的參數是常量
};
轉載于:https://www.cnblogs.com/cmleung/archive/2011/05/24/2055060.html
總結
以上是生活随笔為你收集整理的C++中常量成员函数的含义的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 推荐系统与协作过滤面临的主要问题
- 下一篇: 何谓智能起名?