常量指针和指针常量
如果const出现在星号左边,则表示被指物是常量,如果出现在星号右边,表示指针本身是常量。
STL里迭代器的作用就像是T指针,声明迭代器为const就像声明指针为const一样(即T const 指针),表示迭代器不得指向不同的东西,但是它所指向东西的值是可以改变的。如果希望指向东西的值不变,可以使用const_iterator。
常量引用
- 常量引用是指指向常量的引用,不能修改常量引用所指向(绑定)的值,可以为常量引用绑定一个非常量对象,同时可以绑定字面值、常量表达式。
- 不能为非常量引用绑定字面值,常量对象和表达式。
- 常量对象和非常量对象之间可以互相初始化。
bitwise constness和logical constness
编译器强制实施bitwise constness,即连改变对象的一个比特都不可以。考虑一种情况,对象含有一个char* 指针,bitwise constness要求不能改变该类型const对象的char*指针的指向,如:(假设A对象已经正确重载[]运算符)
const A a("abcd");
char *pc = &a[0];
*pc = 'J';
上面A对象以被定义为const,我们的目的就是不能修改A对象的char* 所指向的内容,但根据bitwise contness,当我们修改其内容时,编译器并不会报错,因此这需要我们概念上来保证不修改。