$allElementsTrue 仅作用于数组表达式，检查其中每个元素是否为真值，遇 false/null/0/""即返回 false；它不执行条件判断，需预先构造布尔数组，静态条件应优先用 $and。
什么是 $allElementsTrue 的真实作用
$allElementsTrue 不是“对任意字段做 AND 判断”的通用逻辑运算符，它只接收一个**数组表达式**，并严格检查该数组中**每个元素是否为真值（truthy）**。只要数组里有一个元素是 false、null、0、"" 或 undefined（注意：MongoDB 中不存在 JS 的 undefined，但空数组或缺失字段会被视作 null），整个表达式就返回 false。
常见误用是试图写成：{$allElementsTrue: "$status.is_active"}，结果报错或返回意外结果——因为 $status.is_active 可能是个布尔字段，不是数组。
正确使用前提只有一个：你得先构造出一个数组，且这个数组的每个元素都代表一个独立条件的布尔结果。
怎么构造适合 $allElementsTrue 的布尔数组
聚合阶段中，最常用的方式是配合 $map + $cond 或直接用 $and 生成数组。例如，你想判断某文档是否同时满足：年龄 ≥ 18、有邮箱、状态为 active：
[
{ $addFields: {
checkList: [
{ $gte: ["$age", 18] },
{ $ne: ["$email", null] },
{ $eq: ["$status", "active"] }
]
}
},
{ $addFields: { isQualified: { $allElementsTrue: "$checkList" } } }
]
关键点：
-
$allElementsTrue本身不执行条件判断，只做“数组全真”断言；所有条件必须提前转成布尔值并塞进数组 - 数组字面量
[...]在聚合中是合法表达式，但不能含变量引用以外的动态字段（比如不能写["a", "$field"]，必须用$literal包裹字符串字面量） - 如果某个字段可能缺失（如
$email不存在），$ne: ["$email", null]会返回true（因为null == null为 true，取反即 false？错！这里要注意：$ne对缺失字段返回null，而null在布尔上下文中是 falsy —— 所以更稳妥的是用$gt: ["$email", ""]或$type: "$email"显式判断
替代方案：什么时候不该硬套 $allElementsTrue
如果你只是想做几个条件的 AND 合并，直接用 $and 更直观、高效、易读：
{ $and: [
{ $gte: ["$age", 18] },
{ $ne: ["$email", ""] },
{ $eq: ["$status", "active"] }
]
}
$and 是查询/聚合中的原生逻辑操作符，支持任意数量布尔表达式，不依赖数组构造，也不怕字段缺失导致数组元素为 null。只有当你需要「把一组动态生成的布尔结果（比如遍历子文档数组后得到的多个判断）统一校验」时，$allElementsTrue 才不可替代。
- 比如：用户有多个认证方式，每种有个
verified: true/false字段，你想确认「所有已声明的认证方式都已验证」——这时要用$map提取verified值，再喂给$allElementsTrue - 直接拼
$and无法处理这种“数量不定、结构在数组内”的场景
容易被忽略的坑：null 和空数组的处理
$allElementsTrue 遇到 null 输入会直接返回 false，而不是报错。这很隐蔽：
假设你写了：{ $allElementsTrue: "$flags" }，但某文档根本没有 flags 字段，或 flags: null，结果就是 false，而非跳过或报错。
安全写法必须加兜底：
- 用
$ifNull: ["$flags", []]防止字段缺失 → 转为空数组 →$allElementsTrue对空数组返回true（符合数学上“全称命题在空集上为真”的惯例） - 如果业务上空数组应视为“未通过”，那就显式判断：
{ $cond: [{ $eq: [{ $type: "$flags" }, "array"] }, { $allElementsTrue: "$flags" }, false] } - 注意：
[]是真值（truthy），但$allElementsTrue: []返回true；而[null]返回false；[true, null]也返回false
$and，后者才轮到 $allElementsTrue 上场。 
