条款03: 尽可能使用const

面对指针:

-若关键字出现在 * 左边，表示被指物是常量（但可以通过其它途径改变被值对象的值,不能通过此指针改变）

 若关键字出现在 * 右边，表示指针自身是常量；

 若出现在两边，表示被植物和指针两者都是常量

 

若被指物是常量,有两种写法,意义相同:

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版本可避免代码重复。