const的一件奇妙的事情是,它允许你指定一个语义约束(也就是指定一个“不该被改动的对象”),而编译器会强制实施这项约束。它允许你告诉编译器某值应该保持不变。
char greeting[] = "hello";
char *testStr = "world";
char *p = greeting; //non-const pointer,non-const data
const char *p1 = greeting; //non-const pointer,constd data,指针的值可以改变,指针所指向的地址中的常量不能改变
p1 = testStr;
char const *p2 = greeting; //const pointer,non-const data,指针常量,存放的是地址
const char* const p3 = greeting;//const pointer,const data
/*
const 出现在*号左边,表示所指物是常量,
const 出现在*号右边,表示指针自身是常量
const 出现在*号两边,表示被指物和指针两者都是常量
*/
//1. 什么是指针常量?指针常量即指针类型的常量。
char *const name1 = "John";
//name1 = "abc"; //错误,name1指针,不能变,一个指针类型的变量,存放的是地址,所以不能把'"abc"的地址赋给name1
*name1 = "fff";
char * name2 = name1; //可以
//2. 什么是常量指针?常量指针即是指向常量的指针,指针的值可以改变,指针所指的地址中的内容为常量不能改变,
const char *name = "John";
char s[] = "abc";
name = s; //正确,name1存放的地址可以改变
//char * name2 = name1; //不可以,因为name2 和 name1存放的是同一块地址,如果name2地址中的内容改了,则name1的内容也改了,那么name1就不再是指向常量的指针了。
STL迭代器以指针为根据塑模出来,所以迭代器的作用就像个T*指针。声明迭代器为const就像声明指针为const一样(即声明一个T* const指针),表示这个迭代器不得指向不同的东西,但它所指的东西的值是可以改变的。如果你希望迭代器所指向的东西不可改动(即希望STL模拟一个const T*指针),你需要的是const_iterator。
std::vector<int> vec;
...
const std::vector<int>::iterator iter = //iter的作用像个T* const
vec.begin();
*iter = 10; //没问题,改变iter的所指物
++iter; //错误,iter的地址不能改变
std::vector<int>::const_iterator cIter= //cIter的作用像个const T*
vec.begin();
*cIter = 10; //错误,*cIter的内容不能改变
++cIter; //正确,cIter指向的地址可以改变
两个成员函数如果只是常量性不同,可以被重载。