const限定符

.定义const对象

熟悉的形式  const  int bufSize = 512; 变量bufSize仍然是个左值,但是不能修改的。。。

因为常量在定义后就不能修改,所以定义时必须初始化:

const std::string hi = "hello!";       /**ok*/

const int aaa = 125;                    /**ok*/

const int  i  ,  j  = 1;                     /**error,i 未初始化*/

在这里要说一下,const 与#define的异同:

我们都可以用他们来定义常量,但const 比#define有更多优点:

(1)const 定义的常量有数据类型,而#define 没有数据类型,编译器可以对前者进行类型安全检查,而#deifne 只能进行字符串的替换,没有类型安全检查,而在字符串替换时可能产生意想不到的错误。

(2)调试工具可以对const 常量进行调试,但是不能对#define 宏常量进行调试。

所以在c++程序中,一般用const定义符号常量比#define更好

 

2.const引用

const引用是指指向const对象的引用:

const int ival = 1024;

const int &reival = ival;   //ok.两者都是const

int &ref = ival;   // invalid initialization of reference of type 'int&' from expression of type 'const int'|(codeblocks 中)

 

const 引用可以初始化为不同的对象或者初始化为右值,如:

int i = 42;

const int &r = 42;

const int &r2 = 42 + i;

同样的初始化对于非const引用却不合法而且会导致编译错误

(|error: invalid initialization of non-const reference of type 'int&' from a temporary of type 'int'|)

其原因是非常微妙的,解释一下:观察将引用绑定到不同的类型时所发生的事情,最易理解:例如

double  dval = 3.14;

const int &ri = dval;

编译器会把这些代码转换成如下形式:

int temp = dval;

const int &ri = temp;

 

3.指针和const限定符

const double *cptr ;

这里的cptr是一个指向double类型的const 对象的指针,const限定了cptr指针所指的对象而非cptr本身。也就是说,cptr本身不是const。在定义时不需要对它进行初始化,允许给cptr重新赋值,使其指向另一个const对象。但不能通过cptr修改其所指的对象。

*cptr = 42;  //error: assignment of read-only location '* cptr'|   (codeblocks下)

把一个const对象的地址赋给一个普通的,非const对象的指针也会导致编译时出错

const double pi = 3.14;

double *ptr = π    // error:prt is a plain pointer

const *ptr2 = π     //ok;

不能使用void*指针报存const对象的地址,而必须使用const void*类型保存

允许把非const对象的地址赋给指向const 对象的指针

例如: double dval = 3.14;

const double *cpty = &dval;

应用:

在实际程序中,指向const的指针常用作函数的型参。将型参定义为const的指针。以此来确保传递函数的实际对象在函数中不应型参而修改。

4.const指针

除了指向const对象的指针外,还提供了const指针-------本身的值不能修改

5.指向const对象的const指针

即为:本身不能修改,所指对象也不能修改。。。。。。。。。。。

这些都好理解,不解释。。。

5.指针和typedef

正如开头那个很多很多人会答错的问题:

typefef string *pstring ;

const pstring cstr;

很多人认为是const string *cstr;  这是错的。。。 以前没注意过。。

原因在于:将typedef当做文本扩展啦。声明const pstring 时,const修饰的是pstring的类型,这是一个指针。因此,该声明语句应该是把cstr定义为指向string类型的const指针。。

等价于。。。。。:

string  *const cstr;

 

看的有点迷糊,所以先总结下,时常看看用用。。。淡定。。

 

 下面是另一篇。。。

1. const修饰普通变量和指针

const修饰变量,一般有两种写法:

const TYPE value;

TYPE const value;

这两种写法在本质上是一样的。它的含义是:const修饰的类型为TYPE的变量value是不可变的。

对于一个非指针的类型TYPE,无论怎么写,都是一个含义,即value值不可变。

例如:

const int nValue;                     //nValue是const

int const nValue;                   // nValue是const

但是对于指针类型的TYPE,不同的写法会有不同情况,例如:

A. const char *pContent;

B. char * const pContent;

C. char const *pContent;

D. const char* const pContent;

 

对于前三种写法,我们可以换个方式,给其加上括号

A. const (char) *pContent;

B. (char*) const pContent;

C. (char) const *pContent;

