[Effective C++, 学习总结] 03 尽可能使用const

关键字const，你可以用它在classes外部修饰global或namespace作用域中的常量，或修饰文件、函数、或区块作用域（block scope）中被声明

为static的对象。

也可以用它修饰classes内部的static或non-static成员变量。

1 char greeting[] = "Hello";
2 char *p = greeting;                // non-const pointer, non-const data
3 const char *p = greeting;          // non-const pointer, const data
4 char * const p = greeting;         // const pointer, non const data
5 const char * const p = greeting;   // const pointer, const data.

如果const出现在星号左边，表示被指物是常量；

如果出现在星号右边，表示指针自身是常量；

如果出现在星号两边，表示被指物和指针两者都是常量。

1 void f1(const Widget *pw);
2 void f2(Widget const *pw);
3 // 以上两者都是一样的。

令函数返回一个常量值，往往可以降低因客户错误而造成的意外，而不至于放弃安全性和高效性。

如下所例。

1 class Rational { ... };
2 
3 const Rational operator * (const Rational &lhs, const Rational &rhs);
4 
5 Rational a, b, c;
6 ...
7 (a * b) = c;  // 在a * b的成果上调用operator=

const成员函数

第一，它们使用class接口比较容易理解。这是因为，得知哪个函数可以改动对象内容而哪个函数不行，很重要。

第二，使“操作const对象”成为可能。

改善C++程序效率的一个根本办法是以pass by reference-to-const方式传递对象。

mutable(可变的)

mutable释放掉non-static成员变量的bitwise constness约束。

如下代码所示：

 1 class CTextBlock
 2 {
 3 public:
 4 　　...
 5 　　std::size_t length() const;
 6 
 7 private:
 8 　　char *pText;
 9 　　mutable std::size_t textLength;   // 这些成员变量可能总是会被更改，即使在
10 　　mutable bool lengthIsValid;       // const成员函数内。
11 };
12 
13 std::size_t CTextBlock::length() const
14 {
15     if (!lengthIsValid) {
16         textLength = std::strlen(pText);
17         lengthIsValid = true;
18     }
19     return textLength;  
20 }

总结忠告：

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

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

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