c语言指针传递数组及返回的问题

我有这样一个程序，把一个数组的字符复制到另外一个里，正确的是
#include
char *fun(char *,char *);
int main (void)
{
char words[10];
char a[20]={"hello world"};
printf("%s",fun(words,a));
}
char *fun(char *s1,char *s2)
{
char *p=s1;
while(*s2!='\0')
*s1++=*s2++;
*s1='\0';
return p;
}
为什么在被调函数里要定义一个指针p，这样的原理是什么？
为什么不能直接返回s1?也就是
#include
char *fun(char *,char *);
int main (void)
{
char words[10];
char a[20]={"hello world"};
printf("%s",fun(words,a));
}
char *fun(char *s1,char *s2)
{
while(*s2!='\0')
*s1++=*s2++;
*s1='\0';
return s1;
}
这样是错的

因为在函数fun()中语句*s1++=*s2++;，所以执行完函数后，s1指向'\0'前边的字符，如果返回s1，则只会返回一个字符(最后的字符)，之所以返回p，这是因为在函数的开始时，已将指针p初始化为s1的首址，只有这样才能返回正确的地址(指针)。

int (*ptr) [m]     ptr是数组指针   它指向一个 数组 这个 数组 有m 个int元素  int *ptr[m]        ptr是指针数组     这个数组里 的元素 都是int类型的指针