处理多层嵌套数组时，最常见的方法是写一个递归函数，把叶子节点的值逐个塞进一个结果数组，最后返回这个数组。这种方式逻辑直观，但存在一个明显问题：整个遍历过程中，所有结果都同时驻留在内存里。如果嵌套结构较大，比如要处理几万甚至几十万个叶子节点，或者每个叶子节点本身是较长的字符串，内存占用会迅速上升，甚至触发 PHP 的内存限制。为了避免这种一次性加载全部结果的策略，可以利用 PHP 生成器的惰性求值特性，把递归遍历改造成逐个产出值的迭代器，从而在不改变调用方基本逻辑的情况下，大幅降低峰值内存。
生成器在 PHP 5.5 之后已经可用，通过 yield 关键字可以让函数在产出值后暂停执行，下次迭代时再继续。递归生成器则是在递归调用中使用 yield from，将一个生成器的所有产出委托给当前生成器。接下来从传统方法的不足出发，逐步说明递归生成器如何工作，并给出可运行代码和性能数据。
传统递归数组填充为什么内存开销大
假设有一个多层嵌套的配置数组，需要提取所有的叶子值。传统思路是定义一个递归函数，内部用 is_array() 判断当前值是否仍是数组，如果是就继续递归，否则把值追加到结果数组。示例代码如下：
function collectLeafValues(array $data): array
{
$result = [];
foreach ($data as $value) {
if (is_array($value)) {
$result = array_merge($result, collectLeafValues($value));
} else {
$result[] = $value;
}
}
return $result;
}
这段代码能够正确完成任务，但它存在两个主要瓶颈。第一，每一层递归都会创建局部数组，然后通过 array_merge() 合并到上层结果，数组复制操作会额外消耗 CPU 和内存。第二，函数只有在完全遍历结束后才会返回结果，调用方拿到的是一份已经完整展开的数组。如果叶子节点有 10 万个，返回的数组就包含 10 万个元素；如果每个元素是一个长度可观的字符串，内存占用量会非常可观。即使调用方只需要逐个处理，比如把每个值写入日志或逐条发送到队列，也不得不先承担整份结果的内存成本。
另一个容易被忽略的问题是 array_merge() 会重新索引数字键，这在关联数组场景中可能破坏原有键结构。虽然可以使用引用传递结果数组来避免合并复制，但本质上仍然需要先把所有值存储起来。对于那些只需要迭代一次的场景，这种“先把全部数据准备好再处理”的策略并不理想。
递归生成器如何实现惰性遍历
生成器的核心特点是函数内部使用 yield 产出值之后，函数并不会像 return 那样直接结束，而是暂停在当前状态。外部通过 foreach 或 current() 等方式继续请求下一个值时，生成器会从暂停点恢复执行。把这个特性应用到递归遍历上，就可以让每一层递归都成为一个生成器，逐层向上产出叶子值。
在递归生成器中，yield from 是一个非常关键的语法。它可以把另一个生成器或可迭代对象中的所有值逐个转发给当前生成器的消费者。如果没有 yield from，就需要手动遍历子生成器并逐条 yield，代码会显得很啰嗦。下面是一个基础实现：
function walkRecursive(array $data): \Generator
{
foreach ($data as $value) {
if (is_array($value)) {
yield from walkRecursive($value);
} else {
yield $value;
}
}
}
调用方式依然非常简单，直接使用 foreach 迭代这个生成器即可。每迭代一次，生成器都会向下递归到当前叶子节点，产出该值，然后暂停，直到下一次迭代请求到来。整个过程不会一次性构建一个完整的结果数组，因此内存中只保留当前遍历路径上的少量状态。即使叶子节点数量很大，只要调用方处理完一个值之后立刻进入下一个，峰值内存仍然可以保持在较低水平。
需要说明的是，递归生成器仍然会建立递归调用栈，每一层递归的生成器状态会占用一些内存。但与存储所有结果相比，这部分开销通常小得多。递归深度主要受嵌套层数影响，而不是叶子节点总量。只要嵌套层级不是异常深，例如几百层，一般不会导致栈溢出或性能问题。如果嵌套极深，则可以结合栈迭代的方式改写，但这超出了递归生成器本身的讨论范围。
带键路径的递归生成器实现
在不少业务场景中，仅仅拿到叶子值还不够，还需要知道值对应的键路径。例如配置文件解析或树形菜单处理，可能需要输出 a.b.c 这样的路径标识。递归生成器同样可以轻松实现，只需要在递归调用时传递当前路径前缀。每次遇到叶子节点时，把路径和值一起产出。下面给出一个同时产出键路径和值的实现：
function walkWithPath(array $data, string $prefix = ''): \Generator
{
foreach ($data as $key => $value) {
$path = $prefix === '' ? (string) $key : $prefix . '.' . $key;
if (is_array($value)) {
yield from walkWithPath($value, $path);
} else {
yield $path => $value;
}
}
}
在这个实现中，路径使用点号作为分隔符。如果键名本身包含点号，就需要在调用方约定转义规则，或者改用数组作为路径容器。这里为了演示保持简单。调用方式如下：
$data = [
'db' => [
'host' => '127.0.0.1',
'port' => 3306,
],
'cache' => [
'redis' => [
'host' => '127.0.0.1',
'port' => 6379,
],
],
];
foreach (walkWithPath($data) as $path => $value) {
echo $path . '=' . $value . PHP_EOL;
}
输出结果会依次包含 db.host、db.port、cache.redis.host 和 cache.redis.port。可以看到，生成器版本不仅能避免一次性返回完整结果，而且能把键路径信息自然地传递给上层，不需要额外构建一个复杂的中间结构。
如果嵌套数组中包含空数组，上面的实现会直接跳过，因为空数组不会进入叶子分支。某些情况下调用方可能希望空数组也产出，比如标记一个空配置项。此时可以在递归分支中增加对空数组的特殊处理，让空数组作为叶子产出空值，或者产出该路径本身。这类需求可以根据实际场景灵活调整。
性能与内存对比测试
为了更直观地说明差异，可以构造一个包含大量叶子节点的嵌套数组，分别用传统递归填充和递归生成器遍历，记录执行时间和峰值内存。测试数据可以使用多层嵌套的数组，例如每个节点有若干子节点，最终叶子数量控制在十万级别。下面是一段简单基准测试代码：
function buildNestedArray(int $depth, int $branch): array
{
$node = [];
for ($i = 0; $i < $branch; $i++) {
if ($depth > 1) {
$node[] = buildNestedArray($depth - 1, $branch);
} else {
$node[] = 'value-' . $i;
}
}
return $node;
}
$data = buildNestedArray(5, 10); // 叶子数量约 10 万
$start = microtime(true);
$result = collectLeafValues($data);
$time1 = microtime(true) - $start;
$mem1 = memory_get_peak_usage(true);
$start = microtime(true);
foreach (walkRecursive($data) as $value) {
// 模拟逐个处理
}
$time2 = microtime(true) - $start;
$mem2 = memory_get_peak_usage(true);
echo '传统方式耗时: ' . $time1 . 's, 峰值内存: ' . $mem1 . ' bytes' . PHP_EOL;
echo '生成器方式耗时: ' . $time2 . 's, 峰值内存: ' . $mem2 . ' bytes' . PHP_EOL;
在本地 PHP 8.x 环境运行类似测试，传统数组填充方式在叶子数量 10 万时，峰值内存通常比递归生成器方式高出数倍甚至一个数量级。具体差异取决于每个叶子值的大小和数组结构。生成器方式的时间一般会略快或持平，因为避免了大量的数组合并和内存分配操作。
不过基准测试不能一概而论。如果调用方最终仍然需要把所有值存储到一个数组里，那么生成器并不会减少最终的内存占用，因为结果数组本身还是需要完整存在。递归生成器的优势主要体现在“逐个处理”或“早期退出”的场景。例如遍历到某个满足条件的值就中断循环，生成器可以避免继续遍历剩余节点，而传统递归函数在返回结果前已经完成了全部遍历。
递归生成器的常见误区和注意事项
第一，生成器只能被迭代一次。如果调用方需要多次遍历同一份数据，或者需要在多处重复使用遍历结果，那么生成器并不能像数组那样反复读取。解决方法是根据需求缓存结果，或者重新调用生成器函数获取新的遍历实例。第二，递归生成器的异常传播和普通函数一致，但如果在遍历中途抛出异常，生成器会终止后续产出。调用方需要注意 try/catch 的位置，确保资源能够正确释放。
第三，yield from 会委托子生成器的键和值。如果子生成器使用了数字键，外层 foreach 会保留这些键，但在某些 PHP 版本中，数字键可能被重新编号。为了避免混乱，建议在必要场景中显式地处理键，比如在 walkWithPath 中把路径作为键产出。第四，递归生成器不适合嵌套层数过深的结构。如果数组嵌套达到几百甚至上千层，递归调用栈可能触及 PHP 的栈限制。此时可以改用显式栈或队列迭代，但代码复杂度会上升。
最后，生成器在遍历结束后会自动销毁内部状态，但如果调用方在遍历中途 break，生成器不会自动执行 finally 块中的清理逻辑，除非在生成器函数内显式使用 try/finally 结构。这是一个容易忽略的细节，在带有文件句柄或数据库连接等资源时尤其需要注意。