本猿昨天将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
Bitwise const，成员函数只有在不更改对象的任何成员变量时才可以说是const，也就是它不更改对象内的任何一个bit。Bitwise const正是c++对常量性的定义，因此const成员函数不能更改对象内任何non-static成员变量。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关键字的介绍就到这里，喜欢的小伙伴，可以继续关注本猿的后续更新。。。。