串数组习题：实现下面函数的功能。函数void insert(char*s,char*t,int pos)将字符串t插入到字符串s中，插入位置为pos。假设分配给字符串s的空间足够让字符串t插入。

这个问题可以用C语言实现。以下是代码示例：

void insert(char* s, char* t, int pos) {
    int len_t = strlen(t);
    int len_s = strlen(s);
    int i;
    // 从后往前移动s中的字符，腾出插入的位置
    for (i = len_s; i >= pos; i--) {
        s[i + len_t] = s[i];
    }
    // 将t复制到插入位置
    for (i = 0; i < len_t; i++) {
        s[pos + i] = t[i];
    }
}

这个实现首先计算出字符串t和字符串s的长度，然后从后往前移动字符串s中的字符，腾出插入位置。最后将字符串t复制到插入位置。注意，这个实现没有进行任何边界检查，所以在实际使用中需要保证分配给字符串s足够的空间。