您的位置:首页 > 其它

关键字const有什么含意?

2012-10-24 18:57 260 查看
const只是一个修饰符,不管怎么样a仍然是一个int型的变量

const int a;

int const a;

const int *a;

int * const a;

int const * a const;

本质:const在谁后面谁就不可修改,const在最前面则将其后移一位即可,二者等效

前两个的作用是一样,a是一个常整型数。第三个意味着a是一个指向常整型数的指针(也就是,指向的整型数是不可修改的,但指针可以,此最常见于函数的参数,当你只引用传进来指针所指向的值时应该加上const修饰符,程序中修改编译就不通过,可以减少程序的bug)。

第四个意思a是一个指向整型数的常指针(也就是说,指针指向的整型数是可以修改的,但指针是不可修改的)。最后一个意味着a是一个指向常整型数的常指针(也就是说,指针指向的整型数是不可修改的,同时指针也是不可修改的)。

如果应试者能正确回答这些问题,那么他就给我留下了一个好印象。顺带提一句,也许你可能会问,即使不用关键字 ,也还是能很容易写出功能正确的程序,那么我为什么还要如此看重关键字const呢?我也如下的几下理由:

1) 关键字const的作用是为给读你代码的人传达非常有用的信息,实际上,声明一个参数为常量是为了告诉了用户这个参数的应用目的。如果你曾花很多时间清理其它人留下的垃圾,你就会很快学会感谢这点多余的信息。(当然,懂得用const的程序员很少会留下的垃圾让别人来清理的。)

2) 通过给优化器一些附加的信息,使用关键字const也许能产生更紧凑的代码。

3) 合理地使用关键字const可以使编译器很自然地保护那些不希望被改变的参数,防止其被无意的代码修改。简而言之,这样可以减少bug的出现。

const关键字至少有下列n个作用:

(1)欲阻止一个变量被改变,可以使用const关键字。在定义该const变量时,通常需要对它进行初始化,因为以后就没有机会再去改变它了;

(2)对指针来说,可以指定指针本身为const,也可以指定指针所指的数据为const,或二者同时指定为const;

(3)在一个函数声明中,const可以修饰形参,表明它是一个输入参数,在函数内部不能改变其值;

(4)对于类的成员函数,若指定其为const类型,则表明其是一个常函数,不能修改类的成员变量;

(5)对于类的成员函数,有时候必须指定其返回值为const类型,以使得其返回值不为“左值”。例如:

const classA operator*(const classA& a1,const classA& a2);

  operator*的返回结果必须是一个const对象。如果不是,这样的变态代码也不会编译出错:

classA a, b, c;

(a * b) = c; // 对a*b的结果赋值

  操作(a * b) = c显然不符合编程者的初衷,也没有任何意义。

以下摘自c++ primer P110~P111

一、指向const对象的指针(原则上,对象不可被修改)

1、把一个const对象的地址付给一个普通的、非const对象的指针也会导致编译时的错误:

const double pi=3.14;

double *ptr=π //error: &ptr is a plain const

const double *cptr=π //ok :cptr is a pointer to const

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

const int universe =42;

const void *cpv=&universe; //ok

void *pv=&universe; //error

3、允许把非const对象的地址赋给指向const对象的指针,但是赋值后,不能通过指针修改

double dval =3.14;

const doulbe *ptr=&dval;//ok :but can't change dval through ptr;

此处,指向const对象的指针ptr一经定义,就不允许修改其所指向对象的值,如果该指针恰好指向非const对象时,同样必须遵循这一规则。

注意:不能通过指向const对象的指针修改基础对象(即所指对象),然而如果该基础对象是一个非const对象,则有其他方法修改其值。如上例,可以通过:

double *ptr2=&dval;

*ptr2=3.00;

来修改非const对象dval 的值。

通过这个例子可以看出,不能保证指向const对象的指针( const double *ptr),该指针所指向的值一定不可以修改。

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

二、cosnt指针 (指针不可被修改)

除指向const对象的指针外,C++语言还提供了const指针---指针本身的值不可以被修改:

int errNumb=0;

int *cosnt curErr=&errNumb; //curErr is a constant pointer

我们可以从右向左把上述定义语句读作“curErr 是指向int型对象的const指针”。与其他const量一样,const指针的值也不能修改,这就以为着不能使curErr指向其他对象。任何企图给const指针赋值的行为(即使给curErr赋回同样的值)都会导致编译时的错误:

curErr=curErr;//error:curErr is cosnt

与任何const量一样,const指针也必须在定义时初始化。

指针本事是const,不能说明是否能使用该指针修改它所指向对象的值。指针所指对象的值能否修改完全取决于该对象的类型。例如,curErr指向一个普通的非常量int类型对象errNumb,则可以用curErr修改该对象的值,如:

*curErr=1;

三、指向const对象的const指针

const double pi=3.14;

const double *ptr=π

ptr首先是一个const指针,它所指向的double型对象也是const对象

四、指针和typedef

(可以与上一篇“分析C语言的声明”做对比理解)

typedef string *pstring; //跟上一篇的#define意义不同

const pstring cstr;

cstr是什么类型?是cosnt string *cstr;吗?(即cosnt pstring 是一种指针,指向string类型的const对象)这种理解是错误的!

错误的原因在于,将typedef当成文本扩展了。

声明const pstring时,const修饰的是pstring的类型,pstring是一个指针。该声明语句把cstr定义为指向string类型对象的const指针,这个定义等价于

string *const cstr;

以下三种声明相同:

string s;

typedef string *pstring;

const pstring cstr1=&s;

pstring const cstr2=&s;

string *const ctr3=&s;

const 既可以放在类型前也可以放在类型后,但是放在类型后更好理解。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: