令字符指针为一字符串作为实参传给形参数组，运行不出来？

Question

#include<stdio.h>
int main()
{
void copy_string(char from[], char to[]);
char *a = "I am a teacher.";
char *b = "You are a student.";
printf("string a = %s\nstring b = %s\n",a, b);
printf("\ncopy string a to string b:\n");
copy_string(a, b);
printf("a = %s\nb = %s\n", a, b);
return 0;
}

void copy_string(char from[], char to[])
{
int i = 0;
while(from[i] != '\0')
{
to[i] = from[i];
i++;
}
to[i] = '\0';
}
a，b作为字符串的第一个字符的地址传给形参数组，为什么执行出来无法完成复制操作呢？
是因为函数体执行语句的格式为数组，而在主函数中未定义数组吗？

Answer 1

a和b都是常量指针，其内容是不可以修改的。