面对指针:
-若关键字出现在 * 左边,表示被指物是常量(但可以通过其它途径改变被值对象的值,不能通过此指针改变)
若关键字出现在 * 右边,表示指针自身是常量;
若出现在两边,表示被植物和指针两者都是常量
若被指物是常量,有两种写法,意义相同:
void f1(const Widget* pw);
void f2(Widget const * pw);
迭代器的作用就像个T* 指针。
声明迭代器为const就像声明指针为const一样(T* const指针),表示迭代器不可变(但迭代器指向的对象的值可以改动)。
若希望迭代器指向的值不可变(即模拟const T* 指针)。则需要const_iterator:
std::vector<int> vec;
...
const std::vector<int>::iterator iter = vec.begin();
*iter = 10;
++iter;
std::vector<int>::const_iterator cIter = vec.begin();
*cIter = 10; //错误,const_iterator指向的值不可变,相当于const T*
++cIter;
令函数返回一个常量值,可以降低因客户错误而造成的意外,而又不至于放弃安全性和高效性。
有理数的operator *声明式:
class Rational { ... };
const Rational operator* (const Rational& lhs, const Rational& rhs); //*运算后返回一个const
若不返回一个const,考虑以下代码:
Rational a,b,c;
...
if (a * b = c); //本来想做个比较,误把==打成了=.
若返回值是一个const,则赋值操作是错误的,可以预防这样的错误。
const成员函数:
两个成员函数如果只是常量性不同,可以被重载。----C++重要特性
考虑以下class:
class TextBlock {
public:
...; /* const成员函数说明不会修改数据成员 */
const char& operator[] (std::size_t position) const //operator[] for const 对象
{ return text[position]; }
char& operator[] (std::size_t position) //operator[] for non-const 对象
{ return text[position]; }
private:
std::string text;
};
TextBlock的operator[]可被这么使用:
TextBlock tb("Hello");
std::cout << tb[0]; //调用non-const TextBlock::operator[]
const TexBlock ctb("World");
std::cout << ctb[0]; //调用const TextBlock::operator[]
/* 成员函数const补充:哲学 (逃 */
哲学的两个流派:bitwise constness 和 logical constness;
bitwise constness阵营主张:const成员函数不可以更改对象内任何非static成员变量
logical constness阵营主张: const成员函数可以修改处理的对象内的某些bits;
如何修改const成员函数里的某些数据呢?
解决方法:利用C++的一个与const相:mutable(可变的).mutable释放掉non-static成员变量bitwise constness的约束
例如:
class CTextBlock {
public:
...;
std::size_t length() const;
private:
char* pText;
mutable std::size_t textlength; //这些成员变量总是可变的,即使是在const成员函数内
mutable bool lengthIsValid;
};
std::size_t CTextBlock::length() const
{
if (!lengthIsValid) {
textlength = std::strlen(pText);
lengthIsValid = true;
}
return textlength;
}
const是个奇妙且非比寻常的东西。在指针和迭代器身上;在指针、迭代器及reference指涉的对象身上;在函数参数和返回类型身上;
在local变量身上;在成员函数身上,林林总总不一而足。const是个威力强大的助手。尽可能使用它。你会对你的作为感到高兴~
总结:
-将某些东西声明为const可帮助编译器侦测出错误用法。const可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体。
-编译器强制实施bitwise constness,但你编写程序时应该使用“概念上的常量性”
-当const和non-const成员函数有着实质等价的实现时,令non-const版本调用const版本可避免代码重复。