$zip返回空数组或报错的根本原因是要求输入必须是显式数组字段或字面量数组，不接受表达式结果、null或缺失字段；需用$isArray+$cond兜底，配合$split生成数组，再经$map转为键值对。
为什么 $zip 会返回空数组或报错？
常见现象是 $zip 输出 [] 或抛出 "$zip: invalid expression" 错误。根本原因是它要求输入必须是**显式数组字段或字面量数组**，不能直接传入表达式计算结果（比如 $map 的输出），也不能传入 null / 缺失字段。MongoDB 5.0+ 虽支持表达式，但依然严格校验类型。
- 确保两个输入字段都存在且为数组类型，可用
$isArray+$cond做兜底 - 避免直接写
{ $zip: ["$tags", "$scores"] }—— 如果任一字段缺失，整个表达式失效 - 若需动态生成数组（如从字符串切分），先用
$split得到数组，再传给$zip，中间不能断链
如何安全地配对两个字段并生成键值对数组？
$zip 本身不生成对象，只合并索引位置的元素成子数组（如 [[a,1],[b,2]]），要转成 [{k:"a",v:1},{k:"b",v:2}] 需配合 $map 和 $arrayElemAt。这是最常被跳过的步骤。
- 先用
$zip合并：{ $zip: { inputs: ["$names", "$ages"] } } - 再用
$map解构每对：{ $map: { input: "$zipped", as: "pair", in: { k: { $arrayElemAt: ["$$pair", 0] }, v: { $arrayElemAt: ["$$pair", 1] } } } } - 注意
inputs是必填命名参数，不能省略为位置参数
当数组长度不一致时，$zip 怎么处理？
默认行为是截断到最短数组长度，不会报错也不会补 null。这在多数场景合理，但如果你需要保留长数组的剩余元素，$zip 无能为力，得换思路。
- 使用
useLongestLength: true选项（MongoDB 5.0+）可让结果长度等于最长数组，缺失位置填null - 示例：
{ $zip: { inputs: ["$a", "$b"], useLongestLength: true } } - 若需自定义填充值（如
""或0），必须在$map中用$ifNull处理每个$$pair元素
性能和兼容性要注意什么？
$zip 是内存操作，数组过大（如上万元素）会显著拖慢聚合速度，并可能触发 errmsg: "Exceeded memory limit for $group..." 类错误。它也不支持在分片集合的某些早期版本中下推执行。
- 生产环境慎用于 > 1000 元素的数组；超限时考虑在应用层合并
- MongoDB 4.2–4.4 只支持两个数组输入；5.0+ 支持多个，但所有数组必须同长（除非设
useLongestLength） - 在
$lookup的pipeline内使用时，确认子管道版本兼容性（建议显式设let+pipeline版本）
inputs 的包裹写法和 useLongestLength 的布尔值显式声明——这两个小地方卡住的人最多。 
