Advanced C++ -- Logic Constness and Bitwise Constness

　　首先介绍一下什么是Logic Constness和Bitwise Constness，Logic Constness指的是function 后的const修饰，我们只知道这个function被const修饰了，但是并没有任何变量被const，Bitwise Constness指的是变量（指针，或者引用等，基本上任何的二进制储存值）被const修饰，那么我们下面就用例子来进行探索。

#include<iostream>
#include<vector>
#include<string>
using namespace std;

class BigArray{
    vector<int> v;
    int accessCounter;
    int *v2;

public:
    int getItem(int index) const{
        //accessCounter++;
        const_cast<BigArray*>(this)->accessCounter++;
        return v[index];
    }

    void setV2Item(int index, int x){
        *(v2+index) = x;
    }

    // Quiz:
    const int* const fun(const int* const& p) const{
        //return accessCounter++;
    }
};

int main(){
    
    BigArray b;
}

　　首先我们看getItem函数，因为这个函数不对对象的数据进行任何修改，所以我们将其修饰为const，一开始我们注释掉前两句，只有return v[index]; 发现程序编译通过，因为没有任何修改实例变量的操作，但是如果我们注释掉第一行，也就是accessCounter++; 我们就会发现，程序编译报错了，报错的原因就是getItem是Logic Const的函数，所以里面不能够对变量进行修改，因为这样就是打破了Bitwise Constness，但是是不是我们就不能对accessCounter进行修改呢？其实并不是，大致有两种方法可以对其进行修改：

1. 使用mutable，在变量前面使用mutable进行修饰，这样就可以在const修饰的函数中进行修改。
2. 还有一种C++方式，但是并不推荐的就是，使用const_cast对变量的const属性进行cast，这样就可以进行修改而不报错，但是此方法还是不推荐的，实际上在实际开发中，const修饰function的目的就是控制其不能修改变量值。

　　再解答一下Quiz的一长串const修饰到底意味着什么：

1. func的返回值为const的int值，其值为const，指针也为const，表示value和pointer都不可更改
2. func的参数是一个指向const integer的const指针的引用
3. func也是一个const function，说明不能直接对类中的变量进行修改，并且只能调用其他const函数

Advanced C++ -- Logic Constness and Bitwise Constness

原文：http://www.cnblogs.com/RookieCoder/p/5088895.html