条款03:尽可能使用const(Use const whenever possible.)

1. 修饰指针

如果关键字const出现在星号左边，表示被指物是常量;如果出现在星号右边，表示指针自身是常量;如果出现在星号两边，

表示被指物和指针两者都是常量。

 

2. 修饰迭代器

const std::vector<int>::iterator iter = vec.begin(); //iter的作用像个T* const std::vector<int>::cons_iterator cIter = vec.begin(); //cIter的作用像个const T* 

 

3. 函数定义

修饰函数返回值、各参数、函数自身(如果是成员函数)

3.1 const函数返回值

class Rational{…}; const Rational operator* (const Rational& lhs, const Rational& rhs); Rational a, b, c; (a*b) = c; 

//在a*b的成果上调用operator*

3.2 const成员函数

这一类成员函数之所以重要，基于两个理由。第一，它们使Class接口比较容易被理解。这是因为，得知哪个函数可以改动对象内容而哪个函数不行，很是重要。第二，它们使“操作

 

const对象”成为可能。这对编写高效代码是个关键，因为如条款20所言，改善C+十程序效率的一个根本办法是以pass by reference-to-const方式传递对象，而此技术可行的前提是，我们有

 

const成员函数可用来处理取得(并经修饰而成)的const对象。

两个成员函数如果只是常量性(constness)不同，可以被重载。这实在是一个重要的C一特性。

bitwise const阵营的人相信，成员函数只有在不更改对象之任何成员变量(static除外)时才可以说是const。也就是说它不更改对象内的任何一个bit。

可以将成员变量声明称mutable，mutable std::size t textLength; //表示这些成员变量可能总是会被更改，即使在const成员函数内。

const char& operator[](std::size_t position) const { return text[position]; } char& operator[](std::size_t position) { return text[position]; } TextBlock tb("Hello"); const TextBlock ctb("World"); std::cout << tb[0]; std::cout << ctb[0]; tb[0] = 'x'; // tb[0] = 'x'; // error: invalid lvalue in assignment // if TextBlock::operator[] return char // ctb[0] = 'x'; // error: call const TextBlock::operator[] 

 

3.3 令non-const版本调用const版本可避免代码重复。

const和non-const成员函数有着实质等价的实现时，令non-const版本调用const版本可避免代码重复。

const char& operator[](std::size_t position) const //一如既往 { return text[position]; } char& operator[] (std::size_t position) { return const_cast<char&>( static_cast<const TextBlock>(*this) [position] ); } 

 

 

4. 总结：

1）将某些东西声明为const可帮助编译器侦测出错误用法。const可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体。

2）编译器强制实施bitwise constness，但你编写程序时应该使用“概念上的常量性”  (conceptualconstness)。

3）当const和non-const成员函数有着实质等价的实现时，令non-const版本调用const版本可避免代码重复。