本猿昨天将const关键字的常见使用做了介绍，并且针对小白常见混淆的地方做了解释。今天要讲的部分是const的深入部分，有很多的细节。

const与迭代器

STL迭代器以指针为根据塑模，所以迭代器的作用就像一个T*指针，声明迭代器为const相当于声明一个T* const，表示这个迭代器不能指向不同的东西。如果希望迭代器所指的东西不能修改，需要const_iterator。

例子：

<code>std::vector vec;const std::vector::iterator iter = vec.begin();*iter = 10;                   // 正确，修改迭代器所指的对象iter++;                        // 错误，迭代器不能修改std::vector::const_iterator citer = vec.begin();*citer = 10;         //错误，citer所指对象不能修改citer++;              //正确/<code>

Bitwise const和Logical const

1. Bitwise const，成员函数只有在不更改对象的任何成员变量时才可以说是const，也就是它不更改对象内的任何一个bit。
2. Bitwise const正是c++对常量性的定义，因此const成员函数不能更改对象内任何non-static成员变量。
3. Logical const，一个const函数可以修改它所处理的对象内的某些bits，但只能在客户侦查不出的情况下。

样例代码：

<code>class Text {public:    std::size_t length() const;private:    char* pText;    std::size_t textLength;    bool lengthValid;};std::size_t Text::length() const {    if (!lengthValid) {                 //错误，在const函数内给textLength和lengthValid赋值        textLength  = std::strlen(pText);        lengthValid = true;    }    return textLength;}/<code>

在这个例子中虽然textLength、lengthValid的赋值是可以接受的，但是不能通过bitwsie const的编译器。如果要使textLength、lengthValid可以修改，需要用mutable释放掉non-static成员变量的bitwise const约束.

<code>如下：...private:    mutable std::size_t textLength;    mutable bool lengthValid;.../<code>

const和non-const成员函数

因为需要为const和non-const对象都提供一个功能相同的函数，但是这两个函数只有返回类型是否有const修饰，此时为了避免代码重复带来的编译时间、维护、代码膨胀等问题，可以让non-const函数调用const函数，如下：

<code>const char& operator[] (std::size_t position) const {    ...    return text[position];}char& operator[] (std::size_t position) {    ...    return const_cast<char>(static_cast<const>(*this)[posistion]);}/<const>/<char>/<code>

首先为了调用const operator[]函数，需要把this指针转换为const对象，然后再移除const；如果不把this指针转为const对象，会递归调用non-const的[]重载函数。

关于const关键字的介绍就到这里，喜欢的小伙伴，可以继续关注本猿的后续更新。。。。

閱讀更多 Jason攻城獅 的文章

關鍵字: 使用 尽可能 编译器