关键字const有什么含意？

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 既可以放在类型前也可以放在类型后，但是放在类型后更好理解。