首页 > 代码库 > const经典例子小结

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。