js里面的every

今天在开发项目的时候，我的组员造成了一个BUG，原因是用了一个挺常用的数组方法：ervey，相信大家都见过，或者都用过，它经常跟 some 成双出现，我们理解这两个方法是：

• every： 判断数组每一项是否符合条件

• some： 判断数组是否至少有一个符合条件

可以通过一个小例子来认识，我准备了一个用户数组，我分别想做两件事：

• 1、判断是否所有人都成年了

• 2、判断是否有人大于20岁

有坑？

再来项目中搞的代码吧，逻辑也跟上述例子差不多，就是通过请求获取一组用户，并判断这组用户是否全都已成年

但是这个代码却出现了BUG，什么呢？就是当 users 是空数组的时候，every 会返回 true！！！不信我们可以看看

我当时看到了，也感觉挺不解的，按理说，every： 判断数组每一项是否符合条件，那如果数组为空的话，那就是没有一个符合条件的，不应是返回 false 吗，不过先不管，先改BUG 先，后面再去想了，加个长度判断，先解决BUG先

空数组，every 返回 true？

我们先来看一下ECMA-262定义的Array.prototype.every

可以看到，every 是判断每一次执行循环函数是否有 false 返回，有的话直接返回 false，如果一个 false 都没有，那就返回 true

关于空数组调用 every() 返回 true 的原因，MDN 网页 提供了答案：

every 的作用就像数学中的“for all”量词。特别是，对于空数组，它返回 true。（地球人都知道，空集的所有元素都满足任何给定的条件。）

空真（Vacuous truth） 是一个数学概念，它意味着若给定条件（称为前提）不能满足（比如给定条件不为真），则某事为真。用 JS 的术语来说，every() 返回 true，是因为它无法调用回调。回调表示要测试的条件，如果因为数组中没有值而无法执行，那么 every() 必须返回 true。

全称量词 是数学中一个更大主题的一部分，它允许您对数据集进行推理。考虑到 JS 数组对于执行数学计算的重要性，尤其是类型化数组，为此类操作提供内置支持是有意义的。every() 不是孤例。

改变思维

以前我人为的：every 判断数组每一项是否符合条件

但是我觉得我不应该那么理解，我应该理解为：every 判断数组是否至少有一个不符合条件，这么去理解的话，自然就能知道为什么空数组是返回 true了，因为就没有不符合条件的，当然就是返回 true 啦~