背景
今天在开发项目的时候，我的组员造成了一个BUG，原因是用了一个挺常用的数组方法：ervey，相信大家都见过，或者都用过，它经常跟 some 成双出现，我们理解这两个方法是：
- every： 判断数组每一项是否符合条件
- some： 判断数组是否至少有一个符合条件
可以通过一个小例子来认识，我准备了一个用户数组，我分别想做两件事：
- 判断是否所有人都成年了
- 判断是否有人大于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 啦~
原文地址：https://mp.weixin.qq.com/s?__biz=Mzg2NjY2NTcyNg==&mid=2247493086&idx=1&sn=b4d0f9690d6d0dbddf53cacc5751c3f6
