void str_cat(char str1[],char str2[])
{
    char mid[200];
    int i,j,k;
    for(i=0;str1[i]!='\0';i++）  //从下标0开始赋值
    {
           mid[i]=str1[i];
    }
   
    for(j=i+1,k=0;str2[k]!='\0';j++,k++)//前面赋值到i，现在从i+1开始赋值
    {
        mid[j]=str2[k];
    }
    mid[j+1]='\0';//赋值到j，这里j+1结尾用'\0'
    for(i=0;i<j;i++)
    {
        printf("%s",mid[i]);
    }
}
整个逻辑哪里错了

for(j=i+1,k=0;str2[k]!='\0';j++,k++)//前面赋值到i，现在从i+1开始赋值
    你的i只是参与上面的for循环，并没有记录循环后i的数值，你可以另n=i，然后再j=n+1；

for(j=i+1,k=0;str2[k]!='\0';j++,k++)//前面赋值到i，现在从i+1开始赋值

上一循环时最后一次i++导致str[i] = '\0'才正常退出循环
所以这个循环的条件应是j = i

再者最好是把两个要cat的数组长度(如len1, len2)加到你自定义的函数的形参中
这样中间数组mid的长度就好确认了 len1 + len2 - 1
而不用声明一个过大数组

还有既然是连接数组 函数最好有返回值
不然就要声明全局变量
而你是在函数中声明的mid
所以char * 比void 更显合理
最后return mid就可以了

按你说的添了两个变量，n和m
n记录i ，m随n记录i之后再记录j的变化次数，不过运行后直接报错了，

void str_cat(char str1[],char str2[])
{
    char mid[200];
    int i,j,k,n,m;
    for(i=0;str1[i]!='\0';i++)  //从下标0开始赋值
    {
           mid[i]=str1[i];
           n++;
           m++;

    }
   
    for(j=n,k=0;str2[k]!='\0';j++,k++)//前面赋值到i，现在从i+1开始赋值
    {
        mid[j]=str2[k];
        m++;
    }
   
    mid[m+1]='\0';//赋值到j，这里j+1结尾用'\0'
    for(i=0;i<j;i++)
    {
        printf("%s",mid[i]);
    }
}

你把你的完整程序发出来看看哈，这样方便调试。。。

在第一个循环里面 当str1[i]='\0'成立时 这个时候就跳出循环了 所以min[i]并没有赋值 所以在第二个循环里面 j=i就行了 同理在在这个循环中也存在刚才说的问题 还有 在输出数组时 %s表示输出字符串 所以 如果用循环输出的话 %s改成%c   不改%s的话 直接这样写 printf ("%s",min);