const修饰的变量能不能修改

起初是在学习const_cast的时候，发现这样一段代码：

	const string &str = "const";
	string &p = const_cast<string &>(str);
	p = "hello world";
	cout << "str: " << str << " p: "<< p << endl;

最后的输出结果：str和p都变成了“hello world”。

后面仔细想想，const修饰的变量不是只读的吗，为何str的值变化了。

后面找了写资料，下面这个是说的比较清楚的一个：

1. 简单类型的变量，如int、double的变量，如果用const限定则其值不能修改，例如const int x=3; (int&)x=6; cout<<x; 则输出3。

void constTestDemo0()
{
	const int x =3;
	(int &)x = 6;
	cout << "x :" << x << endl;//3
}

2. 结构体里的成员若用const修饰，则其值可被修改，因为现有操作系统无法提供双层或多层保护：既在对象级保护对象，又在成员级保护成员。不仅如此，当整个对象为const时，其mutable成员本身就可以被修改。例如struct A{int x; const int y; mutable int z;}; const A a={1,2,3}; 则(int&)(a.x)=4; (int&)(a.y)=5; a.z=6; 均会改变三个成员的值。

void constTestDemo1()
{
	const struct A a = {1,2,3};
	(int &)(a.x) = 4;
	(int &)(a.y) = 5;
	a.z = 6;
	cout << "x y z:" << a.x << a.y << a.z << endl;//456

}

3. 对于函数内定义只读字符数组const char c[]="abc"; 修改其值c[0]='A'是有效的，若在函数外定义则修改无效。

//const char c[] = "abc"; //在函数外定义则会发生段错误
void constTestDemo2()
{
	const char c[] = "abc";
	(char &) c[0] = 'A';
	cout << "c = " << c << endl;//Abc

}

4. 对于其它类型用const修饰的数组，例如const int x[2]={1,2}; const int y[2]={x[0],2}; 若在函数外定义数组x和y，则修改x[0]=3无效而修改y[0]=3有效。若在函数内定义x和y，则修改x和y均有效。

//const int x[2] = {1,2};
//const int y[2] = {x[0],2};//在函数外定义都无效，不能修改。
void constTestDemo3()
{
	const int x[2] = {1,2};
	const int y[2] = {x[0],2};
	(int &)x[0] = 3;
	(int &)y[0] = 3;
	cout << "x[0] = " << x[0] << " y[0] = " << y[0] << endl; // 3 3
}

 对于第4条，我验证了下，在函数外，修改y[0]也是无效的，不知道是不是我编写有误，有知道的大神请留言赐教。

详细见此链接：

如何理解"如果试图修改 const 限定符限定的值，其结果取决于具体的实现"? - 知乎