编写一个函数将s2中的字符串拷贝到数组s1中去。

以下是将s2中的字符串拷贝到数组s1中的函数实现：

#include <stdio.h>
#include <string.h>

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

int main() {
    char s1[100], s2[100];
    printf("Enter a string: ");
    scanf("%s", s2);
    copy_string(s1, s2);
    printf("The copied string is: %s\n", s1);
    return 0;
}

在这个例子中，我们定义了一个名为`copy_string`的函数，它接受两个`char`类型的指针参数`s1`和`s2`，分别表示目标字符串和源字符串。在函数中，我们使用一个while循环将`s2`中的字符逐个复制到`s1`中，直到遇到字符串结束符`\0`为止。最后，我们在`s1`的结尾添加一个`\0`，以确保它是一个有效的字符串。

在主函数中，我们首先定义了两个`char`类型的数组`s1`和`s2`，然后从用户处输入`s2`的字符串。接着，我们调用`copy_string`函数将`s2`中的字符串拷贝到`s1`中，最后打印出复制后的字符串。