这样就一目了然。根据对于const修饰非指针变量的规则,很明显,A=C.

 

- 对于A,C, const修饰的类型为char的变量*pContent为常量,因此,pContent的内容为常量不可变.

- 对于B, 其实还有一种写法: const (char*) pContent;

含义为:const修饰的类型为char*的变量pContent为常量,因此,pContent指针本身为常量不可变.

- 对于D, 其实是A和B的混合体,表示指针本身和指针内容两者皆为常量不可变

 

总结:

(1)  指针本身是常量不可变

(char*) const pContent;

const (char*) pContent;

 

(2)  指针所指向的内容是常量不可变

const (char) *pContent;

(char) const *pContent;

 

(3)  两者都不可变

const char* const pContent;

 

还有其中区别方法:

沿着*号划一条线,

如果const位于*的左侧,则const就是用来修饰指针所指向的变量,即指针指向为常量;

如果const位于*的右侧,const就是修饰指针本身,即指针本身是常量。

2. const修饰函数参数

const修饰函数参数是它最广泛的一种用途,它表示函数体中不能修改参数的值(包括参数本身的值或者参数其中包含的值)。它可以很好

void function(const int Var); //传递过来的参数在函数内不可以改变(无意义,因为Var本身就是形参)

void function(const char* Var); //参数指针所指内容为常量不可变

void function(char* const Var); //参数指针本身为常量不可变(也无意义, 因为char* Var也是形参)

 

参数为引用,为了增加效率同时防止修改。

修饰引用参数时:

void function(const Class& Var);//引用参数在函数内不可以改变

void function(const TYPE& Var); //引用参数在函数内为常量不可变

 

 

 

3. const 修饰函数返回值

const修饰函数返回值其实用的并不是很多,它的含义和const修饰普通变量以及指针的含义基本相同。

(1) const int fun1() 这个其实无意义,因为参数返回本身就是赋值。

(2) const int * fun2()

调用时 const int *pValue = fun2();

我们可以把fun2()看作成一个变量,那么就是我们上面所说的1.(1)的写法,即指针内容不可变

(3) int* const fun3()

调用时 int * const pValue = fun2();

我们可以把fun2()看作成一个变量,那么就是我们上面所说的1.(2)的写法,即指针本身不可变

4. const修饰类对象/对象指针/对象引用

const修饰类对象表示该对象为常量对象,其中的任何成员都不能被修改。对于对象指针和对象引用也是一样。

const修饰的对象,该对象的任何非const成员函数都不能被调用,因为任何非const成员函数会有修改成员变量的企图。

例如:

class AAA

{
   void func1();

void func2() const;

}

const AAA aObj;

aObj.func1(); ×

aObj.func2(); 正确

 

const AAA* aObj = new AAA();

aObj->func1(); ×

aObj->func2(); 正确

 

5. const修饰成员变量

const修饰类的成员函数,表示成员常量,不能被修改,同时它只能在初始化列表中赋值

 

class A

{

   …

   const intnValue;       //成员常量不能被修改

   …

   A(int x):nValue(x) {}; //只能在初始化列表中赋值

}

 

6. const修饰成员函数

const修饰类的成员函数,则该成员函数不能修改类中任何非const成员函数。一般写在函数的最后来修饰。

 

class A

{

   …

void function()const; //常成员函数, 它不改变对象的成员变量. 也不能调用类中任何非const成员函数。

}

对于const类对象/指针/引用,只能调用类的const成员函数,因此,const修饰成员函数的最重要作用就是限制对于const对象的使用。

 

7. const常量与define宏定义的区别

(1) 编译器处理方式不同

define宏是在预处理阶段展开。

const常量是编译运行阶段使用。

(2) 类型和安全检查不同

define宏没有类型,不做任何类型检查,仅仅是展开

const常量有具体的类型,在编译阶段会执行类型检查。

(3) 存储方式不同

define宏仅仅是展开,有多少地方使用,就展开多少次,不会分配内存。

 

const常量会在内存中分配(可以是堆中也可以是栈中)。

最后注意:

有一种特殊的类型,c++标准流类型,如果一个函数返回该类型则不能声明为const类型的,因为流的输入和输出都会改变它的内容。

posted @ 2015-04-24 21:32  D丶Guco  阅读(294)  评论(0编辑  收藏  举报