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=ⅈ    //指针p2i是常量,所指内容可修改
   const int * const p3i=&i; //指针p3i是常量,所指内容也是常量
   p1i=ⅈ                  //合法
   *p2i=100;                //合法

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

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

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

class Stack
{
private:
	int m_num;
	int m_data[100];
public:
	void Push(int elem);
	int Pop(void);
	int GetCount(void) const;   //const成员函数
};

int Stack::GetCount(void) const
{
	++m_num;   //编译错误,企图修改数据成员m_num
	Pop();     //编译错误,企图非const成员函数
	return m_num;
}
const成员函数的声明看起来怪怪的:const关键字只能放在函数声明的尾部,大概是因为其它地方都已经被占用了。

展开阅读全文

没有更多推荐了,返回首页