条款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]
);
}