什么是 Logic constness
有以下类 BigArray，其成员 vector<int> v; 是一个数组数据结构，为了让外部可以访问该数组，此类提供了一个 getItem 接口，除此之外，为了计算外部访问数组的次数，该类还设置了一个计数器 accessCounter ，可以看到用户每次调用 getItem 接口，accessCounter 就会自增，很明显，这里的成员 v 是核心成员，而 accessCounter 是非核心成员，我们希望接口 getItem 不会修改核心成员，而不考虑非核心成员是否被修改，此时 getItem 所具备的 const 特性就被称为 logic constness。
class BigArray {
vector<int> v;
int accessCounter;public: int getItem(int index) const {
accessCounter++; return v[index];
}
};什么是 Bitwise constness
但是，上面的代码不会通过编译，因为编译器不会考虑 logic constness ，于是就有了 bitwise constness 这个术语，可以理解为字面上的 constness 属性，编译器只认 bitwise constness。为了解决这种矛盾，可以把 accessCounter 声明为 mutable 的成员，即
class BigArray {
mutable int accessCounter;
// const_cast<BigArray*>(this)->accessCounter++; // 这样也行，但不建议这么做
// ...};此时既保持了 logic constness 特性，编译器又可以通过编译。
反过来，如果你的成员是指针类型，在函数中我们修改了指针所指的数据，此时字面上指针变量并没有被修改，编译器依然只会维护 bitwise constness，即便我们将这样的函数声明为 const，依然是没有问题的，例如下面的代码可以通过编译
class BigArray {
int* v2; // ...
void setV2Item(int index, int x) const {
v2[index] = x;
}
};
作者：冯雅杰
链接：https://www.jianshu.com/p/6b1cf551cb20
随时随地看视频
