如果关键字const出现在星号左边,表示被指物是常量;如果出现在星号右边,表示指针自身是常量;如果出现在星号两边,表示被指物和指针两者都是常量。
char greeting[] = " hello";
char* p = greeting; //non-const pointer,non-const data
const char* p = greeting; //non-const pointer,const data 声明p为一个指向常量的greeting的指针,p指向的对象不能被修改,但他可以指向任何地址的常量
char* const p = greeting; //const pointer,non-const data 声明p为一个常量指针,他指向greeting,p这个指针的指向不能被修改,但他指向的地址的内容可以修改。
const char* const p = greeting; //const pointer,const data
const std::vector<int>::iterator iter = vec.begin();//iter的作用像哥T* const
*iter = 10; //没问题,改变iter所指物
++iter;//错误!iter是const
std::vector<int>::const_iterator cIter = vec.begin(); //cIter的作用像哥const T*
*iter = 10; //错误!*cIter是const
++iter;//没问题,改变cIter
在函数名返回值前加const,表明返回的是常量,不可以修改。在类成员函数最后加const,表明它不改变对象的成员变量,也不能调用类中任何非const成员函数。
可以利用c++的一个与const相关的摆动场:mutable(可变的)。mutable释放掉non-static成员变量的bitwise constness(又称physical constness)约束。
在const和non-const成员函数中避免重复
class TextBlock
{
public:
...
const char& operator[] (std::size_t position) const
{
.....
return text[position];
}
char& operator[] (std::size_t position)
{
return
const_cast<char&>(static_cast<const TextBlock&>(*this)[position]);
}
...
};
将某些东西声明为const可帮助编译器侦测出错误用法。const可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体。
编译器强制实施bitwise constness,但你编写程序时应该使用“概念上的常量性”(conceptual constness)。(就是使用mutable释放bitwise constness)
当const和non-const成员函数有着实质等价的实现时,令non-const版本调用const版本可避免代码重复。