C语言多管道实现问题：fork返回PID始终不为0

我已查阅所有相关帖子并参考了相关代码，现在遇到一个无法解决的问题：无论执行何种操作，fork()返回的PID始终不为0。输入命令echo atb | grep "b"时，返回类似4013、4014的随机数。代码修改后问题依旧。

void Pipeline(char *input) {
    int numPipes = 2 * countPipes(input);
    int k = commends(input);
    int j = 0;
    for (int i = 0; i < k; i++) {
        int pid = fork();
        if (pid == 0) {
            if (i != k-1) {
                if (dup2(pipefds[j + 1], 1) < 0) {
                    perror("dup2");
                    exit(EXIT_FAILURE);
                }
            }
            //if not first command&& j!= 2*numPipes
            if (j != 2*numPipes && i != 0) {
                if (dup2(pipefds[j - 2], 0) < 0) {
                    perror(" dup2");
                    exit(EXIT_FAILURE);

                }
            }
            for (i = 0; i < 2 * numPipes; i++) {
                close(pipefds[i]);
            }
            if (execvp(vec[i], vec) < 0) {
                perror(vec[i]);
                exit(EXIT_FAILURE);
            }
        } else if (pid < 0) {
            prev++;
            perror("error");
            exit(EXIT_FAILURE);
        }
        j += 2;
    }

    for (int i = 0; i < 2 * numPipes; i++) {
        close(pipefds[i]);
    }

    for (int i = 0; i < numPipes + 1; i++) {
        wait(NULL);
    }
    printf("DONE!\n");
}

1. 循环变量冲突
   子进程代码块内使用了和外层循环同名的变量i，在关闭管道描述符的循环中，i被重置为0并遍历至2*numPipes。虽然子进程最终会执行execvp或exit，但这会导致逻辑混乱，甚至在execvp失败时影响后续行为。
   修复：将子进程内的循环变量改为其他名称，比如fd_idx：

for (int fd_idx = 0; fd_idx < 2 * numPipes; fd_idx++) {
    close(pipefds[fd_idx]);
}

2. 管道初始化缺失
   代码中直接使用pipefds数组，但未看到创建管道的代码（调用pipe()填充数组）。如果pipefds未正确初始化，dup2操作会失败，导致execvp执行出错，子进程直接退出——你看到的4013、4014其实是父进程中fork()返回的子进程PID，说明fork()实际成功，只是子进程异常退出让你误以为没返回0。
   修复：在进入循环前根据管道数量创建对应管道：

int pipe_count = countPipes(input);
int *pipefds = malloc(2 * pipe_count * sizeof(int));
for (int p = 0; p < pipe_count; p++) {
    if (pipe(pipefds + 2*p) == -1) {
        perror("pipe");
        exit(EXIT_FAILURE);
    }
}
// 原代码中numPipes的计算错误，应改为管道数量而非2倍
int numPipes = pipe_count;

3. 命令数组索引错误
   子进程中调用execvp(vec[i], vec)，若vec是所有命令的集合，索引i无法正确指向当前命令的参数起始位置，会导致execvp执行失败。
   修复：确保vec是二维数组，或每次循环时获取当前命令的独立参数数组，比如char **cmd_args = get_current_command(i)，再调用execvp(cmd_args[0], cmd_args)。

4. 等待子进程数量错误
   原代码中numPipes被错误设置为2*countPipes(input)，会导致等待子进程的循环次数错误，父进程可能提前退出。修复管道初始化部分后，numPipes为管道数量，此时numPipes + 1的命令数量是正确的。

内容的提问来源于stack exchange，提问作者ATB