对于一个给定的长度为n的数组arr，arr[n]将始终超出边界，因为数组的索引从0开始。越界调用未定义的行为。标准没有说应该发生什么，所以把它当作 * 任何 * 可能发生的事情。
在这种情况下，它似乎导致了分段故障。

result = result + factorial(array[z]);

应为：

result += factorial(array[i]);

变量i * 是 * 约束的，因此它不会超出边界。
还要注意，在factorial中递归的基本情况是x是0或1，递归通过 * 向下计数 * 收敛于这个基本情况。但是如果x开始小于0，递归将是无限的，并且可能会失控，直到发生堆栈溢出。

*上面代码中的小错误，请在for循环中将array[i]替换为array[z] 下面我提到了正确的代码，请参考它。

#include <stddef.h>

int factorial(int x) {
    if (x == 0 || x == 1) {
        return 1;
    } else {
        return x * factorial(x - 1);
    }
}

unsigned long long sum_factorial(size_t z, const int array[z]) {
    unsigned long long result = 0;

    for (size_t i = 0; i < z; ++i) {
        result += factorial(array[i]); // error fix in here,
    }

    return result;
}