const经典例子小结

在看这个例子之前，可以先看看：详解C和C++中的const和const和static变量的存放位置这样将会对const有非常全面的了解和认识：

下面我们将通过下面的例子看看const的一些非常不易发觉的错误：

#include<iostream>using namespace std;class String{public:friend ostream& operator<<(ostream& os,const String& str);    String(char* pstring):pstring_(pstring){ }void display(){pstring_ = "hello";cout << pstring_ << endl;}    char& operator[](int index)const{return pstring_[index];}        private:    char* pstring_;        };ostream& operator<<(ostream& os,const String& str){os << str.pstring_;return os;}void f( const String&  str){const_cast<String&>(str).display();}void g(String& const str){String a("world");str = a;}//void h(String* const str){}int main(){char a[] = "hello";const String str(a);    String ptr("nihao");//const String str("how are you?");    char& c=str[0]; //call const-function    c='B'; //modified 'pstring_ '  from outer cout << str << endl;f(str);    g(ptr);return 0;}

大家看下面三条语句：

char a[] = "hello";
const String str(a);
char& c=str[0]; //call const-function
c='B'; //modified 'pstring_ '  from outer

我们本来定义了一个常量的String，但是通过这种间接的方法却能够去修改它，为什么呢？然后我们如何避免这种现象呢？

我们的方法就是将返回类型改为常量类型，即：

const char& operator[](int index)const;

这样就保证了类型上的一致。但是，即使返回类型不改为const，那么下面的为什么又不行呢：

const String str("how are you?");
char& c=str[0]; //call const-function
c='B'; //modified 'pstring_ '  from outer

我们这里就必须要弄清楚一件事情，就是对于一个字符串来说，它是保存在常量区的，这里面的数据时不能更改的，此时"how are you?"保存在常量区（只读存储区），而将这个字符串初始化给对象str的时候，相当于是将这个字符串的地址赋给对象的变量pstring_，此时，两者将指向同一个字符串，因此里面的数据是无法更改的。而前面的将一个字符串赋给一个数组则是将其的一个副本附给数组，而这个数组存储在栈中，是能够修改的。

对于函数

void f( const String&  str)
{
      const_cast<String&>(str).display();
}

我们可知参数中的const是多余的，因为函数体中又将其强制转换成了非常量变量。

而对于函数g和h参数中的const不仅是无用的，而且也是非法的，因为此时的const修饰的是形参，而不是实参，他们所指向的对象仍然是可以修改的，只能讲非常量参数传递给他们，并且不能被重置。例如：

g(ptr);这条语句之后，ptr的值将会改变成world。