这是怎么回事?

看了一下Standard C Library的一些源码，照着实现了一个
    char* strcat(char* s1,const char* s2)
函数，测试一下
main()
{
    char* s1="abce";
    char* s2="efgh";
    char* s3=strcat(s1,s2);
    printf("%s",s3);
}
编译时通过，运行时却出现错误
    handle_exceptions: Exception: STATUS_ACCESS_VIOLATION
就是不知道怎么回事，把测试代码改为:
main()
{
    char s1[]="abce";
    char s2[]="efgh";
    char* s3=strcat(s1,s2);
    printf("%s",s3);
}
测试通过。郁闷极了，不知道*s1="abcd";出了什么问题。用
    printf("%s",s1);
将s1打印出来，却又是OK的。

翻开C语言教程:找到以下解释:
当一个指针变量在未取得确定地址前使用是危险的，容易引起错误。但是对指针变量直接赋值是可以的。因为C系统对指针变量赋值时要给以确定的地址，因此
    char *ps="hello";
或
    char *ps;
    ps="hello";
都是合法的。

这点颇令人费解，既然*s1="abcd"; s1的地址确定了，却为什么不能对该地址进行操作?
再测试
    for(;*s1!='/0';s1++)
        printf("%c",*s1);
仍然通过。好郁闷，突然想起，"abcd"是一个常量，*s1的内容是常量，不能被修改
    for(;*s1!='/0';s1++)
        *s1='a';
这时候运行出现了上述错误
    handle_exceptions: Exception: STATUS_ACCESS_VIOLATION

搞了半天，终于明白了。依稀记得以前ZL也碰到过这样的问题，唉。