- 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++对常量的定义,此时指针本身没有改变,但指向的内容不受约束。