$setIntersection和$setDifference要求输入为可比较元素的数组，非数组输入会静默失败；需用$isArray校验、$ifNull兜底；对象需先投影为字符串等可比结构；不支持嵌套文档直接比较，且无索引加速。
用 $setIntersection 和 $setDifference 直接算交集与差集
这两个操作符是 MongoDB 原生支持的集合运算工具，但注意：它们要求输入必须是**数组**，且内部元素类型需可比较（如字符串、数字、ObjectId，不支持嵌套文档直接比较）。如果字段不是数组，会静默返回空数组或报错 TypeError: can't convert undefined to object。
实操建议：
- 先用
$isArray+$cond做兜底校验，避免管道中断 - 若数组含重复元素，
$setIntersection和$setDifference会自动去重 —— 这不是 bug，是设计行为 - 差集顺序敏感：
$setDifference: [A, B]返回 A 中有、B 中没有的元素，不能反着写
当数组元素是对象时，得先投影成可比结构
MongoDB 的集合操作符不支持直接比对嵌套文档。比如 tags: [{name: "a", type: "x"}, {name: "b", type: "y"}] 这种结构，$setIntersection 会认为两个对象不相等，哪怕内容一致。
解决方法是提前把对象“扁平化”为唯一标识（如字符串）：
[
{
"$addFields": {
"tagNames": {
"$map": {
"input": "$tags",
"as": "t",
"in": "$$t.name"
}
}
}
},
{
"$addFields": {
"commonTags": { "$setIntersection": ["$tagNames", ["a", "b"]] }
}
}
]
关键点：
- 别试图用
$setIntersection直接操作$tags字段本身 - 如果需要保留原始对象，可在交集结果上用
$filter+$in回查原数组 -
$map投影成本低，但若数组极大（>10k 元素），要考虑内存限制
差集结果为空却没报错？检查是否误用了 null 或缺失字段
常见现象：$setDifference: ["$arr1", "$arr2"] 返回空数组 []，但你确定数据应该有差。大概率是其中一字段为 null、undefined 或根本不存在 —— 此时操作符会将其视为空数组参与计算。
排查步骤：
- 加一步
$addFields: { debug_arr1: { $ifNull: ["$arr1", []] }, debug_arr2: { $ifNull: ["$arr2", []] } }显式补默认值 - 用
$size分别检查两个数组长度，确认是否真有数据 - 聚合阶段中字段名大小写敏感，
Arr1和arr1是不同字段
性能提示：避免在大集合上对长数组反复做集合运算
$setIntersection 和 $setDifference 时间复杂度接近 O(m×n)，当两个数组都超千元素时，单文档处理可能明显拖慢整个聚合。
优化方向：
- 前置
$limit或用$match缩小文档范围，别让聚合扫全表 - 如果只是判断“是否存在交集”，用
$anyElementTrue: [{ $map: { input: "$arr1", in: { $in: ["$$this", "$arr2"] } } }]更快 - 高频使用的交集逻辑，考虑在应用层预计算并存为新字段，而不是每次聚合实时算
真正容易被忽略的是：这些操作符不会触发索引 —— 它们只在内存中处理已加载的文档字段。所以过滤条件（$match）一定要尽可能靠前，减少进入后续阶段的文档数。
