递归过滤时中间容器键消失是因为未检查空子数组，正确做法是递归后用!empty()判断非空才保留键；需用array_key_exists配合翻转白名单，避免array_walk_recursive破坏结构。
递归过滤时中间容器键消失怎么办
常见错误是写完递归后，images、discount 这类中间数组键全没了，只剩最底层的 title 或 width。这是因为只判断“是不是叶节点”，却没处理“子数组递归后是否为空”——空子数组被直接丢弃，导致父级键连带消失。
正确做法是：递归调用后检查返回值是否非空。只有 !empty($filtered_subarray) 时，才把该键（如 'images'）连同结果一起写入当前层级。
- 用
array_flip($whitelist)预处理白名单，让array_key_exists($key, $flipped)查找为 O(1) - 不要用
isset($whitelist[$key])，它对null值误判；array_key_exists更安全 - 若某层所有子项都被过滤掉（比如
images[0]里没有width或height），那整个images键就该消失——这是预期行为，不是 bug
为什么 array_walk_recursive 不能用来保持结构
array_walk_recursive 只访问叶子值，不提供当前路径、不返回新数组、不保留键的嵌套关系。它连 $array['images'][0]['width'] 是从哪一层来的都不知道，更没法决定“要不要留着 images 这个壳”。
你拿它做“提取所有 price 字段”可以，但只要涉及“原样保留 variants → options → name 路径”，就必须自己写递归函数。
立即学习“PHP免费学习笔记（深入）”；
- 它内部跳过数组值，不会触发你的回调，所以无法控制容器键存留
- 没有深度参数，无法限制只处理前两层
- 无法区分
['name' => 'red']和['name' => ['en' => 'red']]——后者会被展开成name.en，结构彻底破坏
递归中如何安全判断“当前是叶节点”
很多人用 !is_array($value) 就认为是叶节点，但 PHP 里 NULL、FALSE、对象、资源也满足这个条件。而实际业务中，你往往只想要字符串、数字、布尔值这类标量，且明确排除 NULL。
更稳妥的叶节点判定是：is_scalar($value) && !is_null($value)。如果还要排除布尔值，就拆成 is_string($value) || is_numeric($value)。
- 别依赖
gettype()，它返回字符串，比较慢且易错 - 对象不等于数组，但常需特殊处理（比如 Laravel 的 Collection），建议提前
is_object($value)分支拦截 - 遇到
__toString()可能触发异常的对象，先method_exists($value, '__toString')再调用
保留结构时性能关键点在哪
结构守恒本身不慢，慢在反复创建临时数组和无谓拷贝。尤其当白名单键很多、嵌套很深时，每次递归都 array_merge 或 [] = 拼接，会显著拖慢。
推荐写法：初始化一个空数组 $result = []，然后用 $result[$key] = $filtered_value 直接赋值，避免任何合并操作。
- 不要用
array_push($result, [...])往关联数组里塞，它只适合数字索引 - 如果需要按原始顺序保留键（PHP 7.4+），不用额外处理；老版本注意
foreach遍历顺序即声明顺序 - 对超大数组（>10k 元素），考虑加
gc_disable()+gc_enable()控制回收时机，实测可降 15% 时间
最易被忽略的是“空子树剪枝”的边界：当某一层递归返回 []（空数组），必须严格用 !empty() 判断，而不是 count() > 0 或 sizeof() ——前者对 null 安全，后两者会警告。
