指针常量与常量指针的小问题

问题

阅读以下代码，是否能正常运行？
如果能，正常运行输出什么？
如果不能，哪里有错误？

#include <stdio.h>
int main(int argc, char const *argv[])
{
	char *ptr1 = "hello";

	char str1[10] = "world";

	*ptr1 = 'w';// 错误
	ptr1 = str1;// 正确，可以修改常量指针的指向

	*str1 = 'w';// 正确，可以修改指针常量指向的内容
	str1 = ptr1;// 错误

	printf("%s %s\n", ptr1, str1);

	return 0;
}

答案应该是不能正常运行，

1. *ptr1 = 'w'错误，ptr1的类型实际上是char const *，是一个常量指针，指针所指向的内容是常量，因为字符串常量"hello"是分配在常量区的（而不是栈区），该内容是无法修改的，所以通过间接引用符去引用修改指针所指向的字符串常量是非法的。
2. str1 = ptr1错误，str1的类型实际上是char * const，是一个指针常量，不可改变，一直指向同一个地址，尝试对指向修改是非法的。程序在创建str1时，会为其在栈中分配10个字节大小的存储空间，将存放在常量区的字符串常量拷贝到该空间中，并把str1这个指针常量指向该数组空间的首地址，可以通过数组名来修改栈中空间的内容，但是不能修改其指向。

总结：

1. 字符串常量的存储区域在常量区，一旦创建无法修改；而栈中分配的空间内容可以修改。
2. 指针常量是一个指针类型的常量，其内容（指针的指向）一旦赋初值无法修改，可以通过指针常量解引用来修改指向的内容；常量指针是一个指向常量的指针，指向的内容无法修改，无法通过常量指针解引用来修改指向的内容，但可以修改其内容（指针的指向）。
3. 数组名代表数组的首地址，是一个指针常量。