PHP数组笛卡尔积算法实现解析

本文深入解析了PHP中实现数组笛卡尔积的两种核心方法——逻辑清晰、易于理解的递归实现，以及更健壮、可规避栈溢出风险的迭代实现，并通过直观示例阐明笛卡尔积在多维数组组合场景下的本质；同时直击实战痛点，提醒开发者警惕结果规模指数级膨胀带来的性能隐患，给出空数组处理、内存优化（如生成器）、键名保留及现代PHP语法简化等关键优化建议，助你高效、安全地应对复杂数据组合需求。

PHP 实现数组笛卡尔积，核心是递归或迭代组合多个一维数组的所有可能元素组合，结果为二维数组，每项是一个完整组合。

什么是笛卡尔积（在数组场景下）

给定若干个数组，如：
$a = [1, 2];
$b = ['x', 'y'];
$c = ['A'];
它们的笛卡尔积是所有有序三元组的集合：
[[1,'x','A'], [1,'y','A'], [2,'x','A'], [2,'y','A']]
即每个结果子数组都从原数组中各取一个元素，不遗漏、不重复。

递归实现（推荐，逻辑清晰）

将问题拆解为：前 n−1 个数组的笛卡尔积，再与第 n 个数组做两两组合。

• 基准情况：输入为空数组，返回 [[]]（含一个空数组的结果）
• 递归步骤：取第一个数组，对剩余数组递归求积，再用嵌套循环将首数组每个元素与后续所有组合拼接

代码示例：

function cartesianProduct($arrays) {
    if (empty($arrays)) return [[]];
    $first = array_shift($arrays);
    $rest = cartesianProduct($arrays);
    $result = [];
    foreach ($first as $v) {
        foreach ($rest as $r) {
            $result[] = array_merge([$v], $r);
        }
    }
    return $result;
}

迭代实现（避免递归深度限制）

适用于数组较多、担心栈溢出的场景。从空结果集开始，逐个合并数组。

• 初始化结果为 [[]]
• 遍历每个输入数组，对当前结果中每个子数组，分别追加该数组的每个元素，生成新结果
• 每次合并后更新结果集，直到处理完所有数组

代码示例：

function cartesianProductIterative($arrays) {
    $result = [[]];
    foreach ($arrays as $array) {
        $temp = [];
        foreach ($result as $res) {
            foreach ($array as $item) {
                $temp[] = array_merge($res, [$item]);
            }
        }
        $result = $temp;
    }
    return $result;
}

注意事项与优化建议

笛卡尔积结果数量呈指数级增长（n₁ × n₂ × … × nₖ），务必注意性能边界。

• 提前校验输入：过滤空数组，否则结果为空（因任一数组为空，整体积为空）
• 若只需遍历而非全量保存，可改造成生成器函数，节省内存
• 键名默认丢失；如需保留原始键，可在 array_merge 前使用 + 或手动构造关联结构
• PHP 7.4+ 可用展开语法简化： [...$res, $item] 替代 array_merge($res, [$item])

终于介绍完啦！小伙伴们，这篇关于《PHP数组笛卡尔积算法实现解析》的介绍应该让你收获多多了吧！欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布文章相关知识，快来关注吧！