结论是：$unwind + $map + $reduce 仅适用于已知固定深度嵌套，而 $function 是 MongoDB 5.0+ 中唯一能真正递归展平任意深度 kids 数组的可靠方案，因其支持内联 JavaScript 的动态递归调用，避免文档爆炸与层数限制问题。
直接说结论：用 $unwind + $map + $reduce 组合处理已知深度嵌套，用 $function 处理任意深度递归展平——后者是 MongoDB 5.0+ 唯一真正可靠的方案。
为什么不能只靠 $unwind 展开多层 kids 数组？
连续 $unwind 看似直观，但实际会爆炸式生成中间文档。比如一个根节点有 3 个子节点，每个子节点又有 3 个孙节点，再下一层还有 3 个曾孙节点，三层 $unwind 后文档数变成 3×3×3 = 27 份，内存和时长都不可控。
更关键的是：你根本不知道嵌套有多少层。写死 5 层 $unwind，遇到第 6 层就漏数据；写 10 层，90% 文档又白白膨胀。
常见错误现象：
-
$unwind后没加preserveNullAndEmptyArrays: true，导致含空kids的文档直接被丢弃 - 连续
$unwind后用$group收拢，但_id路径拼错（比如漏了kids.kids._id），结果为空数组 - 用
$reduce尝试模拟递归，但无法访问当前元素的kids字段——因为$reduce的input是静态数组，不支持动态路径跳转
$function 是唯一能真正递归的聚合阶段
MongoDB 5.0+ 的 $function 允许你在聚合管道里执行 JS 函数，且函数内可自由调用自身，这才是应对“深度未知”的正解。
实操要点：
-
body必须是纯函数，不能有副作用（如console.log或修改外部变量） -
args传入的字段路径要用$开头（如"$kids"），不能写成字符串字面量"kids" - 递归终止条件必须明确：检查
Array.isArray(kids) && kids.length > 0，否则遇到null或undefined会报TypeError: Cannot read property 'length' of null - 生产环境默认启用 JS 引擎，但某些 Atlas 集群可能禁用——需确认
db.runCommand({ getCmdLineOpts: 1 })中javascriptEnabled为true
示例中把 flattenKids 的返回值直接赋给 kids 字段，输出就是扁平的 [{_id: "a"}, {_id: "b"}, ...]，后续 $project 或 $lookup 都能直接用。
嵌套查询时，$elemMatch 和点号 . 怎么选？
查“某个数组里是否存在满足多个条件的元素”，必须用 $elemMatch；只查单个字段值，用点号就够了。
比如文档结构是：
{ "sections": [ { "type": "A", "items": ["x", "y"] }, { "type": "B", "items": ["z"] } ] }
想查 sections 中存在 type === "A" 且 items 包含 "x" 的元素：
- ✅ 正确：
{ sections: { $elemMatch: { type: "A", items: "x" } } } - ❌ 错误：
{ "sections.type": "A", "sections.items": "x" }—— 这会匹配到两个不同section分别满足条件的情况
性能影响：带 $elemMatch 的查询无法高效使用复合索引，除非索引字段顺序与 $elemMatch 内字段完全一致（如 { "sections.type": 1, "sections.items": 1 }）。
更新深层嵌套字段时，$set 路径容易写错
想把 orders[0].items[2].price 改成 99，$set 路径就得写成 "orders.0.items.2.price"，数字索引必须显式写出，不能用 $ 操作符代替。
常见坑：
- 误写成
"orders.$.items.$.price"—— 这只会更新第一个匹配的orders和第一个匹配的items，不是你想要的固定位置 - 想批量更新所有
items的price，却忘了用$[]或$[identifier]过滤器，导致只改了第一个 - 嵌套对象字段名含点号或美元符（如
"user.name.first"），必须用$set的括号语法：{"user.name.first": "Alice"}，不能写成点号路径
最稳妥的做法：先用 find() 确认目标路径确实存在，再构造 $set；对动态路径，优先考虑用 $function 在聚合中计算新值，再用 $merge 回写。
真正麻烦的不是语法，而是嵌套层级一旦超过 3 层，几乎所有原生操作符都会开始“失焦”——$map 看不到孙子字段，$reduce 拿不到动态路径，$unwind 代价失控。这时候，接受 $function 是必要选择，而不是权宜之计。
