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。



const经典例子小结