MongoDB中$not与$elemMatch组合实现全数组匹配的原理解析

示例文档 #

{
  "name": "ab",
  "grades": [
    {
      "grade": "A",
      "score": 1
    },
    {
      "grade": "A",
      "score": 12
    },
    {
      "grade": "A",
      "score": 7
    }
  ],
  "borough": "Manhattan2"
}

查询需求 #

找出所有grades数组中每个元素的score都大于5的餐厅

给出的解决方案 #

db.restaurants.find({
  "grades": {
    "$not": {
      "$elemMatch": {
        "score": {
          "$lte": 5
        }
      }
    }
  }
})

用户疑问 #

• 此前仅用$elemMatch匹配数组中至少一个符合条件的元素，无法理解为何加$not后能实现检查所有grades.score的效果
• 虽明白“排除score≤5的文档即可得到目标结果”的大致逻辑，但对语句实际返回结果的逻辑关联理不清，原本以为会匹配“存在第一个score>5”的文档，实际并非如此

逻辑拆解 #

先搞懂两个基础逻辑：

1. 单独使用$elemMatch: {score: {$lte:5}}：作用是匹配至少有一个grades元素满足score≤5的文档——只要数组里存在任意一个符合条件的元素，整个文档就会被选中，和元素位置无关。
2. $not的作用：对紧跟其后的匹配条件结果取反，也就是排除掉所有被前面$elemMatch选中的文档。

把两者结合起来，完整逻辑就是：

排除所有「存在至少一个score≤5的grades元素」的文档，剩下的自然就是「所有grades元素的score都>5」的文档——因为只要有任何一个元素的score≤5，都会被$elemMatch命中，进而被$not排除。

拿你提供的示例文档来说：它包含score=1的元素，会被$elemMatch: {score: {$lte:5}}命中，所以加$not后这个文档会被排除，完全符合需求（因为它不满足所有score>5的条件）。

你之前误解的“匹配第一个score>5”是错误的，因为$elemMatch会扫描整个数组找符合条件的元素，不是只看第一个；$not只是对“是否存在符合条件元素”这个结果取反，和数组元素的顺序没有任何关系。

内容的提问来源于stack exchange，提问作者Wrapper