C++中const的不同使用方法及问题总结

在C++ 中 const 对于编写安全的代码，是个强大的工具。 const 允许可以对某个变量进行约束，告知编译器这个变量不能改变。

1：下面介绍指针 const 的含义：

对指针来说，可以指定指针本身为const，也可以指定指针所指的数据为const，或二者同时指定为const，还有，两者都不指定为const：

char *p = "Hello";   //指针部位const，数据也不为const

const char *p = "Hello";  // 非const 指针, const 数据

char * const p = "Hello";  // const 指针,非const 数据

const char * const p = "Hello"; // const 指针, const 数据

语法并非看起来那么变化多端。一般来说，你可以在头脑里画一条垂直线穿过指针声明中的星号（*）位置，如果const 出现在线的左边，指针指向的数据为常量；如果const 出现在线的右边，指针本身为常量；如果const 在线的两边都出现，二者都是常量。

所以在这样的情况下，两者的含义是相同的,只是习惯的不同：

class myClass{...}

void f1(const myClass * m1);

void f2(myClass const * m2);

2：const在函数声明中的应用

在一个函数声明中，const可以指的是函数的返回值，或某个参数；对于成员函数，还可以指的是整个函数。

下面看一段代码：

const Rational operator*(const Rational& lhs,

const Rational& rhs);

很多 人 第一眼看到它会纳闷：为什么operator*的返回结果是一个const 对象？因为如果不是这样，用户就可以做下面这样的坏事：

Rational a, b, c;

...

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

现在明白了吧，如果不加const用户可能对两个数的运算结果赋值。

3：const成员函数

    如下代码：

#include<iostream> using namespace std; class MyString { public: MyString(string txt) { text = txt; } /**/ const char &operator[](size_t position)const { return text[position]; } /**/ char &operator[](size_t position) { return text[position]; } private: string text; }; int main(int argc,char ** argv) { MyString str("liyachao"); MyString con_str("liyachao"); cout<<str[1]; //没问题，调用operator[] str[1]='A'; //没问题，调用operator[] cout<<str[1]; cout<<con_str[1]; //没问题，调用const operator[] con_str[1] = 'A'; //错误，不能对const-operation赋值 return 0; }

注意：

non-const operator[]返回的是对字符 char 的引用 (reference), 所以可以对 non-const 变量的 str 进行赋值。 const operator[] 返回的是 char 这样就无法进行赋值操作： con_str[1] =  'A' ；

4 ： const 成员函数问题，及 mutable 用法

Const成员函数的定义为：函数内不会改变对象的任何数据，才可以成为 const 函数。但是现实中很容易违反这个规定，并且编译器也不会报错。

比如, 上述代码如果有这个：

char &operator[](size_t position)const {   return text[position]; }

（这种声明方式，在有些编译器中可以通过，但是我用的 VS2008没有通过 ）

该函数不适宜的声明为 const函数，但是函数返回的是指向内部值的引用。

const MyString str("liyachao");

char * p = &str[0];

*p = ''A;

这是str 变成了 "Aiyachao".

这就出现了上述的const 成员函数问题。

解决办法：

把在const 成员函数内可能要改变的 non-static 成员变量用 mutable 声明。如果，一个成员函数为 private int length; 则可以声明为 private mutable int length