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

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

为static的对象。

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

char greeting[] = "Hello";
char *p = greeting;                // non-const pointer, non-const data
const char *p = greeting;          // non-const pointer, const data
char * const p = greeting;         // const pointer, non const data
const char * const p = greeting;   // const pointer, const data.

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

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

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

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

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

如下所例。

class Rational { ... };

const Rational operator * (const Rational &lhs, const Rational &rhs);

Rational a, b, c;
...
(a * b) = c;  // 在a * b的成果上调用operator=

const成员函数

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

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

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

mutable(可变的)

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

如下代码所示：

class CTextBlock
{
public:
　　...
　　std::size_t length() const;

private:
　　char *pText;
　　mutable std::size_t textLength;   // 这些成员变量可能总是会被更改，即使在
　　mutable bool lengthIsValid;       // const成员函数内。
};

std::size_t CTextBlock::length() const
{
    if (!lengthIsValid) {
        textLength = std::strlen(pText);
        lengthIsValid = true;
    }
    return textLength;  
}

总结忠告：

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

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

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