位常量性(bitwise constness)与逻辑常量性(logical constness)

"Bitwise constness"（位常量性）和 "logical constness"（逻辑常量性）是关于类的成员函数在 const 语境下是否能修改成员变量的概念。

1. Bitwise Constness（位常量性）： Bitwise constness 表示在 const 成员函数中不能修改任何成员变量的值，即不能改变对象的位（bit）表示。这意味着成员变量的所有位都保持不变。

示例：

class MyClass
{
public:
    void doSomething() const
    {
        // 不能修改成员变量的值
        // 不能改变对象的位表示
        // ...
    }

private:
    int value;
};

在上述示例中，doSomething() 函数是一个 const 成员函数，根据 "bitwise constness" 的概念，它不能修改 value 成员变量的值。即使 value 被声明为非 const 成员变量，但在 const 成员函数中，其值仍然是不可修改的。

2. Logical Constness（逻辑常量性）： Logical constness 表示在 const 成员函数中不会修改外部可见的逻辑状态，但可能会修改成员变量的值，只要这些修改对外部不可见。

示例：

class Rectangle
{
public:
    int getArea() const
    {
        // 不能修改外部可见的逻辑状态
        // 但可以修改成员变量的值
        return width * height;
    }

    void setDimensions(int newWidth, int newHeight)
    {
        width = newWidth;
        height = newHeight;
    }

private:
    int width;
    int height;
};

在上述示例中，getArea() 是一个 const 成员函数，它计算矩形的面积。根据 "logical constness" 的概念，该函数不会修改外部可见的逻辑状态，即它不会改变对象的尺寸或形状，但它可以访问并计算成员变量 width 和 height 的乘积。

总结： "Bitwise constness" 强调在 const 成员函数中不能修改任何成员变量的值，而 "logical constness" 强调在 const 成员函数中不能修改外部可见的逻辑状态，但可以修改成员变量的值。这些概念用于定义 const 成员函数的行为，并有助于确保在 const 对象上调用这些函数时，对象的状态不被修改。