const详解

今天看了一下C++ Primer中关于const用法的介绍，讲得很好， 收益匪浅，于是做一个总结，方便以后再次查看。
　　但是c++在c的基础上新增加的几点优化也是很耀眼的，就const直接可以取代c中的#define以下几点很重要，学不好后果也也很严重。

　一、const变量

        1、限定符声明变量只能被读
　　 const int i=5；
　　 int j=0；
　　 ……
　　 i=j；　 //非法，导致编译错误
　　 j=i；　 //合法
　　 2、 必须初始化
　　 const int i=5；　　　 //合法
　　 const int j；　　　　　 //非法，导致编译错误
　　 3、在另一连接文件中引用const常量
　　 extern const int i；　　　 //合法
　　 extern const int j=10；　 //非法，常量不可以被再次赋值
　　 4、便于进行类型检查
　　 用const方法可以使编译器对处理内容有更多了解。
　　 #define I=10
　　 const long &i=10；　 /*dapingguo提醒：由于编译器的优化，使得在const long i=10； 时i不被分配内存，而是已10直接代入以后的引用中，以致在以后的代码中没有错误，为达到说教效果，特别地用&i明确地给出了i的内存分配。不过一旦你关闭所有优化措施，即使const long i=10；也会引起后面的编译错误。*/
　　 char h=I；　　　　　 //没有错
　　 char h=i；　　　　　 //编译警告，可能由于数的截短带来错误赋值。
　　 5、可以避免不必要的内存分配
　　 #define STRING "abcdefghijklmnn"
　　 const char string[]="abcdefghijklmn"；
　　 ……
　　 printf（STRING）；　 //为STRING分配了第一次内存
　　 printf（string）；　 //为string一次分配了内存，以后不再分配
　　 ……
　　 printf（STRING）；　 //为STRING分配了第二次内存
　　 printf（string）；
　　 ……
　　 由于const定义常量从汇编的角度来看，只是给出了对应的内存地址，而不是象#define一样给出的是立即数，所以，const定义的常量在程序运行过程中只有一份拷贝，而#define定义的常量在内存中有若干个拷贝。

       6、可以通过函数对常量进行初始化

　　 int value（）；
　　 const int i=value（）；
　　 dapingguo说：假定对ROM编写程序时，由于目标代码的不可改写，本语句将会无效，不过可以变通一下：
　　 const int &i=value（）；
　　 只要令i的地址处于ROM之外，即可实现：i通过函数初始化，而其值有不会被修改。
　　 7、是不是const的常量值一定不可以被修改呢？
　　 观察以下一段代码：
　　 const int i=0；
　　 int *p=（int*）&i；
　　 p=100；
　　 通过强制类型转换，将地址赋给变量，再作修改即可以改变const常量值。
　　 8、请分清数值常量和指针常量，以下声明颇为玩味：
　　 int ii=0；
　　 const int i=0；　　　　　　　　　　　 //i是常量，i的值不会被修改
　　 const int *p1i=&i；　　　　　　　 //指针p1i所指内容是常量，可以不初始化
　　 int　 * const p2i=&ii；　　　 //指针p2i是常量，所指内容可修改
　　 const int * const p3i=&i； //指针p3i是常量，所指内容也是常量
　　 p1i=&ii；　　　　　　　　　　　　　　　　　 //合法
　　 *p2i=100；　　　　　　　　　　　　　　　 //合法

   在好长一收段时间我被const困惑，看到const关键字，C++程序员首先想到的可能是const常量，如果只知道用const定义是常量，那么相当于把火药仅用于制作鞭炮。const更大的魅力是它可以修饰函数的参数、返回值，甚至函数的定义体。被const修饰的东西都受到强制保护，可以预防意外的变动，能提高程序的健壮性。所以很多C++程序设计书籍建议："Use const whenever you need"。

二、const成员函数
    任何不会修改数据成员的函数都应该声明为const类型。如果在编写const成员函数时，不慎修改了数据成员，或者调用了其它非const成员函数，编译器将指出错误，这无疑会提高程序的健壮性。

以下程序中，类stack的成员函数GetCount仅用于计数，从逻辑上讲GetCount应当为const函数。编译器将指出GetCount函数中的错误。

[cpp]  view plain  copy

1. class Stack  
2. {  
3. private:  
4.     int m_num;  
5.     int m_data[100];  
6. public:  
7.     void Push(int elem);  
8.     int Pop(void);  
9.     int GetCount(void) const;   //const成员函数  
10. };  
11.   
12. int Stack::GetCount(void) const  
13. {  
14.     ++m_num;   //编译错误，企图修改数据成员m_num  
15.     Pop();     //编译错误，企图非const成员函数  
16.     return m_num;  
17. }  

const成员函数的声明看起来怪怪的：const关键字只能放在函数声明的尾部，大概是因为其它地方都已经被占用了。