总的来说，关于strcat，第一个参数所指向的内存地址要求是可写的
那么，关于你提出的，s1 = "abc"这句话的实际作用是把常量区中"abc"的首地址赋值给s1，而常量区的内存是不允许程序修改的，因此执行strcat的时候就会失败。
而改成s1[],这是作为一个栈内数组，生存空间仅在函数生命周期内，并且在该函数生命周期中，该内存地址是可读可写的，所以改变之后可以成功。
同样，如果将你的代码修改成以下形式，也可以成功
char *s1 = (char *)malloc(6 * sizeof(char));
strcpy(s1, "abc");
strcat(s1, "def");
puts(s1);
free(s1);
这样子也是可以成功的，malloc分配的内存在堆上，是用户自己管理的内存区域，也是可读可写的区域。
