const限定修饰符用法总结(常量，指针，迭代器，函数参数，成员函数)
const限定修饰符用法总结(常量，指针，迭代器，函数参数，成员函数)
2011-11-22 23:04 by AnnieKim, 933 visits, 收藏, 编辑
在这里总结一下const限定修饰符的各种用法，都已经过vs2010测试。
1) 声明及初始化const常量。
在声明一个const常量时，必须对其初始化，否则会报错。
1 const int constvar; //error
2 const int constvar = 10; //ok
但是，有一个例外的情况，就是extern进来的const常量不需要初始化（如果该常量其他地方确实有出现，这时将它extern进来并且初始化反而会出错）。
1 extern const int externvar;
2) 指针。
对于指针变量有以下四种情况（这四句是不完整的，其中有些必须在声明时进行初始化，否则会出错，故未写分号^^）：
a int *ptr1
b const int *ptr2
c int *const ptr3
d const int *const ptr4
a) 指向非const对象的指针。
试图将非const对象的指针指向一个常量对象将引起编译错误，即下面的语句将不能通过编译。
1 int *ptr1 = &constvar; //error
原因很简单。如果可以编译成功，我们则可以通过类似*ptr1=100这样的语句修改constvar常量的值（由于编译器不能跟踪指针在程序中任意一点指向的对象是否为常量，所以是可以赋值成功的）。这样一来就不能称之为常量了。
b) 指向const对象的指针。
与a做对比，此时由于ptr2指向的是一个const常量，所以就可以将它赋值为const常量的地址了。
1 const int *ptr2 = &constvar; //ok
此时，由于ptr2指向的对象是常量，所以不能通过指针修改常量的值。但是，由于指针本身不是常量，所以可以修改指针，令其指向其他常量，甚至可以令其为0。
1 *ptr2 = 100; //error
2 const int constvar2 = 100;
3 ptr2 = &constvar2; //ok
4 ptr2 = 0; //ok
另外，也可以令ptr2指向一个变量（非常量），但是也同样，不能通过指针修改变量的值，如下：
1 int nonconst = 1000;
2 ptr2 = &nonconst; //ok
3 *ptr2 = 10000; //error
c) const指针，指向const或非const对象。
声明const指针时，必须同时对其进行初始化。
1 int nonconst = 1000;
2 int *const ptr3; //error
3 int *const ptr3 = &nonconst; //ok
如果，ptr3指向的是一个非const对象，可以通过ptr3修改该对象的值，但是不能修改ptr3指针本身的值，如下：
1 *ptr3 = 10000; //ok
2 ptr3 = &constvar; //error
d) 指向const对象的const指针。
终于最后一个了。这种指针，就是把前面的几个结合起来。声明时必须初始化，指针指向的对象以及指针本身都不能修改。
3) 迭代器。
const_iterator用于遍历const容器。
1 const vector<int> constvector;
2 vector<int>::iterator it = constvector.begin(); //error
3 vector<int>::const_iterator it = constvector.begin(); //ok
const_iterator保证是以只读的方式访问容器元素，不得通过迭代器修改容器元素的值。
1 *it = 20; //error
4) 函数参数。
参数传值还是传指针还是传引用的问题这里就不啰嗦了。
当参数为引用时，如果不希望引用参数在被调用的函数内部被修改，就可以使用const修饰符修饰引用参数。
1 void func(const int& var)
2 {
3 var = 100; //error
4 }
用const修饰传值参数是没有任何意义的，因为传值本身就是传入一个实参的副本，并不会修改实参（刚入职时，我就犯了这个低级的错误--|）。
5) const成员函数。
在有些类的成员函数中，往往会看到在参数列表的最后有一个const修饰符，形如：
1 class test
2 {
3 public:
4 int getVar() const
5 {
6 return var; //ok
7 }
8 void setVar(const int& aVar) const
9 {
10 var = aVar; //error
11 }
12
13 private:
14 int var;
15 };
a) 用const修饰成员函数，表明不能通过调用该成员函数修改类对象。如上例中setVar函数由于修改了test类中的var成员变量，所以不能使用const限定符修饰。
b) 对于在类外定义的成员函数，必须在成员函数的定义和声明中都指定关键字const，不然将被视为重载，如下：
1 class test
2 {
3 public:
4 int getVar() const;
5 private:
6 int var;
7 };
8
9 int test::getVar() //error：overloaded member function not found in 'test'
10 {
11 return var;
12 }
c) const类对象只能调用其const成员函数（除了构造函数和析构函数，后面详解）。
1 class Test
2 {
3 public:
4 int getVar(){ return var; }
5 private:
6 int var;
7 };
8
9 int main()
10 {
11 const Test consttest;
12 consttest.getVar(); //error
13
14 return 0;
15 }
第12行语句将报错，由于Test类并没有定义一个const版本的getVar()成员函数。
但是，这种情况有一个例外，就是构造函数和析构函数。即使构造函数和析构函数不是const的，const类对象也同样可以调用它们。所以一个const类对象“从构造完成时刻到析构开始时刻”这段时间被认为是const的（尝试将构造函数写为const，不过报错了）。
d) 如果一个类含有指针，那么在const成员函数中还是可以修改指针所指的对象。其实想想这句话也比较好理解，指针的值是不能修改的，但是指针所指的对象是可以修改的。
先总结到这里，应该还漏掉不少使用方法，这其中也可能有不少错误或者笔误。欢迎补充并指正。^^
（完）
