如何以不可变风格使用PHP的array_reduce？代码报错求助

一、这种要求是否合理？ #

这种要求完全合理，它是函数式编程中不可变性原则的具体体现。不可变性要求避免修改任何已存在的变量/状态，所有操作都通过生成新值来完成。这种风格能消除副作用，让代码逻辑更可预测、更易调试，在复杂业务场景或并行处理场景下优势尤为明显。作为函数式编程的基础训练，这种严格要求能帮你建立正确的函数式思维。

二、如何正确实现符合不可变风格的array_reduce用法？ #

你两次代码的问题在于，即使拷贝了累加器到新变量，仍然使用了$accNew[] = $newValue这种修改变量的可变操作——这违反了不可变风格“不修改任何内容”的核心要求。

正确的做法是：完全不修改任何变量，所有新的累加器都通过纯函数调用生成。比如用array_merge直接生成新数组，替代所有修改式的赋值操作。

修改后的代码（简洁版） #

function flatten(array $tree)
{
    return array_reduce($tree, function ($acc, $item) {
        // 把单个元素统一包装成数组，简化合并逻辑
        $processedItem = is_array($item) ? flatten($item) : [$item];
        // 直接返回新合并的数组，全程不修改任何变量
        return array_merge($acc, $processedItem);
    }, []);
}

逻辑说明 #

1. 不管当前处理的是单个元素还是嵌套数组，都统一转成数组格式，避免分支判断里的不同操作；
2. 用array_merge($acc, $processedItem)直接生成全新的累加器数组，没有任何变量被修改，完全符合不可变风格的要求。

保留分支判断的版本 #

如果不想统一包装数组，也可以分情况处理，但同样要避免可变操作：

function flatten(array $tree)
{
    return array_reduce($tree, function ($acc, $item) {
        if (is_array($item)) {
            return array_merge($acc, flatten($item));
        } else {
            // 用array_merge生成包含新元素的新数组，而非修改原变量
            return array_merge($acc, [$item]);
        }
    }, []);
}

这样修改后，代码全程没有使用任何可变运算符（比如[]=这种修改变量的赋值），所有操作都基于输入生成新输出，完全满足不可变风格的要求。

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