关于c语言中strcat函数的问题

总的来说，关于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分配的内存在堆上，是用户自己管理的内存区域，也是可读可写的区域。

strcat函数第一个参数是字符串数组首地址，不能只是个指针（指向的内容可以修改）。
*s1=“abc”;s1只一个指针，指向的内容为字符串常量"abc"（无法修改）;
s1[] = "abc";s1是数组首地址，虽然也是一个指针但是有存储空间的数组。两个是不一样的。
strcat是拼接字符串用的，要求s1[]的空间足够的大，你直接使用strcat(s1,s2);是很危险的。

因为char *s1指向“abc”，但是“abc”是const char型，是无法修改的，所以strcat是错误的
但是s1[]会重新分配内存后s[4] a b c \0
所以strcat可以成功

char *s1="abc"; 相当于s1是常量 const型 不能进行strcat

这里有说的比较详细，可以参考：http://blog.csdn.net/candyliuxj/article/details/6786718