MongoDB执行{$exists:true}计数查询耗时极长是什么原因

三个查询的执行逻辑完全不同，是MongoDB查询优化器的规则差异导致的：

• 执行db.collection.countDocuments()时，MongoDB 4.4及以上版本会直接读取集合元数据里的文档计数统计值，不需要扫描任何文档或索引，因此数秒即可返回准确结果。
• 执行db.collection.countDocuments({id: {$exists: false}})时，优化器会选择你创建的{id: 1}升序索引，仅扫描索引中缺失id字段的条目区间。因为所有文档都包含id字段，这个区间是空的，所以可以瞬间返回0。
• 执行db.collection.countDocuments({id: {$exists: true}})时，5.0以下版本的MongoDB优化器不会自动识别“所有文档都有id字段，结果等于总文档数”这个逻辑，反而会生成遍历{id:1}索引全部条目、逐行校验id字段存在性的执行计划。2亿条索引条目全量扫描本身就有IO开销，如果WiredTiger缓存无法容纳整个id索引、索引碎片率较高，就会出现运行数小时无法返回结果的情况。

执行以下命令查看执行计划：

db.collection.explain("executionStats").countDocuments({id: {$exists: true}})

返回结果中totalKeysExamined字段会显示扫描的索引条目数接近2亿，能明确看到执行阶段走的是全量索引扫描+FETCH校验逻辑，没有走元数据快速计数路径。

• 临时绕开：你已经验证过id: {$exists: false}返回结果为0，id:{$exists:true}的计数就等于无查询条件的总文档数，直接复用无条件count的结果即可，不需要单独执行该查询。
• 改写查询：如果必须保留查询条件，可以把条件改写为优化器可识别的范围扫描逻辑，比如{id: {$type: "string"}}（你的id字段均为字符串类型），或者{id: {$gte: MinKey}}，这两种写法会直接走id索引的范围快速计数，不会逐行做字段存在性校验，执行速度会提升数个量级。
• 长期修复：升级MongoDB到5.0及以上版本，新版本优化了$exists: true的计数规则，当单字段索引覆盖查询条件、且该字段无缺失值时，会自动走快速计数路径，不会触发全量索引扫描。

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