1.将某些东西声明为const可以帮助编译器侦测出错误用法。const可被施加于任何作用域内的对象,函数参数,函数返回类型,成员函数本体。
class Rational {.....}
const Rational operator* (const Rational &lhs, const Rational rhs);
使用const的好处在于可以防止以下情况
if(a * b = c) //比较动作误写成赋值动作时编译器会报错
2 .编译器强制实施bitwise constness,但你编写程序时应该使用“概念上的常量性”
class CTextBlock{
public:
...
size_t length() const;
private:
char * pText;
mutable size_t textlength; //mutlab修饰的成员总是被允许修改的
mutable bool lengthIsValid;
};
size_t CTextBlock::length() const
{`这里写代码片`
if(!lengthIsvalid){
textLength = strlen(pText);
lengthIsvalid = true
}
return textLength;
}
上述代码中length()的实现显然不是bitwise const,因为textLength,lengthIsvalid都可能被更改。mutable也是为了突破const的限制而设置的。被mutable修饰的变量,将永远处于可变的状态,即使在一个const函数中。因此mutable能够使得编译通过。
3.当const和non-const成员函数有着实质等价实现时,令non-const版本调用const版本避免代码重复
class TextBlock{
public:
....
const char &operator[](size_t position) const
{
.....
.....
return text[postion];
}
char& operator[](size_t position)
{
return const_cast<char&>(static_cast<const TextBlock&>(*this)[position]);
}
....
};
static_cast <const TextBlock&> (*this)[position])
第一次转型,TextBlock&转型为const TextBlock&。
const_cast<char&>(expression)
第二次转型,将const TextBlock&中的const移除
注意:不能令const版本调用non-const版本避免代码重复,因为const成员函数承若不改变对象,而non-const成员函数可能会改变对象,因此在const成员函数中调用non-const成员函数可能会改变对象,使得编译不通过