const 常量

• const有两种概念；一种是位常量（bitwise constness，也称为物理常量）和逻辑常量（logical constness）。位常量是C++对常量的定义。
• 物理常量：一段内存中的数据没有任何更改；
• 逻辑常量：物理常量的基础上，如果该内存是指针，还要保证指针指向的内存任何更改
• 有点黑盒白盒的意思，（常量指针，指针常量）

class TextBlock
{
public:
    TextBlock(std::string str):text(str){}

    const char& operator[](std::size_t position) const
    {
        std::cout << "const version\n";
        return text[position];
    }

    char& operator[](std::size_t position)
    {
        std::cout << "non-const version\n";
        return text[position];
    }

   
private:
    std::string text;
};

• 在这段代码中const 成员函数不可以去掉返回类型 中的const，如果去掉const（const char& operator[](std::size_t position) const ==> char& operator[](std::size_t position) const），编译器报错：将"char &"类型的引用绑定到"const char"类型的初始值设定项时，限定符被丢弃，因为你用cosnt修饰成员函数，如果你返回类型去掉const，就无法保证，使用者不会修改；
• 但是如果使用指针

class TextBlock
{
public:
    TextBlock(std::string str) {
        text = new char[100];
        std::strcpy(text, str.data());
    }

    /*const*/ char& operator[](std::size_t position) const
    {
        std::cout << "const version\n";
        return text[position];
    }

    char& operator[](std::size_t position)
    {
        std::cout << "non-const version\n";
        return text[position];
    }

   
private:
    char* text;
    static int a;
};

• 这样就可以编译通过了，因为位常量是C++对常量的定义，此时指针本身没有改变，但指向的内容不受约束。