实现void string_copy（char*s1,char *s2)

好的，这是一个字符串复制函数，将字符串s2复制到s1中：

void string_copy(char* s1, char* s2) {
    while (*s2 != '\0') {
        *s1 = *s2;
        s1++;
        s2++;
    }
    *s1 = '\0';
}

这个函数的实现很简单，就是遍历s2中的每个字符，将其逐一复制到s1中，直到遇到字符串结束符'\0'。最后，将s1的结尾也添加上'\0'。