这个程序中的while循环那是什么意思，还有那个str2[]没有输入而 传给形参是什么，形参是什么值？

#include<stdio.h>
#include<string.h>
void strcopy(char *str1, char *str2, int m) {
char *p1, *p2;
p1 = str1 + m;
p2 = str2;
while (*p1) {
*p1++ = *p2++;
*p2 = '\0';
}
}
int main() {
char str1[80], str2[80];
int m;
gets(str1);
scanf("%d", &m);
strcopy(str1, str2, m);
puts(str1);
puts(str2);
}