本文內(nèi)容來(lái)源：《C＋＋必知必會(huì)》

使用常量成員函數(shù)可以改變對(duì)象的邏輯狀態(tài)，雖然對(duì)象的物理狀態(tài)沒(méi)有發(fā)生改變。考慮如下代碼，它定義了一個(gè)類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函數(shù)必須是非常量的，因?yàn)樗薷钠渌鶎俚腦對(duì)象的一個(gè)數(shù)據(jù)成員。然而，modifyBuffer可以被合法地被標(biāo)為常量，因?yàn)樗鼪](méi)有修改X對(duì)象，它只是修改X的buffer_成員所指向的一些數(shù)據(jù)。這種做法是合法的，但是很不道德。

有時(shí)一個(gè)被聲明為常量的成員函數(shù)必須要修改其對(duì)象，這常見于利用"lazy evaluation"機(jī)制來(lái)計(jì)算一個(gè)值時(shí)，換句話說(shuō)，只有當(dāng)?shù)谝淮翁岢稣?qǐng)求，才計(jì)算值，目的在于在該請(qǐng)求根本沒(méi)有發(fā)出的其余情形下，讓程序運(yùn)行得更快。在這種情況下會(huì)有一個(gè)進(jìn)行轉(zhuǎn)型犯錯(cuò)的誘惑，為的是能夠讓事情變得更好，即將該成員函數(shù)聲明為常量。

int getValue() const{
int (!isComputed_){
X *const aThis = const_cast<X *const>(this);
aThis->computedValue = expensiveOperation();
aThis->isComputed_ = true;
}
return computedValue_;
}

千萬(wàn)抵制住這個(gè)誘惑！處理這種情形的正確方式是將有關(guān)數(shù)據(jù)成員聲明為mutable:

class X{
public:
//...
int getValue() const{
int (!isComputed_){
computedValue = expensiveOperation();
isComputed_ = true;
}
return computedValue_;
}
private:
mutable bool isComputed_; //現(xiàn)在可以修改了。
mutable int computedValue_; //現(xiàn)在可以修改了。
}

類的非靜態(tài)數(shù)據(jù)成員可以聲明為mutable，這將允許它們的值可以被該類的常量成員函數(shù)（當(dāng)然也包括非常量成員函數(shù)）修改，從而允許一個(gè)“邏輯上為常量”的成員函數(shù)被聲明為常量，雖然其實(shí)現(xiàn)需要修改該對(duì)象。

以下例子可以解釋函數(shù)重載解析是如何區(qū)分一個(gè)成員函數(shù)的常量和非常量版本的。

class X{
public:
//...
int &operator[] (int index);
cost int &operator[](int index) const;
};

int i = 12;
X a;
a[7] = i;// this 是 X *const，因?yàn)閍是非常量
const X b;
i = b[i]; // this 是 const X *const, 因?yàn)閎 是常量

考慮如下具有兩個(gè)常量參數(shù)的非成員二元操作符

X operator+(const X &, const X &);

如果決定聲明一個(gè)與此重載操作符對(duì)應(yīng)的成員形式的對(duì)應(yīng)物，應(yīng)該將其聲明為常量成員函數(shù)，此目的是為了保持左實(shí)參的常量性質(zhì)。

class X{
public:
//...
X operator+(const X &rightArg); // 左邊的參數(shù)是非常量
X operator+(const X &rightArg) const; //左邊的參數(shù)是常量
};

轉(zhuǎn)載于:https://www.cnblogs.com/cmleung/archive/2011/05/24/2055060.html

總結(jié)

以上是生活随笔為你收集整理的C＋＋中常量成员函数的含义的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。